OpenAI publishes 722 math manuscripts, then withdraws three results under community scrutiny

OpenAI published 722 manuscripts covering 372 families of mathematical results produced by an unreleased model, posting them on GitHub. It also formed AGMAI, an independent advisory panel to guide how AI-generated results are presented to working mathematicians. A post on r/OpenAI claimed AI 'solved 90 of the 500 most important open problems in math,' quoting a top mathematician calling it 'obviously the most significant moment in mathematical history.'

The release quickly became the week's biggest developer conversation. OpenAI's 'Sharing AI progress in mathematics' post drew 1,322 points and 1,507 comments on Hacker News. Then OpenAI withdrew three of the results, prompting a second thread with 256 points and 550 comments that turned celebration into scrutiny. Mathematician Asaf Karagila published a critique concerning the Partition Principle, and developers warned against trusting unreviewed proofs, citing open issues in Lean provers and possible ways synthetic verification can be bypassed.

The broader significance depends on how many results survive peer review. Formal verification in tools like Lean is meant to provide certainty, but only if the formal statement matches the intended theorem and the prover itself is sound. Withdrawals within days suggest at least some results were published before careful human checking. On the other hand, Ethan Mollick noted that some of the proofs have already kicked off 'extremely rapid iterative advances from a wide community of collaborators.' A rumor from an NYU math professor that this was only batch one of three drew 502 upvotes on r/singularity.

The competitive context is Google DeepMind's long-running math effort, including AlphaProof, and DeepMind published an essay on AI and science, 'Bending the Curve of Discovery,' the same week. Watch for AGMAI's first recommendations, independent verification of headline results, any further withdrawals, and whether the unreleased model behind the work reaches users.