OpenAIs 722 KI-generierte Mathematik-Papers spalten Mathematiker zwischen Bewunderung und Sorge

Was OpenAI veröffentlicht hat und wann

Am 6. Oktober 2026 veröffentlichte OpenAI 722 Manuskripte auf GitHub, organisiert in 372 Familien verwandter Ergebnisse, alle produziert von einem internen Modell, das das Unternehmen noch nicht öffentlich freigegeben hat, laut xenospectrum.com und dem KI-fokussierten Newsletter Latent.space. Das Unternehmen sagte, das Modell sei auf etwa 4.000 mathematische Probleme angesetzt worden, wobei das durchschnittliche akzeptierte Ergebnis das Rechenäquivalent von etwa drei Stunden ChatGPT Pro Reasoning-Zeit kostete, berichtete Latent.space.

Ein Manuskript befasst sich mit dem, was Forscher die "Quasi-Riemann-Hypothese" nennen: eine Behauptung, dass keine Nullstellen bestimmter Dirichlet-L-Funktionen existieren, wo der Realteil 7/8 übersteigt. Xenospectrum.com merkte an, dass dies nicht die eigentliche Riemann-Hypothese löst, die sich mit Nullstellen bei Realteil genau 1/2 befasst und ein ungelöstes Clay Mathematics Institute Millennium Prize Problem bleibt.

Lob und Alarm unter Mathematikern

Die Reaktionen waren gespalten. Der Mathematiker Levent Alpöge, von Latent.space als mit Anthropic verbunden beschrieben, nannte die Veröffentlichung "offensichtlich den bedeutendsten Moment in der mathematischen Geschichte." The Conversation berichtete, dass andere Mathematiker weit weniger begeistert waren: ein Rezensent nannte einen Teil des Satzes einen "großen Haufen Müll auf unserer Türschwelle", und ein hochrangiger Mathematiker sagte, ein Paper war so unverständlich, dass es direkt in den Papierkorb gewandert wäre, hätte es auf traditionelle Weise bei einer Zeitschrift eingereicht worden.

The Conversation berichtete auch, dass ChatGPT selbst mindestens eines der Ergebnisse in dem Satz als "ernstzunehmende Halluzination" gekennzeichnet hat, und dass mehrere Papers später zurückgezogen oder geändert wurden, nachdem Fehler gefunden wurden.

Die Verifikationslücke

Die Berichte über den Umfang der tatsächlich maschinengestützten Überprüfung unterscheiden sich. Xenospectrum.com, das OpenAIs eigenen Formalisierungskatalog vom 7. Oktober verfolgt, zählte 162 der 722 Manuskripte – etwa 22,4 Prozent – mit Ergebnissen, die in der Beweisverifikationssprache Lean formalisiert sind. The Conversation hingegen berichtete, dass OpenAI 300 Hauptergebnisse mit Lean-ähnlicher Software formalisiert hatte. Xenospectrum.com fügte hinzu, dass selbst eine abgeschlossene Lean-Formalisierung nur die logischen Schritte eines Beweises bestätigt, nicht dass jede erklärende Behauptung in einem Paper unabhängig überprüft wurde.

Tech-insider.org berichtete, dass eine Beratungsgruppe unter Beteiligung von Fields-Medaillist Terence Tao gegründet wurde, um zu helfen, wie OpenAIs Ergebnisse der Öffentlichkeit zugänglich gemacht werden, aber dass die Rolle der Gruppe explizit darin bestand, zur Veröffentlichung zu beraten, nicht unabhängig zu überprüfen, ob die Ergebnisse korrekt sind. Das gleiche Outlet zitierte eine Behauptung vom September, dass OpenAIs Modell, mit etwa 10.000 KI-Agenten, die etwa 88 Stunden arbeiteten, einen Beweis zum Navier-Stokes-Existenz- und Glättungsproblem erbracht hat – ein weiteres Millennium-Prize-Problem –, das das Clay Mathematics Institute immer noch als aktiv auflistet, nicht als gelöst, was bedeutet, dass keine unabhängige Überprüfung abgeschlossen wurde.

Worüber Mathematiker noch streiten

Über die Korrektheit hinaus berichtete tech-insider.org von Bedenken, dass OpenAIs Publish-First-Verify-Later-Ansatz umgekehrt, wie Mathematik traditionell funktioniert hat, und die Bürde der langsamen, adversativen Peer Review auf eine Mathematik-Community verlagert, die bereits überlastet ist. The Conversation berichtete von zusätzlichem Unbehagen über angebliche Datenmissbrauch im Zusammenhang mit der früheren Navier-Stokes-Behauptung, aufgeworfen von Mathematikern Tristan Buckmaster und Levent Alpöge – Vorwürfe, die OpenAI bestritten hat – sowie breiterer Besorgnis im Feld über Forschung, die von KI-Systemen "geplündert" wird, und über was das Wachstum solcher Werkzeuge für Mathematik als Karriere bedeutet.