OpenAI publishes 722 AI-generated mathematical manuscripts containing new proofs
OpenAI published proofs for 722 previously unsolved mathematical problems in a public GitHub repository, generated by an unreleased internal model that was handed roughly 4,000 problems, averaging about three hours of ChatGPT Pro compute per result. Sam Altman shared the repository publicly, while investor Ray Dalio separately warned the AI industry bubble may be nearing a burst.
Why it matters If verified, this represents one of the largest batches of AI-generated mathematical proofs released to date, suggesting frontier models are becoming genuinely useful research collaborators rather than just chat assistants. The scale (722 proofs from a single prompt-driven agent run) also raises questions about verification rigor and whether external mathematicians will validate the claims, especially as skepticism about AI capability claims grows alongside bubble warnings from figures like Dalio.
What to watch Watch for independent mathematician review of the proofs' validity and whether OpenAI releases the underlying model publicly.