[{"data":1,"prerenderedAt":28},["ShallowReactive",2],{"nr-de-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 warnt: KI könnte Mathematik in Grundlagenkrise stürzen","Der Fields-Medalist sieht nicht die mathematische Wahrheit gefährdet, sondern die Werte des Fachs selbst. Ein Essay zum Mathematikerkongress 2026 stellt unbequeme Fragen.","2026-08-20","09:57","2026-08-20T09:57:00+02:00","","20. August 2026","analyse","standard","ideal-syka","Ideal Syka",[17,18,19,20,21],"KI & Mathematik","Grundlagenkrise","Forschungsethik","Terence Tao","First-Proof-Project","7 von 10 Forschungsproblemen von KI gelöst","\u002Fnewsroom\u002Fimg\u002Fterence-tao-ki-mathematik-grundlagenkrise.webp","\u002Fog-nr\u002Fterence-tao-ki-mathematik-grundlagenkrise.de.png",2,491,"\u003Cp>Der Mathematiker Terence Tao schlägt Alarm: KI droht, die Mathematik in eine Krise zu stürzen, die an die Grundlagenerschütterung des frühen 20. Jahrhunderts erinnert – nicht weil mathematische Wahrheiten falsch werden könnten, sondern weil die Fachgemeinschaft ihre eigenen Ziele neu definieren muss. In einem Essay anlässlich des Mathematikerkongresses 2026 argumentiert Tao, dass die Debatte über KI-Fähigkeiten zu kurz greift. Stattdessen müsse sich die Mathematik einer Frage stellen, die sie bislang ignoriert hat: \u003Cstrong>Was genau sind die Ziele mathematischer Forschung?\u003C\u002Fstrong>\u003C\u002Fp>\n\u003Ch2>Kurz & knapp\u003C\u002Fh2>\n\u003Cul>\n\u003Cli>\u003Cstrong>Terence Tao\u003C\u002Fstrong> zieht eine Parallele zur Grundlagenkrise zwischen 1900 und 1930 (Russells Paradoxon, Gödels Unvollständigkeitssätze)\u003C\u002Fli>\n\u003Cli>Im \u003Cstrong>First-Proof-Project\u003C\u002Fstrong> lösten KI-Systeme \u003Cstrong>7 von 10\u003C\u002Fstrong> nie veröffentlichten Forschungsproblemen im Wesentlichen fehlerfrei – für \u003Cstrong>Dutzende bis Hunderte Dollar pro Problem\u003C\u002Fstrong>\u003C\u002Fli>\n\u003Cli>Nicht mathematische Wahrheit steht auf dem Prüfstand, sondern: \u003Cstrong>was als Beitrag gilt, was belohnt wird, wer die Arbeit geleistet hat\u003C\u002Fstrong>\u003C\u002Fli>\n\u003Cli>Taos Faustregel: Ein Beweis, den kein Mensch erklären kann, ist \u003Cstrong>unvollständig\u003C\u002Fstrong>\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch2>Das Fundament wackelt – aber nicht das, das du denkst\u003C\u002Fh2>\n\u003Cp>Damals, um 1900, zwangen Paradoxien die Mathematiker, ihre impliziten Annahmen über die Fundamente ihres Fachs explizit zu machen. Das Ergebnis war ein rigoroses Rahmenwerk, das ein Jahrhundert hielt. Heute ist es anders: Nicht das mathematische Fundament wird stressgetestet, sondern das "weitgehend implizite Rahmenwerk mathematischer Werte und Praktiken". Tao schreibt, dass KI-Tools bald einen erheblichen Anteil mathematischer Forschungsaufgaben "mit vernünftigem Erfolg, vernünftiger Qualität, vernünftiger Aufsicht und vernünftigen Kosten" bewältigen könnten. Das First-Proof-Project zeigt, dass das keine Spekulation ist: Sieben der zehn getesteten Probleme erhielten mindestens eine als im Wesentlichen fehlerfrei bewertete Lösung.\u003C\u002Fp>\n\u003Ch2>Wenn Maße zu Zielen werden\u003C\u002Fh2>\n\u003Cp>Historisch waren die vielen Ziele der Mathematik eng verflochten: Probleme lösen, Theorien entwickeln, Gemeinschaft aufbauen, die nächste Generation ausbilden. Fortschritt bei einem Ziel förderte die anderen. KI droht, dieses Gleichgewicht aufzubrechen. Tao beruft sich auf eine wissenschaftliche Beobachtung: \u003Cstrong>"Wenn ein Maß zum Ziel wird, hört es auf, ein gutes Maß zu sein."\u003C\u002Fstrong> Generative KI sei dafür besonders anfällig – sie optimiere auf den Anschein eines guten Ergebnisses statt auf die zugrundeliegende Qualität. Und die finanziellen Anreize der KI-Industrie belohnten genau jene messbaren Erfolge, die bislang als Stellvertreter für tiefere Ziele dienten.\u003C\u002Fp>\n\u003Ch2>Von Beweis-Knappheit zu Beweis-Überfluss\u003C\u002Fh2>\n\u003Cp>Die Konsequenz könnte ein Übergang sein, den Tao als problematisch sieht: von Beweis-Knappheit zu Beweis-Überfluss. KI-generierte Beweise würden schneller anfallen, als sie geprüft, verstanden und eingeordnet werden könnten. Die Erdős-Problemdatenbank enthält bereits Dutzende KI-generierter Einreichungen, von denen viele kein menschlicher Experte geprüft hat. Ein KI-polierter Beweis könne zudem die "natürliche Reibung" menschlicher Beweise beseitigen und einen Text hinterlassen, "der leicht zu lesen und aus dem schwer zu lernen sei". Menschen könnten aber besonders gut aus Fehlern anderer Menschen lernen.\u003C\u002Fp>\n\u003Cblockquote>\n\u003Cp>Ein Beweis, den niemand erklären kann, ist unvollständig.\u003C\u002Fp>\n\u003C\u002Fblockquote>\n\u003Cp>Das ist Taos Handlungsrahmen. Er verweist auf die Leiden Declaration on Artificial Intelligence, die laut Quellenmaterial Standards für KI-Einsatz in der Forschung setzt.\u003C\u002Fp>\n\u003Ch2>Quellen\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>Redaktionell verantwortet von \u003Ca href=\"\u002Fautor\u002Fideal-syka\">Ideal Syka\u003C\u002Fa>. Quellen und Arbeitsweise: \u003Ca href=\"\u002Fredaktion\">Redaktion & Methode\u003C\u002Fa>. Hinweise und Korrekturen: \u003Ca href=\"mailto:ai@i6eal.de\">ai@i6eal.de\u003C\u002Fa>.\u003C\u002Fem>\u003C\u002Fp>\n",1787227928916]