OpenAI Publishes Over 300 Mathematical Proofs Solved by AI

7 Oct 2026, 10:57 am · 18h ago · 1 min read · OfficeChai

OpenAI has released over 722 manuscripts featuring more than 300 mathematical proofs, including work on the Quasi-Riemann Hypothesis, generated using advanced artificial intelligence models. OpenAI Chief Executive Officer Sam Altman marked the milestone publicly, emphasizing the potential of machine-driven mathematical discovery and reasoning capabilities. The achievement highlights expanding progress in using reinforcement learning and automated reasoning systems to solve complex, unsolved theoretical problems in advanced mathematics. The development indicates a significant shift from conversational generative AI toward high-level scientific and mathematical research tools capable of generating verifiable academic proofs.