OpenAIs Massenveröffentlichung mathematischer Arbeiten löst Karriereängste unter akademischen Mathematikern aus

Am Abend des 6. Oktober 2026 eröffnete OpenAI ein öffentliches Archiv mit 722 mathematischen Manuskripten, in 372 Problemfamilien gruppiert, die von einem noch nicht veröffentlichten internen Modell erstellt wurden, wie das Technologie-Medium Unite.AI berichtete. Das Unternehmen sagte, es habe das System mit etwa 4.000 offenen Problemen getestet und veröffentlichte nur die Teilmenge, die es für veröffentlichungswürdig hielt und die Algebra, Zahlentheorie, Topologie, theoretische Informatik und mathematische Logik umfasste.

Was OpenAI veröffentlichte

Unite.AI berichtete, dass das Training des internen Modells am 28. August 2026 begann, wobei die Evaluationserkenntnis am 1. September gestartet wurde. Das Modell produzierte dem Bericht nach einen in Lean formalisierten Beweis zu der Navier-Stokes-Singularitätsfrage – eines der sieben Millenniumspreis-Probleme des Clay Mathematics Institute – um den 5. September herum, wobei OpenAI das Ergebnis am 8. September öffentlich ankündigte. Das Unternehmen sagte, es werde den zugehörigen 1-Million-Dollar-Preis nicht anfordern. Fortune berichtete, dass OpenAI auch Fortschritte auf drei anderen Millenniumspreis-Problemen in der Veröffentlichung vom 6. Oktober ohne vollständige Lösung behauptete.

Nicht jedes Manuskript kam mit maschinell überprüfter Verifizierung. Unite.AI bemerkte, dass viele, aber nicht alle Arbeiten Formalisierungen im Lean-Beweisassistenten einschlossen, der jeden logischen Schritt automatisch überprüft; nicht formalisierte Ergebnisse tragen ein höheres Risiko versteckter Fehler. Fortune berichtete, dass OpenAI bereits drei der veröffentlichten Lösungen bis zum 8. Oktober zurückgezogen hatte, nachdem Fehler gefunden worden waren.

Ein Fields-Medaillenträger sagt, er habe geweint

Die Veröffentlichung traf einige Forscher persönlich. Das französische Medium SenePlus berichtete, dass Hugo Duminil-Copin, der 2022 die Fields-Medaille für Arbeiten zu Phasenübergängen in der statistischen Physik erhielt, feststellte, dass 16 seiner eigenen offenen Forschungsfragen unter den Problemen waren, die OpenAI angab bearbeitet zu haben, und sagte, das Unternehmen habe diese Forschungslinie effektiv beendet. Er sagte, er habe in der Nacht von Dienstag, 6. Oktober bis 7. Oktober geweint, bis zu dem Punkt, dass er seine Tochter aufweckte.

Nach SenePlus argumentierte Duminil-Copin während einer von der Französischen Mathematischen Gesellschaft am 8. Oktober organisierten Videokonferenz, dass das Ziel eines Forschers nicht nur darin besteht, Theoreme zu beweisen, sondern Verständnis für andere Menschen zu schaffen. Er sagte, er mache sich Sorgen um Nachwuchsmathematiker, von denen er befürchtete, dass sie am meisten betroffen wären, wenn die informelle Kultur des Austauschs von Ideen und Teilergebnissen unter Kollegen zusammenbricht, wenn Mathematiker anfangen, Arbeiten aus Wettbewerbsdruck zu mit zurückzuhalten.

Mathematiker drücken Widerstand aus

Die Veröffentlichung führte zu einer Stellungnahme des Verbands für Menschliche Mathematik (AHM), einer Gruppe, deren Kommunikations-Arbeitsgruppe sie am 7. Oktober als Gasteintrag auf dem Blog des Mathematikers Terence Tao veröffentlichte. Die Stellungnahme sagte, Mathematiker hätten diese Arbeitenmenge nicht angefordert und OpenAI hätte frühere Anleitungen der Beratungsgruppe für Mathematik und Künstliche Intelligenz ignoriert, einem unabhängigen Gremium das berät, wie KI-Unternehmen mathematische Ansprüche testen und veröffentlichen sollten, laut der AHM-Stellungnahme. Die Stellungnahme beschrieb die Veröffentlichung von mehr als 700 Dateien auf einmal als Widerspiegelung des Umfangs von OpenAIs Ressourcen statt sorgfältiger wissenschaftlicher Überprüfung.

