Wie einst nach Gödel: Terence Tao sieht die Mathematik vor einer neuen Grundlagenkrise

Terence Tao warnt in einem neuen Essay, dass KI die Mathematik in eine Krise stürzen könnte, vergleichbar mit der Grundlagenerschütterung um 1900. Nicht mathematische Wahrheit stehe auf dem Prüfstand, sondern die Werte des Fachs: was als Beitrag gilt, was belohnt wird, wer die Arbeit geleistet hat. Seine Faustregel: Ein Beweis, den kein Mensch erklären kann, sei als unvollständig zu betrachten.…