Mathematiker fordern verifizierbare Beweise von KI-Laboren – OpenAI veröffentlicht 722 Artikel
Führende Mathematiker verlangen von KI-Entwicklern überprüfbare Beweise statt bloßer Blogbeiträge. OpenAI reagierte mit einem Repository, das 722 wissenschaftliche Artikel zu 372 Ergebnissen enthält.
Mathematiker haben führende KI-Labore dazu aufgerufen, echte, überprüfbare Beweise zu veröffentlichen, anstatt sich auf unüberprüfbare Blogartikel zu verlassen.
OpenAI reagierte auf diese Forderung mit der Veröffentlichung des Repositoriums openai/math. Dieses enthält 722 Artikel, die in 372 Ergebnisse gruppiert sind.
Laut dem Unternehmen wurden die Materialien von einem neuen, noch nicht öffentlich verfügbaren internen Modell erstellt. Da Standard-Mathematiktests für das Modell als zu einfach eingestuft wurden, erhielt es etwa 4.000 ungelöste Forschungsprobleme. Einige dieser Probleme hatten Mathematikern jahrzehntelang Widerstand geleistet.
Im Durchschnitt erforderte jedes Ergebnis etwa drei Stunden Rechenzeit. Das Modell formatierte seine Antworten im Stil wissenschaftlicher Artikel, wobei einige davon behaupten, sehr bekannte Probleme zu lösen.
Warum das wichtig ist
AnalyseDiese Initiative demonstriert das Potenzial von KI zur Generierung formalisierter mathematischer Artefakte, doch ohne offene und verifizierbare Beweise bleiben die Aussagen reine Behauptungen. Für die Forschungsgemeinschaft ist es entscheidend, dass KI-Labore Materialien bereitstellen, die einer unabhängigen Überprüfung standhalten können.
In der Community diskutieren
Teile deine Fragen und Erkenntnisse mit Entwicklern