OpenAI Publishes 372 AI-Generated Math Proofs on GitHub

OpenAI has released 372 AI-generated mathematical proofs on GitHub as of October 7, 2026, utilizing the ChatGPT Pro model. Each proof took an average of 3 hours to compute, highlighting the efficiency of the AI in generating complex mathematical results. This release addresses significant problems such as the Riemann hypothesis and follows previous AI achievements like the Navier-Stokes problem, which involved 10,000 agents and incurred millions of dollars in compute costs.

The Institute for Advanced Study consulted on this project, with notable input from Fields Medal winners Timothy Gowers and Terence Tao. Gowers warned that the influx of AI-generated results could overwhelm the math community's capacity for manual review, stating that within one to two decades, the volume of mathematical literature might grow significantly without a corresponding understanding from the human community. Tao emphasized the need for training young mathematicians to focus on the human aspects of mathematics while limiting AI tool use.

This development raises critical questions about the future of mathematical research and the role of AI in generating true statements, with 25 Fields Medal winners expressing concerns that mass production of mathematical results could stifle innovation rather than foster it.