Twenty-Five Fields Medalists Warn OpenAI's Proof Race Is Breaking Mathematics' Open Culture
Twenty-five Fields Medalists have signed an open letter accusing AI labs of undermining mathematical integrity through rushed, unverified proofs and attribution disputes.
A coalition of twenty-five mathematicians, each a recipient of the Fields Medal, issued an open letter this week condemning the current trajectory of AI-driven mathematical research. The signatories argue that frontier labs are prioritizing speed over rigor, announcing solutions to famous problems without allowing time for proper writeups, method isolation, or citation of prior work. This rush has left OpenAI's recent proof unverified, raising severe questions regarding plagiarism and attribution within the community. The letter emphasizes that without human mathematicians to develop and integrate these ideas, AI-conceived concepts cannot become part of the mathematical canon, breaking the essential transmission chain between researchers.
Tensions escalated specifically around accusations involving NYU professor Tristan Buckmaster, who claimed OpenAI pressured him to omit credit for an Anthropic collaborator involved in solving a significant problem. Buckmaster further questioned whether OpenAI utilized their collaborative work with Codex to generate its own proof during an intensive weekend of inference. In response to growing criticism from university researchers, OpenAI withdrew its sponsorship of a mathematics event at CalTech on Thursday. These incidents have fueled paranoia among researchers who now fear their own use of tools like Codex is being ingested by competing models to beat them to discoveries, incentivizing a shift from open collaboration to secrecy.
This development follows the June release of the Leiden Declaration, which previously outlined recommendations for navigating the impact of LLM proofs on the field. The core argument extends beyond credit assignment to the preservation of the intellectual super-structure that nurtures students and generates new questions. The signatories warn that if labs spend tens of millions of dollars to bypass original researchers, the fundamental purpose of mathematical work risks being lost. They posit that these challenges mirror broader issues facing all scientific and creative professions as AI alters workflows, demanding a re-evaluation of how humanity ensures technology serves the original goals of labor rather than obscuring them.