The OpenAI math feud is intensifying, and the stakes could hardly be higher. Twenty-five leading mathematicians have signed an open letter arguing that AI labs are threatening their intellectual work as they race to one-up each other with solutions to famous math problems. Each signatory has been awarded the Fields Medal, widely considered the most prestigious prize in mathematics.
Their concerns are not abstract. This week, NYU professor Tristan Buckmaster accused OpenAI of pressuring him not to credit a collaborator who works for Anthropic for solving an important math problem. Buckmaster also wondered whether the company had used their work with Codex to produce its own groundbreaking proof over a marathon weekend of inference.
On Thursday, OpenAI withdrew its sponsorship of a math event at CalTech after the company was criticized by researchers at the university. The move marked another flashpoint in a growing dispute between frontier AI labs and the mathematical community.
Why Mathematicians Are Worried About AI Proofs
While the ability of AI models to solve the world’s outstanding mathematical challenges could be a boon to humanity, the signatories of the new letter argue that will only be the case if those solutions can be understood and communicated by the math community and, ultimately, the rest of the world.
“Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others,” they wrote. OpenAI’s proof remains unverified.
The letter raises pointed questions about credit and originality. “As in all creative professions, this raises severe attribution and plagiarism questions,” the mathematicians wrote. “Moreover, without the willing mathematicians who must take care of their development and integration into the mathematical canon, AI-conceived ideas would never become fully alive and the crucial human transmission chain between mathematicians would be lost.”
Paranoid Researchers and the Threat to Open Research
With other mathematicians growing paranoid and wondering if their Codex use was in turn fed into OpenAI’s new models, there is real fear that the culture of open research will be threatened. Today, if frontier labs see a useful path to a discovery, they can spend tens of millions of dollars using LLMs to beat the original researchers to a proof — a dynamic that will incentivize secrecy.
That incentive structure worries researchers who have built their careers on sharing ideas openly. If the fastest path to credit runs through private compute rather than public collaboration, the norms that have sustained mathematics for generations could erode.
The Leiden Declaration and What Came Before
This letter follows the Leiden Declaration, released by a working group of mathematicians in June. That document also grapples with the ways that LLM proofs will change their work and offers a set of recommendations for mathematicians, institutions, and policymakers.
The Leiden Declaration did not oppose AI in mathematics outright. Instead, it laid out principles for how the field might adapt without losing the practices that make mathematical knowledge reliable and cumulative.
The Value of the Work Around the Work
As with software engineering and other areas where AI tools are changing workflows, mathematicians find a justification in the work around the work. The value in math isn’t just the proofs and who gets credit, but the intellectual super-structure that nourishes students, finds new questions and ideas, and integrates them into broader human civilization.
That super-structure depends on mentorship, peer review, conferences, and the slow accumulation of shared understanding. A proof that appears without that scaffolding may be correct, but it does not become part of the living body of mathematics.
Why This Affects Every Field, Not Just Math
And if you don’t particularly care about the cutthroat world of high-stakes mathematical proofs, don’t forget: Your field of interest is next.
“The issues the mathematical community faces now are similar to issues that other scientific and creative professions are facing, and indicate issues that all of humanity might face: how to make sure that, as AI changes the way work is done, we do not lose sight of what that work was meant to achieve in the first place,” they wrote.
That warning applies well beyond academia. Journalism, software development, design, and scientific research all face versions of the same question: when a machine can produce the output, who gets credit, who gets paid, and what happens to the human processes that made the output meaningful?
What Comes Next in the OpenAI Math Feud
The open letter and the CalTech sponsorship withdrawal suggest the OpenAI math feud is far from resolved. Frontier labs have strong incentives to keep pushing the boundaries of what LLMs can prove, and mathematicians have equally strong incentives to defend the norms that govern their field.
What remains unclear is whether the two sides can find a workable arrangement. The Leiden Declaration offers one possible framework, but its recommendations are voluntary. Without broader adoption, the dynamic that incentivizes secrecy and rushed announcements may persist.
For now, the mathematicians who signed the letter are asking for something simple: time, attribution, and a seat at the table. Whether they get it may determine not only the future of mathematical research, but how every profession absorbs the shock of AI-driven discovery.
Key Points at a Glance
| Development | What Happened |
|---|---|
| Open letter | 25 Fields Medalists signed a letter warning AI labs threaten their work |
| NYU accusation | Tristan Buckmaster said OpenAI pressured him over crediting an Anthropic collaborator |
| CalTech event | OpenAI withdrew sponsorship after criticism from university researchers |
| Leiden Declaration | June document offered recommendations for mathematicians and institutions |
| Broader warning | Signatories say other scientific and creative professions face similar issues |
Frequently Asked Questions
What is the OpenAI math feud about?
The dispute centers on how AI labs announce and credit mathematical proofs produced with large language models. Mathematicians argue that rushed announcements and unclear attribution threaten open research and the human transmission chain that sustains the field.
Who signed the open letter?
Twenty-five leading mathematicians signed the letter. Each signatory has been awarded the Fields Medal, considered the most prestigious prize in mathematics.
What is the Leiden Declaration?
The Leiden Declaration was released by a working group of mathematicians in June. It examines how LLM proofs will change mathematical work and offers recommendations for mathematicians, institutions, and policymakers.
Why does this matter outside mathematics?
The signatories argue that the issues facing mathematicians resemble those facing other scientific and creative professions. As AI changes how work is done, every field must decide how to preserve what that work was meant to achieve.
