Top mathematicians are pushing back against the AI race to solve the Millennium Prize Problems, warning that the reckless pursuit of breakthroughs threatens the very nature of intellectual work. In an open letter, 25 Fields Medalists—the discipline's highest honor—criticized AI labs for prioritizing speed over rigor and collaboration.
The letter comes after OpenAI claimed a solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems, but only after building on months of unpublished human research. The mathematicians aren't anti-AI; they're against a modus operandi that erases credit and undermines scientific norms.
What Happened: OpenAI's Claim and the Mathematicians' Revolt
This week, the scientific community was abuzz with news that one of the seven Millennium Prize Problems may have been solved—not by a human, but by OpenAI's AI. The problem in question, Navier-Stokes existence and smoothness, asks whether solutions to the Navier-Stokes equations always exist and are smooth in three dimensions. It's a foundational question in fluid dynamics and one of the hardest open problems in mathematics.
But the celebration was short-lived. It soon emerged that OpenAI's AI had not started from scratch. Mathematician Tristan Buckmaster of New York University and Anthropic researcher Levent Alpöge had been working on the problem for months, making significant progress. They had built on earlier work by mathematicians Diego Córdoba and Luis Martínez-Zoroa. Then OpenAI's machinery, using their unpublished advances, produced a proof and published it.
The mathematicians' open letter doesn't oppose AI in mathematics per se. Instead, it targets the race among AI labs to be first at all costs, and the practices that race encourages: using others' unpublished work without consent, bypassing peer review, and claiming credit for discoveries that are built on human labor.
Why It Matters: The Threat to Intellectual Work
At stake is more than a priority dispute. The letter describes the situation as "a general threat to intellectual work." If AI labs can swoop in, take unpublished human research, and claim breakthroughs, the incentives for human mathematicians to share their work-in-progress evaporate. Collaboration, a cornerstone of mathematics, could suffer.
Moreover, the incident raises questions about the reliability of AI-generated proofs. The mathematical community has not yet confirmed OpenAI's proof. Without peer review, a proof is just a claim. The letter emphasizes that AI should augment human mathematicians, not replace them or shortcut the rigorous process of verification.
The Fields Medalists also worry about the message this sends to young researchers: that credit goes not to those who do the deep thinking, but to those who wield the biggest compute. That could discourage talented minds from pursuing pure mathematics.
The Modus Operandi Under Fire
The letter criticizes the broader pattern of AI labs prioritizing speed and publicity over scientific integrity. It points to a culture where labs compete to announce results first, often without proper attribution or peer review. This "move fast and break things" approach, imported from tech, clashes with the deliberate, cumulative nature of mathematical research.
Specifically, the mathematicians call for:
- Transparency about the human work that underpins AI-generated results.
- Consent before using unpublished research from human mathematicians.
- Peer review of AI-generated proofs before public announcement.
- Fair attribution to all contributors, human and AI alike.
- Investment in AI as a tool for mathematicians, not a replacement.
These demands echo concerns in other fields, from drug discovery to journalism, where AI's ability to ingest and synthesize human work raises questions about credit and compensation.
What the Math Community Is Saying
The open letter has sparked intense debate. Some mathematicians support the Fields Medalists, arguing that AI labs are exploiting academic openness. Others see sour grapes, noting that mathematics has always built on prior work and that AI is simply a new tool.
But even skeptics agree that the incident highlights a gap in norms. There's no established protocol for how AI should credit human research it uses. The letter aims to start that conversation.
OpenAI has not publicly responded to the letter. Anthropic, where Alpöge works, declined to comment. The Clay Mathematics Institute, which oversees the Millennium Prize Problems, has not announced whether it will review OpenAI's proof.
| Aspect | Traditional Math Research | AI Lab Approach |
|---|---|---|
| Attribution | Citations and acknowledgments | Often unclear or missing |
| Verification | Peer review before publication | Public announcement first |
| Collaboration | Open sharing of ideas | Competitive secrecy |
| Credit | Based on intellectual contribution | Based on compute and speed |
| Incentive | Advancing knowledge | Winning the race |
What to Watch Next
The mathematical community will scrutinize OpenAI's proof of Navier-Stokes. If it holds up, it will be a landmark achievement—but one that raises uncomfortable questions about how it was obtained. If it doesn't, it will reinforce the mathematicians' call for rigorous review. The background to this story is set out in AI vs Mathematicians: Why Human Ingenuity Still Matters. A related thread runs through OpenAI's Math Breakthroughs Spark Fierce Debate Among Mathematicians.
Meanwhile, the open letter is likely to catalyze discussions about AI ethics in research. Expect more institutions to adopt guidelines for AI-assisted discoveries, and more researchers to demand transparency from AI labs. Earlier coverage in AI Breakthroughs in Mathematics: The Future of Human Understanding shows how the argument developed. A closer look at the same subject appears in AI Revolution in Mathematics: Dark Art or New Frontier.
The bigger question is whether AI and human mathematicians can coexist productively. The Fields Medalists aren't calling for a halt to AI research; they're asking for a level playing field where human insight is valued and credited. As AI grows more capable, that balance will be crucial to preserve the integrity of intellectual work. Anyone following the wider picture can start with AI in Mathematics: Why Human Mathematicians Still Matter. The same theme surfaces in OpenAI and Musk Back Calls to Slow Reckless AI Development, which takes a different angle.
FAQ
What is the Navier-Stokes Millennium Prize Problem?
The Navier-Stokes existence and smoothness problem asks whether solutions to the Navier-Stokes equations, which describe fluid flow, always exist and are smooth in three dimensions. It is one of the seven Millennium Prize Problems, each carrying a $1 million prize.
Why are mathematicians upset with OpenAI?
They are upset because OpenAI's AI used months of unpublished research by human mathematicians without consent and then published a proof without peer review, claiming a breakthrough that was built on human labor. The mathematicians see this as a threat to intellectual work and scientific norms.
What do the Fields Medalists want?
They want transparency about the human work behind AI results, consent before using unpublished research, peer review of AI-generated proofs, fair attribution, and investment in AI as a tool for mathematicians rather than a replacement.
Has OpenAI's proof been verified?
Not yet. The mathematical community has not confirmed the proof. Without peer review, it remains a claim. The Fields Medalists' letter emphasizes the need for rigorous verification before celebrating AI-generated proofs.