OpenAI solves 90 of the top 500 open math problems — publishes 722 papers
OpenAI published 722 mathematical papers and solved 90 of the 500 most significant open problems in mathematics, with results including progress on problems adjacent to the Riemann Hypothesis. Latent Space describes it as "the most significant moment in over 100 years of mathematics." The work is paired with Lean formalizations and open GitHub releases for verification.
This is the first time AI has produced verifiable, peer-reviewable mathematical discoveries at volume — not assisted humans, but generated novel results. Every AI-for-science roadmap just got compressed.