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

THE NEWS

What happened

OpenAI released nearly 400 AI-generated mathematical results across 700+ manuscripts, overwhelming the academic community. While some results show high caliber potential for top-tier journals or Fields Medals, experts warn of a 'slopocalypse' due to inconsistent formal verification in Lean, poor attribution, and unreadable write-ups. Mathematicians estimate it will take years to verify these claims, raising concerns about the future role of human researchers.

CONTEXT

Why it matters

OpenAI's latest drop: nearly 400 AI-generated math results released across 700+ manuscripts. Topics range from number theory to topology. Initial reactions are mixed—some results look like Fields Medal contenders, but others are unreadable or lack formal verification in Lean. Experts warn this could take years to sort out and may upend careers.

AT A GLANCE

Key facts

• OpenAI released nearly 400 AI-generated mathematical results spread across more than 700 manuscripts.
• The collection covers diverse fields including number theory, topology, algebra, and theoretical computer science.
• Fewer than half of the manuscripts have been formally verified in Lean, a proof assistant used for computational verification.
• Experts describe the release as 'pure insanity' and warn it could take years to fully understand and verify.
• Some results appear to address major unsolved problems like the Riemann hypothesis and the four-dimensional Kakeya conjecture.
• Critics note inconsistent quality, poor attribution, and unreadable write-ups that resemble low-quality 'slop'.
• The sheer volume outstrips OpenAI's human staff capacity for scrutiny, leading to significant academic anxiety.