Märkte
OpenAI zieht drei KI-generierte Mathematik-Papiere nach Fehler im Beweis zurück
OpenAI veröffentlichte am 6. Oktober 2026 insgesamt 722 KI-generierte Mathematik-Papiere, doch bereits am 7. Oktober wurden drei davon zurückgezogen. Der Rückzug erfolgte aufgrund der Entdeckung eines Fehler im Vorzeichen eines Beweises, der zentrale Argumente in zwei verwandten Manuskripten untergrub.
Die ursprüngliche Veröffentlichung, die im GitHub-Repository von OpenAI gehostet wurde, umfasste Papiere, die in 372 Ergebnisfamilien gruppiert waren und etwa 4.000 ungelöste Probleme in der Mathematik behandelten. Dabei wurden Fortschritte bei mehreren langjährigen Vermutungen, einschließlich einiger Millenniumspreis-Probleme, behauptet. Jedes Ergebnis benötigte Berichten zufolge etwa drei Stunden Rechenzeit.
Der fehlerhafte Beweis stammte aus der algebraischen Geometrie, wo ein einzelner Fehler im Vorzeichen ein ganzes logisches Argument ungültig machen kann. Nach den Rückzügen enthält das korrigierte Verzeichnis nun 719 Papiere. OpenAI stellte klar, dass die mathematischen Behauptungen selbst nicht widerlegt wurden.
Von den verbleibenden Papieren wurden 300 formal mit Lean verifiziert, einem Beweisassistenten, der Beweise Schritt für Schritt überprüft, was etwa 42 % der Gesamtheit ausmacht. Kritiker äußerten Bedenken hinsichtlich der proprietären Natur des Modells, das zur Generierung dieser Papiere verwendet wurde, da es die Möglichkeit für externe Forscher einschränkt, die Ergebnisse zu überprüfen oder zu reproduzieren.
Dieser Vorfall stellt einen weiteren Konfliktpunkt zwischen OpenAI und der Mathematik-Community dar, nach früheren Kontroversen, einschließlich des Rückzugs eines Sponsoring von 1 Million Dollar für einen KI-Mathematikwettbewerb an der Caltech nach Kritik von Mathematikern.
FAQ
Was hat den Rückzug von drei KI-generierten Mathematikpapieren durch OpenAI ausgelöst?
Der Rückzug wurde durch die Entdeckung eines Vorzeichenfehlers in einem Beweis ausgelöst, der die wesentlichen Argumente in zwei verwandten Manuskripten untergrub.
Wie viele KI-generierte Mathematikpapiere hat OpenAI ursprünglich veröffentlicht?
OpenAI hat ursprünglich 722 KI-generierte Mathematikpapiere veröffentlicht.
Welcher Prozentsatz der verbleibenden Papiere wurde formell verifiziert?
Von den verbleibenden Papieren wurden 300 formell verifiziert, was etwa 42 % des Gesamtvolumens entspricht.
Was ist Lean und wie steht es im Zusammenhang mit der Verifizierung der Papiere?
Lean ist ein Beweisassistent, der Beweise Schritt für Schritt überprüft, und wurde verwendet, um 300 der verbleibenden KI-generierten Mathematikpapiere formell zu verifizieren.
Welche Bedenken haben Kritiker hinsichtlich der KI-generierten Mathematikpapiere geäußert?
Kritiker haben Bedenken hinsichtlich der proprietären Natur des Modells geäußert, das zur Erstellung dieser Papiere verwendet wurde, was die Möglichkeit für externe Forscher einschränkt, die Ergebnisse zu überprüfen oder zu reproduzieren.