OpenAIs Astra-Modell löst zehn offene mathematische Probleme
OpenAI erklärt, eine interne Version von Astra, seiner nächsten großen Modellfamilie, habe zehn neue Ergebnisse produziert — von Kugelpackungen über Codierungstheorie, Gruppentheorie, Quantenkomplexität und Gitter-Kryptografie bis zu extremaler Kombinatorik — für Token im Wert von rund 2.000 USD zu den API-Preisen von GPT-5.6 Sol. OpenAI veröffentlicht die Manuskripte, formale Lean-Zertifikate und Reasoning-Durchgänge, damit Mathematiker die Arbeit verifizieren und darauf aufbauen können.
Warum das wichtig ist
OpenAI stellt das als Beleg dar, dass Modelle inzwischen tatsächlich neues mathematisches Wissen erzeugen können, statt nur bekannte Probleme schneller zu lösen — eine Behauptung, ernst genug, dass externe Mathematiker Teile davon bereits infrage stellen.