On October 7, OpenAI reported solving hundreds of previously unsolved math problems, cited as 722 manuscripts across 372 result families, with Lean-verified proofs and reasoning summaries for 10 solutions. Reporting since has added that 90 of ProofAtlas's top 500 open problems were fully solved, that the Riemann Hypothesis and Hodge Conjecture were partially solved, and that an internal model made partial progress on a conjecture of Daniel Litt's. OpenAI spent tens of millions of dollars on about 10,000 agents after hearing researchers were close, and three of the released papers have already been retracted over a sign error. The discussion has settled on Francois Chollet's theory that the jagged frontier is mainly math and code, framing the result as a…