Am 6. Oktober 2026 veröffentlichte das US-amerikanische Unternehmen OpenAI auf der Plattform GitHub eine Serie von 722 mathematischen Manuskripten und Manuskriptvarianten, die Lösungen für hunderte langjährig ungelöste Probleme der Mathematik beschreiben und in der wissenschaftlichen Fachwelt eine intensive Debatte über die Validierung und Zukunft der Forschung auslösten.
Die Veröffentlichung umfasste ursprünglich 722 Manuskripte, die in 372 Ergebnisgruppen zusammengefasst wurden. Nach der Entdeckung fehlender formaler Beweise zog OpenAI drei Arbeiten zurück, wodurch sich die Gesamtzahl auf 719 verringerte. Ein Änderungsprotokoll vom 7. Oktober 2026 wies zudem die Korrektur eines Vorzeichenfehlers in der algebraischen Geometrie sowie die Überarbeitung von 14 weiteren Manuskripten aus.
Reaktionen und Debatte in der mathematischen Gemeinschaft
Foto: Der Standard
Die Reaktionen unter Fachleuten reichten von Faszination bis hin zu tiefem Unbehagen. Eine auf der Plattform Proofs and Prompts geführte Sammlung erfasste über 100 weltweite Stellungnahmen, in denen von Schock und existenzellen Ängsten die Rede war.
Es ist, als hätte mich ein Lastwagen überrollt; alle Probleme (und damit Forschungsansätze), die ich in Vorträgen, Artikeln und Förderanträgen erwähnt habe, sind gelöst worden.
Kritik an der wissenschaftlichen Überprüfbarkeit und den Arbeitsmethoden
Kritische Stimmen aus der Forschung bemängeln vor allem das Fehlen klassischer Begutachtungsverfahren. Für keine der 372 Resultatfamilien lag nach der Veröffentlichung ein abgeschlossenes Peer-Review-Verfahren vor. ETH-Postdoktorand Tim Gehrunger merkte an, dass die Manuskripte zwar fachlich beachtliche Fortschritte enthielten, jedoch nicht den üblichen wissenschaftlichen Standards entsprachen: Es würden relevante Vorarbeiten nicht zitiert, und die Texte seien für Menschen schwer lesbar.
Hugo Duminil-Copin
Die Schweizer Zeitung NZZ berichtete zudem über einen offenen Brief von Kritikern, die dem Unternehmen in einem offenen Brief vorgeworfen hatten, die KI-generierten Beweise ließen sich nicht nachvollziehen und trügen deshalb wenig zum Erkenntnisgewinn bei. Open AI erwähnte in seinem Blogbeitrag explizit die Zusammenarbeit mit der Advisory Group on Mathematics and Artificial Intelligence, welche empfiehlt, jene Arbeiten zu zitieren, auf denen ein KI-generierter Beweis aufbaut, und mathematische Forschungsergebnisse nicht als Werbemittel für Modelle einzusetzen.
Auswirkungen auf Forschung und digitale Sicherheit
Foto: detektor.fm
Neben den rein mathematischen Fragen warnten Experten auch vor weitreichenden Folgen für die Cybersicherheit. Beobachter wie Ethereum-Forscher Justin Drake und andere Stimmen aus der Blockchain-Branche wiesen darauf hin, dass die Fähigkeit von KI-Systemen, komplexe mathematische Algorithmen in Rekordzeit zu knacken, die Grundlagen moderner Verschlüsselungsmethoden gefährden könnte. Sichere Messaging-Dienste, Webbrowser und Online-Banking stützten sich auf mathematische Schwierigkeiten, die durch automatisierte Superintelligenz künftig schneller unter Druck geraten könnten.
Zusätzlich kündigte OpenAI an, Veranstaltungen zur Aufarbeitung und zum Verständnis der maschinell erzielten Ergebnisse finanziell zu unterstützen. Unabhängige Wissenschaftler betonen jedoch, dass die Durchsicht und Verifikation der enormen Datenmenge Jahre in Anspruch nehmen wird.
Clara Vogt verantwortet das Ressort Technik und Wissenschaft. Sie schreibt ueber KI, Digitalisierung, Forschung und Innovation und uebersetzt komplexe Entwicklungen in klaren, belastbaren Journalismus.
Alle Beiträge erscheinen nach redaktioneller Prüfung gemäß unseren Redaktionsrichtlinien.
