Mathematik im Zeitalter der KI: Terence Taos öffentlicher Vortrag auf dem ICM 2026
Terence Taos Vortrag auf dem Internationalen Mathematikerkongress 2026 befasst sich damit, wie die mathematische Gemeinschaft auf die wachsenden Fähigkeiten der KI reagieren sollte. Er stellt eine „KI-Fähigkeitshypothese“ vor und schlägt eine Arbeitshypothese vor, dass KI-Werkzeuge bald einen erheblichen Teil der forschungsrelevanten mathematischen Aufgaben bewältigen werden. Tao argumentiert, dass die Gemeinschaft selbst dann, wenn diese Hypothese zutrifft, ihre Ziele und Werte sorgfältig überdenken muss, um das Goodhartsche Gesetz zu vermeiden.
Terence Tao hielt am 24. Juli 2026 auf dem Internationalen Mathematikerkongress einen öffentlichen Vortrag mit dem Titel „Mathematik im Zeitalter der Künstlichen Intelligenz“. Er zieht eine Parallele zur fundamentalen Krise des frühen 20. Jahrhunderts, die durch Russells Paradoxon und Gödels Unvollständigkeitssätze ausgelöst wurde, und deutet an, dass KI nun eine ähnliche Herausforderung darstellt. Tao formuliert eine „KI-Fähigkeitshypothese“ in einer schwachen und einer starken Form, konzentriert sich jedoch bewusst auf die orthogonale Frage nach Zielen und Werten. Er übernimmt als Arbeitshypothese, dass eine einigermaßen starke Version der KI-Fähigkeitshypothese zutrifft: KI-Werkzeuge werden bald in der Lage sein, einen angemessenen Anteil an mathematischen Forschungsaufgaben mit angemessenem Erfolg, angemessener Qualität, Kontrolle und Kosten durchzuführen. Unter dieser Annahme argumentiert er, dass die Gemeinschaft ihre wahren Ziele untersuchen muss – darunter die Lösung von Problemen, der Aufbau von Theorien, die Ausbildung und die Schaffung ästhetischer Werke – und warnt davor, dass eine Optimierung auf KI-erzeugte Lösungen die Gefahr birgt, diese Ziele auseinanderzutreiben. Er zitiert Ergebnisse der „First Proof“-Herausforderung (firstproof.org), bei der am 28. Mai 2026 sieben von zehn forschungsrelevanten Problemen von KI-Teams zu Kosten von 10 bis 1000 US-Dollar pro Problem gelöst wurden. Tao weist darauf hin, dass KI-erzeugte Beweise auf Websites wie „Erdős Problems“ Verifikationsbedenken aufwerfen, da menschliche Experten oft weder die Zeit noch die Qualifikation haben, sie zu validieren.
Quelle: Habr — хаб ML —
Original