Fortune berichtete, dass Terence Tao, schreibend auf Mastodon, sagte, die Episode markiere das Ende von dem, was er Mathe 1.0 nannte, argumentierend dass Probleme zunehmend von KI-Benutzern gelöst werden, die kein Interesse am breiteren Feld selbst haben und dass die Disziplin mehr Wert auf Darstellung und Gemeinschaftsaufbau legen sollte statt allein auf Problemlösung. Der Mathematiker der New York University, Tristan Buckmaster, der zuvor Bedenken zur Navier-Stokes-Arbeit geäußert hatte, sagte gegenüber der New York Times, wie von Fortune zitiert, dass er vermutete, einige der veröffentlichten Ergebnisse erweiterten frühere Arbeiten anderer Mathematiker zu Abschluss ohne angemessene Gutschreibung.

Der Mathematiker der Columbia University, Peter Woit, der auf seinem Blog Not Even Wrong schreibt, beschrieb die Veröffentlichung als schlecht organisiert und sagte, OpenAI habe die Empfehlungen der Beratungsgruppe ignoriert, bevor es die Verantwortung für die Sortierung der Ergebnisse auf die Mathematikgemeinschaft selbst abwälzte. Woit identifizierte das System hinter den Arbeiten als ein Modell, das er 'Astra' nannte. Kommentatoren auf seinem Beitrag sagten, viele der KI-generierten Beweise seien technisch dicht, boten aber wenig mathematische Intuition oder neues theoretisches Verständnis, auch wenn sie korrekt waren.

Kein neuer Kampf

Die Reibung zwischen OpenAI und Mathematikern ist älter als die Veröffentlichung vom Oktober. TechCrunch berichtete, dass OpenAI Vizepräsident Kevin Weil im Oktober 2025 eine Behauptung postete – und später löschte – dass GPT-5 Lösungen zu 10 zuvor ungelösten Erdős-Problemen gefunden hatte und Fortschritte bei 11 anderen machte. Thomas Bloom, der die öffentliche Erdős-Probleme-Datenbank verwaltet, sagte, der Rahmen war höchst irreführend, erklärend dass Probleme, die auf seiner Website als 'offen' markiert sind, einfach bedeuteten, dass er sich einer veröffentlichten Lösung nicht bewusst war, nicht dass keine existierte; er sagte, GPT-5 habe bestehende Referenzen lokalisiert, die er übersehen hatte. OpenAI-Forscher Sebastien Bubeck bestätigte später, dass das Modell lediglich bestehende Lösungen in der veröffentlichten Literatur lokalisiert hatte statt neue zu entdecken, obwohl er sagte, dies hätte immer noch Wert.

Befürworter sagen, das Feld kann sich anpassen

Nicht jeder Mathematiker behandelte die Veröffentlichung als Krise. Fortune zitierte den Mathematiker der Universität von Toronto, Dan Litt, der sagte, er halte die Entwicklung insgesamt für positive für die Mathematik, während er warnte, dass die Gesellschaft weiterhin Menschenmathematiker finanzieren muss, damit das Feld nicht die institutionelle Unterstützung verliert als Folge. Litt bemerkte auch, dass OpenAI nicht genug Mathematiker beschäftigt, um alle seine Ergebnisse als herkömmliche Arbeiten zu verfassen, was er sagte helfe zu erklären, ohne zu entschuldigen, die Skala und Geschwindigkeit der Veröffentlichung.

• 722 KI-generierte Manuskripte über 372 Problemfamilien wurden am 6. Oktober 2026 veröffentlicht (Unite.AI).
• OpenAI testete das Modell auf etwa 4.000 offene Probleme, bevor die ausgewählte Teilmenge veröffentlicht wurde (Unite.AI).
• Mindestens drei veröffentlichte Ergebnisse wurden bis zum 8. Oktober zurückgezogen, nachdem Fehler gefunden wurden (Fortune).
• Fields-Medaillenträger Hugo Duminil-Copin sagte, 16 seiner eigenen offenen Fragen waren unter den behandelten Problemen (SenePlus).
• Der Verband für Menschliche Mathematik forderte Mathematiker auf, die Zusammenarbeit mit OpenAI zu beenden (Blog von Terence Tao).