Fields Medalists' declaration against AI math benchmarking, sparked by OpenAI's Navier-Stokes claim

The declaration's title, 'A Severe Misalignment of AI in Mathematics' ^[6], borrows deliberately from AI's own vocabulary. Its central claim is that solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight, and that forgetting this in the world of AI may turn the tool against the primary goal ^[7]. That is a narrower complaint than it first sounds: the signatories explicitly do not call for a ban and concede AI could genuinely accelerate mathematical work ^[1]. What they are objecting to is a specific pathology of rushed, benchmark-first announcements, namely that compressing the traditional writeup-and-review cycle into days leaves too little time for proper citation, creating what the declaration calls severe attribution and plagiarism questions ^[1]. Tao has made the same point in starker terms outside the formal declaration, warning that treating famous open problems as capability targets to strip-mine risks hollowing out the pipeline that trains the next generation of mathematicians ^[3], and separately that indiscriminate AI use could reduce the field to a meaningless production quota game ^[2].

The declaration did not emerge from an abstract worry; it followed a concrete flashpoint. Roughly 12 hours before OpenAI's announcement, Tristan Buckmaster and Levent Alpoge posted their own proof addressing a simplified version of the blow-up problem ^[5]. Buckmaster says he asked OpenAI directly whether its model had been trained on or had access to the pair's private Codex sessions, where they had been storing every draft of the project, and says he never got a clear answer ^[3]. He has alleged OpenAI offered him a choice between posting his result with OpenAI publishing its own the next day, or writing up his result while crediting an OpenAI model and sharing Millennium Prize recognition, but explicitly excluding Alpoge as co-author because Alpoge works at Anthropic ^[4]. Sebastien Bubeck initially denied any access to their unpublished work, stating that neither the researchers nor the agents saw it before public release ^[3], and OpenAI's Chief Research Officer Mark Chen separately denied that any agents or employees accessed the pair's transcripts ^[4]. Bubeck later walked the dispute back partway, issuing a statement recognizing Alpoge and Buckmaster's priority on the related result ^[3]. That reversal, without a full account of how the initial denial and the later concession fit together, is exactly the kind of unresolved provenance question the Fields Medalists say benchmark-driven speed makes worse, not better.

OpenAI's proof was checked in the Lean proof-assistant language, which gives mathematicians confidence it is logically self-consistent ^[2], but that formal check only confirms the Lean statement is internally valid, not that it faithfully captures the Navier-Stokes existence-and-smoothness problem the Clay Institute actually posed ^[2]. Human verification of that mapping is still required, and it is exactly the kind of slow, deliberate work the declaration says gets squeezed out when a result is announced within days of being generated by roughly 10,000 agents exchanging almost 5 million messages over 88 hours, plus another 17 hours of formalization ^[2]. Bubeck put the compute cost of the whole effort at several million dollars ^[2], underscoring how much institutional weight now sits behind a claim the community has not yet had time to independently absorb. Even mathematicians who welcomed the underlying result, such as Charles Fefferman, have been careful to route credit for the core mathematical idea to specific human researchers rather than to the AI process itself ^[2], which is precisely the attribution instinct the declaration is trying to protect.

Reaction to the declaration has split along familiar lines rather than converging into consensus. On mathematics- and technology-focused forums, commenters, many identifying as mathematicians or educators, have largely validated the Fields Medalists' process-over-end-result argument and criticized OpenAI for prioritizing marketing over understanding, while more AI-accelerationist communities have dismissed the letter as self-interested job protection, with a smaller contingent conceding the underlying concern is reasonable. Institutional voices have amplified individual signatories' framing of this as a genuine credibility and attribution issue rather than reflexive resistance to AI. Independent observers have gone as far as compiling which of the world's living Fields Medalists did and did not sign, treating the roster itself as a signal of how seriously the mathematics establishment is taking the episode. The through-line across the split is less about whether AI can eventually contribute to mathematics, which almost no one disputes, and more about whether the current benchmark-chasing incentive structure inside AI labs is compatible with how credit, verification, and understanding have traditionally been built in the field.