[{"data":1,"prerenderedAt":28},["ShallowReactive",2],{"nr-en-terence-tao-ki-mathematik-grundlagenkrise":3},{"slug":4,"title":5,"dek":6,"date":7,"time":8,"publishedAt":9,"updated":10,"updatedAt":10,"dateFmt":11,"updatedFmt":10,"kind":12,"tier":13,"author":14,"authorName":15,"topics":16,"tracker":10,"trackerLabel":10,"headlineStat":22,"image":23,"ogImage":24,"imageAlt":5,"csv":10,"minutes":25,"words":26,"html":27},"terence-tao-ki-mathematik-grundlagenkrise","Terence Tao Warns: AI Could Plunge Mathematics Into Foundational Crisis","The Fields Medalist sees not mathematical truth at risk, but the discipline's values themselves. An essay for the 2026 International Congress of Mathematicians raises uncomfortable questions.","2026-08-20","09:57","2026-08-20T09:57:00+02:00","","August 20, 2026","analyse","standard","ideal-syka","Ideal Syka",[17,18,19,20,21],"AI & Mathematics","Foundational Crisis","Research Ethics","Terence Tao","First-Proof-Project","7 of 10 research problems solved by AI","\u002Fnewsroom\u002Fimg\u002Fterence-tao-ki-mathematik-grundlagenkrise.webp","\u002Fog-nr\u002Fterence-tao-ki-mathematik-grundlagenkrise.en.png",3,509,"\u003Cp>Mathematician Terence Tao is raising the alarm: AI threatens to plunge mathematics into a crisis reminiscent of the foundational upheaval of the early 20th century—not because mathematical truths could become false, but because the academic community must redefine its own goals. In an essay for the 2026 International Congress of Mathematicians, Tao argues that the debate over AI capabilities misses the point. Instead, mathematics must confront a question it has largely ignored: \u003Cstrong>What exactly are the aims of mathematical research?\u003C\u002Fstrong>\u003C\u002Fp>\n\u003Ch2>The essentials\u003C\u002Fh2>\n\u003Cul>\n\u003Cli>\u003Cstrong>Terence Tao\u003C\u002Fstrong> draws a parallel to the foundational crisis between 1900 and 1930 (Russell's paradox, Gödel's incompleteness theorems)\u003C\u002Fli>\n\u003Cli>In the \u003Cstrong>First-Proof-Project\u003C\u002Fstrong>, AI systems solved \u003Cstrong>7 out of 10\u003C\u002Fstrong> previously unpublished research problems essentially flawlessly—at a cost of \u003Cstrong>dozens to hundreds of dollars per problem\u003C\u002Fstrong>\u003C\u002Fli>\n\u003Cli>Not mathematical truth is at stake, but: \u003Cstrong>what counts as a contribution, what gets rewarded, who did the work\u003C\u002Fstrong>\u003C\u002Fli>\n\u003Cli>Tao's rule of thumb: A proof that no human can explain is \u003Cstrong>incomplete\u003C\u002Fstrong>\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch2>The foundation is shaking—but not the one you think\u003C\u002Fh2>\n\u003Cp>Back around 1900, paradoxes forced mathematicians to make explicit their implicit assumptions about the foundations of their discipline. The result was a rigorous framework that held for a century. Today it's different: not the mathematical foundation is being stress-tested, but the "largely implicit framework of mathematical values and practices." Tao writes that AI tools will soon be able to handle a substantial portion of mathematical research tasks "with reasonable success, reasonable quality, reasonable oversight, and reasonable cost." The First-Proof-Project shows this is not speculation: seven of the ten tested problems received at least one solution rated as essentially error-free.\u003C\u002Fp>\n\u003Ch2>When measures become goals\u003C\u002Fh2>\n\u003Cp>Historically, mathematics' many aims were tightly interwoven: solving problems, developing theories, building community, training the next generation. Progress on one aim supported the others. AI threatens to break this balance. Tao invokes a scientific observation: \u003Cstrong>"When a measure becomes a goal, it ceases to be a good measure."\u003C\u002Fstrong> Generative AI is particularly susceptible to this—it optimizes for the appearance of a good result rather than underlying quality. And the financial incentives of the AI industry reward precisely those measurable successes that previously served as proxies for deeper goals.\u003C\u002Fp>\n\u003Ch2>From proof scarcity to proof abundance\u003C\u002Fh2>\n\u003Cp>The consequence could be a transition Tao sees as problematic: from proof scarcity to proof abundance. AI-generated proofs would arrive faster than they could be checked, understood, and contextualized. The Erdős Problem Database already contains dozens of AI-generated submissions, many never reviewed by a human expert. An AI-polished proof could also eliminate the "natural friction" of human proofs, leaving text that is "easy to read and hard to learn from." Yet humans learn particularly well from others' mistakes.\u003C\u002Fp>\n\u003Cblockquote>\n\u003Cp>A proof that no one can explain is incomplete.\u003C\u002Fp>\n\u003C\u002Fblockquote>\n\u003Cp>That is Tao's framework for action. He points to the Leiden Declaration on Artificial Intelligence, which according to source material sets standards for AI use in research.\u003C\u002Fp>\n\u003Ch2>Sources\u003C\u002Fh2>\n\u003Cul>\n\u003Cli>\u003Ca href=\"https:\u002F\u002Fthe-decoder.de\u002Fwie-einst-nach-goedel-terence-tao-sieht-die-mathematik-vor-einer-neuen-grundlagenkrise\u002F\">The Decoder (DE)\u003C\u002Fa>\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>\u003Cem>Editorially owned by \u003Ca href=\"\u002Fen\u002Fautor\u002Fideal-syka\">Ideal Syka\u003C\u002Fa>. Sources and method: \u003Ca href=\"\u002Fen\u002Fredaktion\">Newsroom & method\u003C\u002Fa>. Tips and corrections: \u003Ca href=\"mailto:ai@i6eal.de\">ai@i6eal.de\u003C\u002Fa>.\u003C\u002Fem>\u003C\u002Fp>\n",1787227928950]