OpenAI veröffentlicht 722 mathematische Abhandlungen nach Versuch, 4.000 offene Probleme zu lösen
OpenAI veröffentlicht 722 mathematische Abhandlungen nach Versuch, 4.000 offene Probleme zu lösen
Im Rahmen eines Versuchs, 4.000 offene mathematische Probleme mit einem unveröffentlichten Modell zu lösen, hat OpenAI 722 neue Fachartikel veröffentlicht.
OpenAI hat 722 mathematische Fachartikel als Ergebnis eines ehrgeizigen Projekts veröffentlicht, bei dem versucht wurde, 4.000 offene mathematische Probleme zu lösen. Für jedes Problem wurde ein unveröffentlichtes OpenAI-Modell im GPT-Pro-Modus für etwa drei Stunden eingesetzt.
Einige der Ergebnisse wurden bereits in der formalen Verifikationssprache Lean kodifiziert. OpenAI gibt an, dass die verbleibenden Beweise schrittweise ebenfalls formalisiert werden sollen.
Das gesamte Material ist im GitHub-Repository openai/math verfügbar – ein Name, der angesichts des Umfangs und der Ambition des Projekts kaum überrascht.
Warum das wichtig ist
AnalyseDiese Veröffentlichung demonstriert, wie KI-Systeme zunehmend im großen Maßstab auf offene mathematische Forschungsprobleme angewendet werden. Die Kombination aus generativer KI und formaler Verifikation durch Lean könnte dabei helfen, die Zuverlässigkeit und Überprüfbarkeit der maschinell erzeugten Ergebnisse signifikant zu erhöhen.
In der Community diskutieren
Teile deine Fragen und Erkenntnisse mit Entwicklern