Fields Medalists' Declaration Against OpenAI's AI Math Claims

In March 2026, Terence Tao publicly declared that AI models were "ready for primetime" for mathematics and theoretical physics research, describing his own use of the tools in his work ^[2]. Six months later, Tao is the most visible signature on a declaration accusing AI companies of a "severe misalignment" between their goals and the mathematical community's ^[1]. That reversal is what gives the September 11 letter its force: this is not a rearguard action from AI skeptics, it is a warning from the field's most prominent AI adopter that speed is being mistaken for progress. The declaration's central claim is not that AI can't do mathematics - it's that solving problems fast is "only a tool and proxy" for the real goal of building conceptual understanding, and that AI labs are optimizing for the wrong metric entirely ^[1].

The immediate trigger for the Navier-Stokes announcement traces back to a rivalry, not just a research question. OpenAI reportedly began its roughly 10,000-agent push after hearing rumors connected to NYU mathematician Tristan Buckmaster's unpublished, independent work with his collaborator Levent Alpoge - who works at Anthropic - on the closely related forced Euler equations ^[3]. Buckmaster says he was pressured to write up a proof without crediting Alpoge, and still doesn't know whether his own data was used to seed OpenAI's effort ^[3]. OpenAI researcher Sebastien Bubeck denied trying to strip Alpoge of credit and apologized for his wording, but admitted discomfort with "an Anthropic employee authoring that work" - a rare on-record acknowledgment that lab rivalry, not just mathematical merit, shaped how the result was announced ^[3]. Coverage framing the story as an escalating "feud" rather than a one-off dispute underlines that this is a pattern, not an isolated incident ^[7].

The declaration presents 25 Fields Medalists as a unified front, but the Fields Medal community is not monolithic. 2026 medalist Jacob Tsimerman did not sign; instead, he announced from the stage that he was leaving his position at the University of Toronto to join OpenAI's safety team, arguing AI will soon do everything mathematicians do "better and faster" ^[5]. That split matters because it undercuts any reading of the letter as a simple humans-versus-machines standoff. The 25 signatories - spanning medal years from 1978 to 2026 - are not rejecting AI's mathematical capability outright; they are objecting to how results get announced and credited ^[8]. Tsimerman's departure shows that even among the small group of people qualified to judge AI's mathematical output firsthand, opinion is genuinely split on whether to resist or join the disruption.

The declaration was not the first sign of organized resistance, and it already has a track record of forcing concrete concessions. Days before the letter published, roughly 500 mathematicians signed a separate open letter opposing OpenAI's sponsorship of a Caltech math hackathon, warning it would incentivize shallow "slop mathematics" optimized for speed over rigor ^[4]. OpenAI withdrew the sponsorship on September 10, with scientist Dan Roberts acknowledging that "the rapid progress of AI in mathematics is disruptive" and pledging more engagement with the math community ^[4]. That withdrawal came just two days after OpenAI's own announcement that roughly 10,000 concurrent agents had spent about 88 hours establishing a variant of the Navier-Stokes Millennium Prize problem - a result the company was careful not to submit for the $1 million prize itself ^[6]. The juxtaposition is telling: OpenAI is simultaneously scaling up compute-heavy math pushes and beating a retreat from community-facing initiatives whenever mathematicians organize against them.

Online reaction tracked two different audiences reading the same letter two different ways. On X, prominent AI critic Gary Marcus amplified the declaration by framing it as OpenAI picking a fight with the wrong group. Oxford Mathematics lent the letter institutional weight by circulating commentary describing AI as "eating mathematicians' lunch," questioning whether this is more than just a dispute over solved problems. Reddit's math-native communities read it more narrowly: r/mathematics hosted an extended debate over whether mathematical value lies in the process or the result, while r/singularity commenters were notably more receptive to this letter than to a similar open letter about the Caltech hackathon days earlier, describing it as a focused, technical ask rather than blanket AI skepticism. On YouTube, the highest-viewed coverage posed the story as an open question - "Did AI Just Solve the $1,000,000 Navier-Stokes Problem?" - while a second video's title flagged the episode as dispute-laden, a sign the attribution fight broke through to a general audience, not just specialists inside mathematics.