Fields Medalists warn of severe AI misalignment in mathematics

The declaration turns recent AI-in-math drama into an institutional-values argument: the scarce object is not just solved problems, but attribution, exposition, review, student formation, and the slow conversion of results into shared understanding.

Logged at IST: 2026-09-12 22:55 IST

What it is: A declaration titled “A Severe Misalignment of AI in Mathematics,” signed by 25 Fields Medalists including Terence Tao, Artur Avila, Manjul Bhargava, Pierre Deligne, Peter Scholze, Maryna Viazovska, Cédric Villani, and others.

Gist: The declaration argues that recent LLM progress in mathematics has made major-problem solving a visible AI benchmark, but that optimizing for solved problems is misaligned with the actual purpose of mathematical research. The authors frame mathematics as a human community that develops students, ideas, methods, exposition, attribution, and conceptual understanding over time.

Their concern is not that AI can never help mathematics. It is that mass-produced true/false outputs, especially when announced quickly, can overwhelm the slower processes that make results useful: careful writeups, isolation of new methods, talks, discussion, simplification, citation of prior work, and integration into the mathematical canon.

The declaration connects this to broader creative and scientific labor. Training traditionally builds judgment and the ability to formulate new questions; AI systems can increasingly produce final-looking outputs directly, so the output metric can stop aligning with the deeper goal of understanding. Mathematics becomes a clear miniature of that larger institutional problem.

This pairs with Tao's recent writing on proof indigestion and open problems as scarce resources. The declaration is more collective and political: AI companies and the mathematical community need to address the incentives urgently, because the human transmission chain is part of the science, not just a slow interface around it.

Newsletter angle: A useful anchor for “AI and expert work” beyond capability demos. The real conflict is about preserving the social machinery that turns answers into knowledge: attribution, review, explanation, problem selection, and apprenticeship.