OpenAI meldet zehn mathematische Durchbrüche mit KI-Modell Astra
Ten advances in mathematics and theoretical computer science
OpenAI hat mit einem internen Modell namens Astra zehn seit Jahrzehnten offene Probleme aus Mathematik und theoretischer Informatik gelöst, darunter die Kugelpackungsdichte, binäre und sphärische Codes, nicht-sofische Gruppen, die Connes-Rigiditätsvermutung, arithmetische Schaltkreiskomplexität, Quanten-Parallelwiederholung, das nächste Vektorproblem, Ehrharts Volumenvermutung, mehrfarbige Ramsey-Zahlen und extremale Graphentheorie. Die Beweise wurden in Lean formalisiert und veröffentlicht.
Wir glauben, dass die Zuschreibung ehrlich widerspiegeln sollte, wie ein Ergebnis erzielt wurde: Die Behauptung einer menschlichen Autorenschaft für einen vollständig von einem KI-System generierten Beweis würde sowohl den Beitrag des Systems als auch die Natur echter menschlicher intellektueller Arbeit falsch darstellen.