Terence Tao bei der Fields-Medaille-Verleihung: Mathematik steht vor einer Jahrhundertkrise
Terence Tao (person)
Der Fields-Medaillengewinner von 2006, Terence Tao, warnte auf dem ICM vor einer „jahrhundertelangen Krise“ in der Mathematik, die durch den Aufstieg der KI verursacht wird. Er schlug eine Arbeitshypothese vor, dass KI bald in der Lage sein werde, Forschungsprobleme auf dem Niveau professioneller Mathematiker zu lösen, und analysierte, wie dies die Ziele und Werte der Mathematik verändern wird. Tao rief zu einer offenen Diskussion und einer Überprüfung des Systems zur Bewertung wissenschaftlicher Ergebnisse auf.
Auf dem Internationalen Mathematikerkongress (ICM) 2026, unmittelbar nach der Bekanntgabe der Fields-Medaillengewinner des Jahres 2026, Wang Hong und Deng Yu, hielt Terence Tao, der dieselbe Auszeichnung 2006 erhalten hatte, einen Vortrag mit dem Titel „Mathematik im Zeitalter der KI“. Anstatt zu diskutieren, ob KI Mathematik bewältigen kann, schlug Tao eine Arbeitshypothese vor: Nehmen wir an, dass KI bald in der Lage sein wird, einen erheblichen Teil der Forschungsprobleme zu angemessenen Kosten zu lösen. Unter Berufung auf den unabhängigen Benchmark „First Proof“, bei dem KI-Systeme 7 von 10 Problemen auf einem veröffentlichungsreifen Niveau lösten, betonte er, dass dies eine Verschiebung der Diskussion auf die Werteebene ermöglicht. Tao berief sich auf das Goodhartsche Gesetz: Wenn eine Kennzahl zum Ziel wird, hört sie auf, eine gute Kennzahl zu sein. Er zeigte, wie die Entwicklung von Zielen in der mathematischen Forschung (Problemlösung, Verifikation, klare Darstellung, Akzeptanz in der Gemeinschaft, Kanonisierung) zu einem „Beweisverdauungsstau“ führen wird – einem Übergang von einer Ära der Beweisknappheit zu einer Ära des Beweisüberflusses. Tao forderte, das Gewicht der „ersten Lösung“ zu reduzieren und die Bedeutung der „Verdauungsphasen“ – Darstellung, Veröffentlichung und Kanonisierung – zu erhöhen. Er befürwortete die Leidener Erklärung zu KI und Mathematik, die die Offenlegung der KI-Nutzung vorschreibt, wobei die Autoren die volle Verantwortung für die Korrektheit tragen. Taos strenge Regel: Wenn ein Autor die Arbeit nicht klar und fachkundig mündlich präsentieren kann, sollte sie nicht veröffentlicht werden. Tao gab selbst zu, KI zur Vorbereitung von Folien verwendet zu haben, und rief zu einem offenen Dialog innerhalb der Gemeinschaft auf.
Quelle: QbitAI 量子位 —
Original