OpenAI plans to release over 100 AI-generated solutions to unsolved math problems on GitHub. It previously solved a Millennium Prize problem using thousands of agents. Mathematicians criticize the company for bypassing traditional scientific publication. They also accuse OpenAI of front-running others' work. OpenAI formed an advisory group to guide responsible release of math results. Mathematicians created new tools like Hexagon and Palomar to manage AI-generated proofs. OpenAI employees reportedly believe AI has rendered math research obsolete. Mathematicians argue AI should support, not replace, their field. The Leiden Declaration calls for AI companies to meet academic standards. OpenAI denies accusations of mobster-like behavior.
What changed
OpenAI had assured mathematicians it would not release all solutions at once and would publish papers for review.
What it unlocks
Mathematicians can now access a large volume of AI-generated solutions to long-standing problems.
- 100+ unsolved math problems
- tens of thousands of AI-generated math solutions this year
- 4,000+ mathematicians signed the Leiden Declaration
Sources