OpenAI veröffentlicht 722 mathematische Manuskripte
OpenAI releases 722 math manuscripts
OpenAI hat eine Sammlung von 722 Manuskripten veröffentlicht, die 372 Resultatfamilien abdecken. Die Arbeiten behandeln bedeutende Durchbrüche in der Zahlentheorie und arithmetischen Geometrie, darunter die Lösung von Hilberts zehntem Problem über den rationalen Zahlen, die Irrationalität der Catalanschen Konstante, die quasi-Riemannsche Hypothese und die Deligne-Drinfeld-Vermutung. Viele Ergebnisse sind formal in Lean verifiziert.
Wir geben eine negative Antwort auf Hilberts zehntes Problem über den rationalen Zahlen: Kein Algorithmus entscheidet, ob ein Polynom mit ganzzahligen Koeffizienten eine rationale Nullstelle hat.