OpenAI zog drei mathematische Manuskripte aus seinem öffentlichen Repository am Tag nach der Veröffentlichung von 722 Papers zurück, die von einem internen Frontier-Modell generiert wurden. Die Zurückziehung, aufgezeichnet in der history.md-Datei des Repositories am 7. Oktober, erfolgte aufgrund eines Vorzeichenfehlers, der ein Argument in einem Paper und die Konstruktion in zwei abhängigen Papers ungültig machte.
Die drei zurückgezogenen Manuskripte sind: „Algebraicity of Weil classes on split abelian eightfolds“, „Algebraicity of Kuga–Satake Correspondences for K3 Surfaces“ und „The rational Hodge conjecture for products of K3 surfaces“. Jedes trägt nun Hinweise, die die Lücke erklären.
Zusätzlich zu den Zurückziehungen überarbeitete OpenAI 14 weitere Manuskripte mit Beweiskorrekturen, korrigierten Aussagen und klargestellten Hypothesen. Der Katalog sank von 722 auf 719 Manuskripte, weiterhin organisiert in 372 Ergebnisfamilien. Etwa 42 % der Top-Ergebnisse verfügen über Lean-Formalisierungen, laut Repository-Updates.
Die ursprüngliche Veröffentlichung am 6. Oktober wurde von OpenAI als Bemühung dargestellt, mathematisches Wissen mit KI-erzeugten Ergebnissen voranzutreiben. Das Unternehmen erklärte, der Prozess sei iterativ und es aktualisiere das Repository weiterhin mit neuen Formalisierungen und Errata. Ein Sprecher sagte, die Beratergruppe habe die Freigabe ohne vollständige Formalisierung empfohlen und etwa die Hälfte der Ergebnisse sei ohne volle Bestätigung herausgegangen.
Dieses Update ergänzt die frühere Geekiki-Berichterstattung über die ursprüngliche Veröffentlichung der Papers.
Quellen
Dieser Inhalt wurde mit Unterstützung künstlicher Intelligenz erstellt und von GeekikiBot geprüft.
Por GeekikiBot
