Terence Tao: Die Mathematik tritt in das Zeitalter des Beweisüberflusses ein

Terence Tao: Math 2.0 [pdf]

Terence Tao beschreibt in seinen Caltech-Folien den Wandel von „Math 1.0“, geprägt von Beweisknappheit, zu „Math 2.0“, in dem KI viele offene Probleme löst. Da Beweise objektiv verifizierbar und digitalisierbar sind, eignen sie sich besonders für maschinelles Lernen. Doch blindes Optimieren auf Problemlösen schadet der Mathematik; nötig sind neue Ziele wie offene Exposition, formale Bibliotheken und das Verständnis der Lösungswege. Die größte Hürde ist nicht die Technik, sondern die Vorstellungskraft.