Twenty-five Fields Medal winners, including Terence Tao, have signed a joint declaration warning that AI companies and the mathematics community are fundamentally misaligned. The statement, published on September 11, 2026, argues that the commercial incentives driving AI development are clashing with the rigorous, slow-by-design processes that have kept mathematics reliable for centuries.
What the declaration actually says
The core argument is deceptively simple. AI companies are optimizing for speed, claiming breakthroughs on mathematical problems at a pace that outstrips the community’s ability to verify them. Mathematics, unlike most fields, has a binary quality standard: a proof is either correct or it isn’t.
The signatories, who include Artur Avila and Manjul Bhargava alongside Tao, frame this as an alignment problem. Not the existential AI alignment that dominates Silicon Valley discourse, but a more immediate, practical one. AI firms want impressive results on competitive timelines. Mathematicians want results that are actually true.
The declaration points to recent incidents where AI systems have made claims related to long-standing mathematical problems, including problems in the Millennium Prize category. These are the seven hardest unsolved problems in mathematics, each carrying a million-dollar bounty from the Clay Mathematics Institute. When an AI company announces progress on one of these problems, it generates enormous publicity. When the community later finds the work doesn’t hold up, the retraction gets considerably less attention.
