Ein internes KI-Modell von OpenAI hat zehn seit mindestens einem Jahrzehnt ungelöste mathematische Probleme geknackt – darunter offene Fragen aus Geometrie, Graphentheorie und Quantencomputing. Die Ergebnisse, die Anfang August 2026 veröffentlicht wurden, könnten die Mathematik grundlegend verändern.
Durchbruch bei Kugelpackungen und Gruppentheorie
Besonders spektakulär: Erstmals seit 1978 gelang eine Verbesserung der oberen Grenzen für die Dichte von Kugelpackungen. Das Modell „Astra“ etablierte einen neuen Exponenten von 0,6044 und übertraf damit die bisherige Cohn-Elkies-Schwelle. Klingt abstrakt? Ist es auch – aber die Frage, wie dicht sich Kugeln im Raum packen lassen, hat praktische Relevanz, etwa für Datenübertragung und Materialforschung.
In der Gruppentheorie lieferte Astra die erste explizite Konstruktion einer nicht-sofischen Gruppe – ein Problem, an dem Forscher seit mindestens 1999 arbeiteten. Zudem widerlegte das Modell offenbar die Connes-Rigiditätsvermutung, eine zentrale offene Frage in der Theorie der Operatoralgebren.
Auch der legendäre Mathematiker Paul Erdős hätte seine Freude gehabt: Astra löste die nach ihm benannten Probleme Nummer 146, 180 und 183. Letzteres betrifft eine superexponentielle untere Schranke für mehrfarbige Ramsey-Zahlen von Dreiecken.
Maschinengeprüfte Beweise
Damit die Ergebnisse Bestand haben, veröffentlichte OpenAI die Lösungen mit formalen Zertifikaten in der Programmiersprache Lean 4. Diese maschinell überprüfbaren Beweise enthalten keine offenen „sorry“-Ziele und stützen sich ausschließlich auf Standard-Axiome.
Das technische Paket umfasst:
– Ein 249-seitiges Manuskript mit den mathematischen Beweisen
– Eine 62-seitige Erläuterung der Argumentationskette des Modells
– Öffentlich zugängliche Lean-4-Dateien zur Überprüfung durch die Community
Allerdings: Die Ergebnisse wurden bisher nur von OpenAIs internen Systemen als „agent-reviewed“ eingestuft. Eine formelle Begutachtung durch die Mathematik-Community steht noch aus. Sebastien Bubeck, bei OpenAI für Forschung zuständig, bestätigte die Resultate über soziale Medien. Branchenbeobachter schätzen die reinen Rechenkosten für die Lösungen auf umgerechnet rund 2.000 Euro – ein Bruchteil dessen, was menschliche Forscherteams über Jahrzehnte investiert haben.
Wer sich mit dem technologischen Fortschritt von KI-Systemen befasst, muss auch die rechtlichen Rahmenbedingungen im Blick behalten. Dieser kostenlose Umsetzungsleitfaden bietet Unternehmen einen kompakten Überblick über alle Anforderungen und Fristen des EU AI Acts. EU AI Act in 5 Schritten verstehen: Fristen, Pflichten und Risikoklassen kompakt erklärt
Fortschritte in Informatik und Komplexitätstheorie
Auch in der theoretischen Informatik sorgt Astra für Aufsehen. Das Modell etablierte neue untere Schranken für die Schaltkreis-Komplexität der Permanenten – mit Grenzen von Ω(n² log log n) Gattern und Ω(n⁴/log n) für Formelblätter.
Weitere gemeldete Durchbrüche:
- Kürzester-Vektor-Problem (SVP): Ein Beweis der NP-Schwere der Approximation des nächsten Vektors mit einem Faktor von n^(1/400)
- Quantencomputing: Ein exponentielles Parallel-Wiederholungs-Theorem für alle endlichen Zwei-Spieler-Quantenspiele
- Ehrhart-Volumen-Vermutung: Ein formaler Beweis für die (n+1)^n/n!-Volumengrenze
- Extremale Graphentheorie: Gegenbeispiele zu zwei langjährigen Vermutungen über Graph-Kompaktheit und Degeneration
Während KI-Modelle immer komplexere Aufgaben lösen, stellen neue Regulierungen Unternehmen vor große Herausforderungen bei der Dokumentation. Erfahren Sie in diesem kostenlosen Report, welche KI-Systeme als Hochrisiko gelten und welche neuen Regeln Sie jetzt kennen müssen. Kostenlosen Umsetzungsleitfaden zum EU AI Act anfordern
Was bedeutet das für die Forschung?
OpenAI beschreibt Astra als eine Modellfamilie, die mehrere KI-Agenten koordinieren kann. Ein öffentlicher Release steht noch aus, ein offizielles Datum gibt es nicht. Branchenkenner spekulieren, dass Astra als Vorläufer künftiger Flaggschiff-Modelle wie GPT-5 oder GPT-6 dienen könnte. Anfang August demonstrierte OpenAI-CEO Sam Altman die Fähigkeiten des Modells offenbar US-Regierungsvertretern und Senatoren.
Parallel zur Mathe-Ankündigung startete OpenAI das Programm „ChatGPT for Academic Researchers“: 100.000 kostenlose Zugangskonten sollen Wissenschaftler dabei unterstützen, KI für fortgeschrittene Forschung zu nutzen. Doch trotz der beeindruckenden Dimensionen mahnen Teile der Forschungsgemeinschaft zur Vorsicht – bis menschliche Mathematiker die Beweise unabhängig verifiziert haben.
