Terence Tao stellt „Mathematik 2.0“ vor: Wie KI das mathematische Verständnis vertiefen statt ersetzen sollte

Terence Tao hält einen bedeutenden Vortrag am Caltech über Mathematik im Zeitalter der KI und veröffentlicht die Folien

Materialien zum Vortrag "Mathematik 2.0"

Tao nannte den Vortrag „Mathematik 2.0“, obwohl er ursprünglich im Mai plante, ihn unter dem Titel „Maschinell unterstützter Beweis“ zu präsentieren. Der Mathematiker selbst merkt an, dass sich der Inhalt aufgrund „jüngerer Ereignisse“ deutlich geändert habe.

Die zentrale Idee lautet: Die Mathematik basierte lange auf der Annahme, dass die Lösung eines offenen Problems extrem schwierig ist und nur selten gelingt. Um diese Annahme herum haben sich Institutionen, Karrieremechanismen und Traditionen entwickelt. In Wirklichkeit ist das Lösen von Problemen jedoch nur ein Proxy-Maßstab; das breitere Ziel der Wissenschaft ist die Exploration, das Finden neuer Probleme und das Verständnis, wie Lösungen in der realen Welt angewendet werden können.

Dieser Proxy-Maßstab funktionierte einst gut, weil Mathematiker durch das Lösen von Problemen Erfahrung und Verständnis ansammelten. Nun sagt Tao, dass eine weitere blinde Optimierung allein des Problemlösens „aktiv schädlich für die langfristige Gesundheit der Mathematik“ sei.

Wenn KI einfach Lösungen produziert, während sie den Menschen umgeht, sterilisiert sie das Umfeld um das Problem herum: Nicht ausprobierte Wege bleiben unversucht, der Zyklus wird nicht erneuerbar, das Verständnis akkumuliert nicht, und der Anteil der Lösungen, die „auf dem Papier funktionieren“, aber von dem abweichen, was die Welt tatsächlich braucht, wächst.

Tao bietet ein Gedankenexperiment an: Eine KI erfindet einen Cocktail, der alle Krebszellen abtötet, und dies wird sogar durch klinische Phase-III-Studien validiert. Würden Sie es injizieren lassen, ohne zu wissen, dass mindestens ein menschlicher Experte den Mechanismus versteht?

Als Lösung schlägt Tao vor, den Fokus vom „Zerstören“ offener Probleme darauf zu verlagern, KI zur Stärkung des menschlichen Verständnisses einzusetzen. Das ist es, was er „Mathematik 2.0“ nennt. KI kann den Fortschritt tatsächlich beschleunigen, wenn sie nach Erklärungen und neuen Prinzipien sucht und die Nachbarschaften von Hypothesen erkundet, anstatt bloß Beweise zu generieren. Dies ist ein riesiges, noch unerschlossenes Feld, und Tao sagt, dass die Hauptbeschränkung nicht mehr die Technologie, sondern die Vorstellungskraft sei.