Escalating Dispute Over AI’s Role in Mathematical Discovery
Twenty-five mathematicians, all recipients of the Fields Medal, have signed an open letter outlining their anxieties regarding the increasing use of AI models, specifically OpenAI’s systems, in mathematical research. The core concern centers on the speed and opacity with which AI is producing solutions to complex mathematical problems, raising questions about the established processes of verification and attribution. This follows the release of the Leiden Declaration, a similar document issued by a working group of mathematicians in June.
Specifically, NYU professor Tristan Buckmaster highlighted a situation involving OpenAI and Anthropic, alleging pressure not to credit a collaborator and suggesting the use of Codex to generate a proof over a weekend. This incident underscores a broader fear within the mathematical community that AI labs are prioritizing rapid solution generation over the traditional, carefully-documented, and peer-reviewed process of mathematical discovery. The potential for misuse and the lack of transparency are key drivers of this concern.
There is a growing apprehension that the pursuit of groundbreaking mathematical proofs by AI labs, potentially involving tens of millions of dollars in inference costs, could incentivize secrecy and undermine the collaborative nature of research. The dynamic risks shifting the focus from the intellectual superstructure – the education, questions, and integration of ideas – that traditionally fuels mathematical progress to simply achieving a solution, regardless of its context or understanding.
This situation mirrors concerns in other fields where AI tools are changing workflows. The signatories emphasize that the value of mathematics extends beyond the proofs themselves, encompassing the broader intellectual ecosystem that supports mathematical inquiry. The potential for AI to disrupt this ecosystem and alter the established channels of knowledge transmission is a significant worry for the mathematical community.
Source: https://techcrunch.com/2026/09/11/openais-feud-with-mathematicians-is-only-escalating/
