‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop

What happened: OpenAI released nearly 400 AI-generated mathematical results across more than 700 manuscripts, spanning combinatorics, geometry, number theory, algebra, topology, probability and mathematical physics. Why it matters: Researchers said verification stages varied widely and warned of possible AI "slop," with some fearing OpenAI will move on before the work is assessed. Several reported inconsistent formalization quality.

OpenAI released nearly 400 AI-generated mathematical results across more than 700 manuscripts, spanning combinatorics, geometry, number theory, algebra, topology, probability and mathematical physics.

Researchers said verification stages varied widely and warned of possible AI "slop," with some fearing OpenAI will move on before the work is assessed. Several reported inconsistent formalization quality.