Realtime AI News
Twenty-five Fields Medalists sign an open letter warning AI labs are threatening mathematicians' work
Twenty-five leading mathematicians have signed an open letter arguing that AI labs are threatening their intellectual work as they race to solve famous problems. The same week, NYU professor Tristan Buckmaster accused OpenAI of pressuring him over credit for a proof, and OpenAI withdrew its sponsorship of a CalTech math event.
Twenty-five leading mathematicians have signed an open letter arguing that AI labs are threatening their intellectual work as they race one another to solve famous math problems. Every signatory has been awarded the Fields Medal, the most prestigious prize in mathematics.
The letter landed in the same week that NYU professor Tristan Buckmaster accused OpenAI of pressuring him not to credit a collaborator who works for Anthropic for solving an important math problem. He also wondered whether their work with Codex had been used to produce the company's own ground-breaking proof over a marathon weekend of inference.
The dispute escalated on Thursday, when OpenAI withdrew its sponsorship of a math event at CalTech after the company was criticized by researchers at the university. In the space of a few days, the tension between AI labs and the mathematical community has moved from technical debate to open conflict.
The signatories' central worry is attribution and intelligibility. "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, noting that OpenAI's proof remains unverified. "As in all creative professions, this raises severe attribution and plagiarism questions," the letter warns.
The letter also makes the case for transmission: without willing mathematicians who develop those ideas and integrate them into the mathematical canon, "AI-conceived ideas would never become fully alive and the crucial human transmission chain between mathematicians would be lost."
The anxiety runs deeper than credit. With other mathematicians growing paranoid about whether 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. If a frontier lab sees a useful path to a discovery, it can spend tens of millions of dollars using LLMs to beat the original researchers to a proof — an incentive that rewards secrecy.
The open letter follows the Leiden Declaration, released by a working group of mathematicians in June. That document similarly grapples with how LLM proofs will change their work, and offers recommendations for mathematicians, institutions, and policymakers.
The signatories frame their own predicament as an early warning. The value in math, they argue, is not 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. "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," they wrote. As TechCrunch puts it: if you don't care about the cutthroat world of high-stakes mathematical proofs, your field of interest is next.
Sources
Why it matters
The letter turns a single lab dispute into an institutional question: when compute can beat researchers to a proof, attribution norms, verification pipelines and open-research culture all need new rules — or the human chain that carries mathematical knowledge forward degrades first.
Nearby Updates
All09/12, 04:59
Y Combinator's Garry Tan wants U.S. open-weight AI labs to 'distill' frontier models, too
Y Combinator's Garry Tan has argued publicly that U.S. open-weight AI labs should also be allowed to distill frontier models. His reasoning is that frontier models were themselves trained on public human knowledge, so access to capable AI should be treated as a form of public good.
09/12, 03:35
Kimi-maker Moonshot AI targets $2 billion in annual revenue
TechCrunch reports that Moonshot AI, the developer of the Kimi assistant, is targeting $2 billion in annual revenue. The same report cites OpenRouter data showing K3 models generating as many as 300 billion tokens a day, even as usage figures have slipped slightly in recent months.
09/12, 06:58
Mecka AI nears $500M valuation in Sequoia-led round as robot data demand surges
TechCrunch reports that Mecka AI, a two-year-old startup focused on robot training data, is closing in on a $500 million valuation in a new round led by Sequoia Capital. The deal is being assembled only months after the company announced its Series A, underscoring how fast capital is moving into embodied-AI data.
09/12, 02:41
Anthropic Researcher Resigns, Warning the Company Is 'Racing Straight to Self-Improving Superintelligence'
An Anthropic researcher resigned this week and warned on X that the company is “racing straight to self-improving superintelligence and gambling with our lives.” Anthropic's own alignment lead co-signed the message instead of walking it back, and with the company reportedly preparing for an IPO, the warning lands at a sensitive moment.