Current outcome
OpenAI's mathematics release has drawn widespread astonishment and uncertainty among mathematicians, many of whom call the scale unprecedented and say evaluation will take years, with debate ongoing.
Progress timeline
4 material updates- #01
Sharing AI Progress in Mathematics
OpenAI published a public GitHub repository (openai/math) containing mathematical manuscripts and supporting proof artifacts, including Lean proof formalizations, produced by an internal OpenAI model. The material covers long-standing open problems such as Barnette's Conjecture and the Unique Games Conjecture. Hacker News commenters framed the release as significant: one wrote that the Unique Games Conjecture is "a seminal conjecture in Complexity Theory" and an underlying assumption for many inapproximability results, calling a valid proof "a big deal". Another commenter said he had spent considerable time attacking Barnette's Conjecture with state-of-the-art models a few months earlier and failed. One commenter, citing proofatlas.ai, said the list claims to fully solve 90 of the top 500 open problems in mathematics, with the highest-ranked among them listed as Hilbert's tenth problem over ℚ, Unique Games, Anderson-model extended states, the spacetime Penrose inequality and the nonexistence of Landau–Siegel zeros. Another commenter highlighted a polynomial-time algorithm for three-machine unit-job scheduling, an open problem since Garey and Johnson's 1979 book. These specifics come from the discussion and are not independent verification of the proofs.
Source evidence: OpenAI Blog · The Verge AI · QbitAI 量子位 · theblockbeats · theblockbeats
- #02
OpenAI Withdraws 3 Math Papers
OpenAI withdrew three math papers from its public repository, spotlighting questions about the reliability and formal verification of AI-generated mathematical proofs.
Source evidence: theemathas · sashank_1509
- #03
OpenAI, the Partition Principle, and Mathematics
A blog post by Asaf Karagila critiques OpenAI's mathematical releases and their effect on mathematical research culture, sparking a Hacker News debate about AI-generated proofs and the responsibilities of mathematicians.
Source evidence: md224
- #04
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
The Verge reported that more than three dozen mathematicians described OpenAI's mathematics release as unprecedented in scale and said it will take years to fully evaluate.
State after update: OpenAI's mathematics release has drawn widespread astonishment and uncertainty among mathematicians, many of whom call the scale unprecedented and say evaluation will take years, with debate ongoing.
Source evidence: The Verge AI