# Theorem Proving Articoli collegati

Fields Medalist Warns: AI Could Kill Mathematics

The 2026 Fields Medal award was followed by a startling announcement: laureate Jacob Tsimerman joined OpenAI to pursue AI safety research, predicting AI would surpass humans in all mathematical proof areas within two years. Soon after, Fields Medalists Terence Tao and Timothy Gowers expressed deep concern at ICM 2026. Gorges warned that AI might "kill" mathematics not through stagnation, but through an overwhelming surplus of proofs, likening it to a lake dying from eutrophication. This concern is echoed in the "Leiden Declaration," signed by over 3,000 mathematicians including Tao, Peter Scholze, and Kevin Buzzard, advocating for mathematics as a profoundly human endeavor. However, Gowers, who did not sign, fears a future where AI-generated mathematics proliferates while human expertise and the shared intuition vital to the field vanish, turning math into an unvisited "cemetery of thought." Gowers' perspective shifted dramatically after testing ChatGPT 5.5 Pro. The AI solved a doctoral-level number theory problem and later produced a counterexample for the "unit distance problem," achievements Gorges considered publishable in top journals. He now concedes that large language models can handle advanced research, a realization that left him feeling the "rug pulled out from under" him when AI solved problems he personally contemplated. The debate extends to the nature of mathematical discovery. As noted by Peter Woit, AI agents have no interest in the "credit game" of academia. If theorems cease to be attributed to individual mathematicians, truth may simply return to its impersonal state in the universe. The central question remains: in an age of potentially limitless AI-generated discovery, what is the role and purpose of the human mind in mathematics?

marsbit8 h fa