OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up

OpenAI has released a large collection of mathematical results produced by an internal AI model. The proofs are published on GitHub rather than in academic journals, with formal verification intended to make review more practical. OpenAI has published 372 new mathematical results generated by an internal frontier model. Each result is supposed to solve an open problem or make substantial progress toward one.

The collection includes improvements to major computer algorithms and advances related to the Riemann hypothesis. The company is hosting the results in a GitHub repository, complete with revision logs and citations. According to OpenAI, the same model already produced a solution to a Navier-Stokes problem that has been under formal review for weeks. Nearly every result came from a single prompt to a single AI agent, OpenAI says, though some took multiple attempts.

That's a sharp contrast to the Navier-Stokes solution, which required a swarm of 10,000 agents and millions of dollars in compute. On average, each result consumed roughly three hours' worth of ChatGPT Pro Thinking compute. Many of the proofs come with formalizations in Lean,…