OpenAI-KI löst über 300 Mathematikprobleme

OpenAI hat am 6. Oktober eine Reihe von mathematischen Forschungsergebnissen veröffentlicht, die von internen Frontier-Modellen generiert wurden. Das GitHub-Repository enthält 722 Manuskripte, die in 372 Ergebnis-Familien eingeteilt sind und Hauptschlussfolgerungen, begleitende Beweise, Korollare sowie alternative Beweise umfassen. OpenAI gibt an, dass diese Ergebnisse Hunderte offener Probleme betreffen, betont jedoch, dass ihr Verifizierungsgrad unterschiedlich ist und einige nicht in Lean formalisierte Ergebnisse weiterhin problematisch sein könnten. Diese Veröffentlichung erfolgt etwa einen Monat, nachdem OpenAI behauptet hat, das Navier-Stokes-Millennium-Preisproblem gelöst zu haben. Allerdings sollte diese Schlussfolgerung weiterhin als ein von OpenAI vorgeschlagener Lösungsansatz formuliert werden und nicht als ein endgültiges Ergebnis, das von der Mathematikgemeinschaft oder dem Clay Mathematics Institute offiziell anerkannt wurde. OpenAI hat außerdem einige Lean-Beweise, Reasoning-Zusammenfassungen für 10 Ergebnisse sowie Statistiken zum Rechenaufwand veröffentlicht und angekündigt, die formale Verifikation weiter zu ergänzen. Das relevante Material bietet eine Grundlage für eine unabhängige Überprüfung durch die Mathematikgemeinschaft, reicht jedoch nicht aus, um die Korrektheit aller Ergebnisse zu belegen, und es werden weder die spezifische Architektur der internen Modelle noch die Trainingsdaten oder der vollständige Reasoning-Prozess offengelegt. Der akademische Wert muss weiterhin durch langfristige Peer-Reviews geprüft werden.