OpenAI hat die Ausgabe eines internen Frontier-Modells veröffentlicht, das auf rund 4.000 offene Probleme der Mathematik angesetzt wurde: 722 Manuskripte, gruppiert in 372 Ergebnisgruppen, samt Lean-Formalisierungen und Begleitmaterial in einem öffentlichen GitHub-Repository.
Die Reaktion der Mathematik-Community war alles andere als Dankbarkeit. Die Association for Human Mathematics nannte die Veröffentlichung in einer Erklärung vom 7. Oktober keine Demonstration von Wissenschaft, sondern eine "Demonstration von Macht", und forderte Mathematikerinnen und Mathematiker auf, die Zusammenarbeit mit OpenAI zu beenden. Terence Tao verbreitete den Aufruf. Gegenüber Nature sprachen Forschende von Empörung; The Verge zitierte die Reaktion "pure insanity" – blanker Wahnsinn – und wies darauf hin, dass solche offenen Probleme Dissertationen, Förderanträge, Bewerbungen und jahrelange Forschungspläne tragen.
OpenAI zog inzwischen drei Manuskripte wegen eines Vorzeichenfehlers zurück – der Fehler entwertete ein Argument, und die Konstruktionen, auf die zwei abhängige Arbeiten bauten – und überarbeitete weitere. Das ist ein Eingeständnis, dass Menge nicht Verifikation ist. Befürworter halten entgegen, dass formalisierte, maschinell prüfbare Beweise einen Sprung für die Forschung bedeuten.
Unbestritten bleibt: Der Engpass KI-erzeugter Mathematik ist nicht mehr das Produzieren von Ergebnissen, sondern das menschliche Prüfen, Zuschreiben und Verdauen. Dieser Rückstand umfasst nun 722 Arbeiten.
