OpenAI veröffentlicht 372 KI-generierte mathematische Beweise auf GitHub
decoder ·
OpenAI hat 372 mathematische Ergebnisse, die von einem internen KI-Modell generiert wurden, auf GitHub veröffentlicht, mit dem Ziel, offene Probleme wie jene im Zusammenhang mit der Riemannschen Vermutung zu lösen oder voranzubringen. Diese Beweise wurden hauptsächlich mit einem einzigen Prompt und Agenten erstellt, wobei jedes Ergebnis etwa drei Stunden Rechenleistung von ChatGPT Pro benötigte. Um den überwältigenden Umfang der Ausgabe zu bewältigen, der manuelle Überprüfungsprozesse belasten könnte, enthalten viele Beweise Formalisierungen in Lean für maschinenüberprüfbare Verifikationen. Das Unternehmen wählte GitHub gegenüber traditionellen peer-reviewed Zeitschriften aus, was signalisiert, dass die konventionelle akademische Veröffentlichung für dieses Tempo der Entdeckung zu langsam ist. Obwohl OpenAI eine Beratergruppe konsultierte, die auch Fields-Medaillengewinner umfasste, hatten die Mathematiker keinen Einfluss auf die Produktionsgeschwindigkeit oder -menge der Ergebnisse. Die Reaktionen innerhalb der mathematischen Gemeinschaft sind gespalten und reichen von Begeisterung bis hin zu Frustration über die Implikationen massenhaft produzierter Beweise. Kritiker, darunter 25 Fields-Medaillengewinner, warnen, dass sich die Fokussierung auf problemorientierte Outputs möglicherweise nachteilig auf das konzeptuelle Verständnis und echte Einsichten auswirkt. Daher gibt es Bedenken, dass die rasante Expansion der KI-generierten Literatur schließlich das menschliche Verständnis überholen könnte.
decoder