Vor drei Jahren konnte KI nicht zwei Zahlen addieren. Vor einem Jahr erreichten Modelle von Open AI und Deep Mind Goldmedaillen-Niveau bei der IMO. Jetzt lösen sie autonom große offene Fragen. Dieser Trend wird sich wahrscheinlich fortsetzen und erfordert ein radikales Umdenken in der Mathematik.

Ein Vortrag mit dem Titel Das Ende der Mathematik warnte vor einer düsteren Zukunft, in der KI übermenschlich ist, aber Institutionen das menschliche Verständnis blockieren. Ich glaube, wir können dies vermeiden, wenn sich die akademische Mathematik anpasst.

Es gibt keinen Konsens über die Ziele: Probleme lösen, spielen, das platonische Reich durchdringen oder die Liebe zur Mathematik vermitteln. Meine Antworten: hochwertige Mathematik produzieren und verstehen und hochwertige Mathematiker hervorbringen.

Wir operationalisieren Ziele durch das Beweisen von Theoremen. Aber wenn das das Ziel wäre, wäre es trivial, es zu automatisieren—ein Computer könnte ZFC-Beweise aufzählen. Das Ziel ist nicht das Beweisen von Theoremen; es ist das Verstehen.

Schlüsselentitäten: Unternehmen: Open AI, Deep Mind