Am 8. September 2026 gab Open AI eine von KI generierte Lösung für das Navier–Stokes-Existenz- und Glätteigkeitsproblem bekannt, eines der sieben Millennium-Probleme. Die Ankündigung löste eine Debatte über die Creditzuweisung zwischen Menschen und Maschinen aus, wobei Tristan Buckmaster es einen "Deep Blue–Kasparov-Moment" nannte. Es entstanden existenzielle Fragen, ob Mathematik kurz davor steht, wie Schach und Go "gelöst" zu werden.

Die Narrative, dass KI die Mathematik "gelöst" habe, basiert auf zwei fehlerhaften Annahmen: erstens, dass KI wirklich ein mathematisches Problem gelöst habe, und zweitens, dass Mathematik nur darum geht, Probleme zu lösen. Nur eine Antwort bereitzustellen—auch wenn sie formal zertifiziert ist— reicht nicht aus, ohne ein verständliches Beweis, das menschliche Mathematiker verstehen und darauf aufbauen können.

Mathematik ist viel mehr als Problemlösung. Mathematiker entwickeln neue Konzepte, stellen neue Fragen, vereinen Gebiete, bilden Gemeinschaften aus und schaffen Werke, die für ihre Schönheit und Tiefe geschätzt werden. Statt sich zurückzuziehen auf "weiterzuspielen", sollten wir die Charakterisierung der Mathematik als Spiel ablehnen und stattdessen untersuchen, was Mathematik wirklich ist und was wir daraus machen wollen.

Open AI produzierte eine Antwort—ja, Navier–Stokes kann eine Singularität entwickeln—zusammen mit einer Lean-Formalisierung und einem informellen Manuskript. Obwohl mehr als Deep Thoughts "42", bleibt es unbefriedigend, da Beweise selbst multiple Konzepte haben und das grundlegende Verständnis unvollständig bleibt.

Wichtige Entitäten: Unternehmen: Open AI | Personen: Silvia De Toffoli, Eamon Duede, Tristan Buckmaster, C. Thi Nguyen | Orte: University School for Advanced Studies IUSS Pavia, Princeton University, Purdue University