OpenAI löst zehn mathematische Jahrzehnt-Probleme mit KI-Modell
Veröffentlicht am: 05.08.2026 um 08:42 Uhr | Redaktion boerse-global.de
OpenAI hat mit einem internen KI-Modell zehn bedeutende offene Probleme aus Mathematik und theoretischer Informatik gelöst – darunter Fragestellungen, an denen Forscher seit Jahrzehnten scheiterten.
Die Ergebnisse, die das Unternehmen am Dienstag in einem 249-seitigen Manuskript veröffentlichte, markieren einen möglichen Wendepunkt für den Einsatz künstlicher Intelligenz in der Grundlagenforschung. Erstmals gelang einer KI der Nachweis völlig neuer mathematischer Erkenntnisse – maschinell verifiziert und ohne menschliche Beweisführung.
Durchbruch bei jahrzehntealten Problemen
Die Forschungsergebnisse decken ein breites Spektrum ab: von Geometrie über Gruppentheorie bis hin zur Quantenkomplexität. Besonders bemerkenswert ist die Konstruktion der ersten nicht-sofischen Gruppe – ein Problem, das seit 1999 ungelöst war. Zudem widerlegte das Modell die Connes-Rigiditätsvermutung aus dem Jahr 1980 und lieferte die erste Verbesserung der Obergrenzen für Kugelpackungsdichten seit 1978.
Im Bereich der Kombinatorik knackte die KI gleich drei Probleme aus dem Katalog des legendären Mathematikers Paul Erd?s. Dazu gehören eine superexponentielle Untergrenze für mehrfarbige Ramsey-Zahlen sowie die Widerlegung von Erd?s' Kompaktheits- und Degenerationsvermutungen. Bereits Anfang des Jahres hatte ein separates Modell die Erd?s'sche Einheitsdistanz-Vermutung widerlegt.
Formale Verifikation: Kein Platz für „sorry“
Ein entscheidender Unterschied zu früheren KI-Ergebnissen: OpenAI lieferte für alle Befunde formale Beweise mit dem Theorembeweiser Lean 4. Die veröffentlichten Beweise enthalten demnach keinerlei „sorry“-Platzhalter – ein Zeichen dafür, dass die Argumentation vollständig formalisiert und maschinell geprüft wurde. Die Dokumentation umfasst zudem detaillierte Erläuterungen der Denkwege, die „Astra“ zu seinen Schlussfolgerungen führten.
Während KI-Modelle wie „Astra“ neue Horizonte in der Wissenschaft eröffnen, bringen sie auch komplexe regulatorische Fragen für die Wirtschaft mit sich. Dieser kostenlose Report klärt auf, welche rechtlichen Pflichten und Bedrohungen Unternehmer jetzt im Zuge neuer KI-Gesetze kennen müssen. Neue KI-Gesetze und Cyberrisiken verstehen
Die Rechenkosten für die Beweise beliefen sich auf umgerechnet rund 1.800 Euro an Token-Nutzung – ein Bruchteil dessen, was menschliche Forscherteams für vergleichbare Durchbrüche benötigen würden. Das Modell selbst bleibt vorerst intern, Branchenbeobachter gehen jedoch davon aus, dass es die Grundlage für kommende Versionen der Flaggschiff-Modelle von OpenAI bilden könnte.
Fachwelt reagiert gespalten
Die Ankündigung sorgt in der globalen Mathematik-Community für Aufsehen. Fields-Medaillen-Träger Tim Gowers empfahl die Veröffentlichung der Ergebnisse in führenden Fachzeitschriften und verfasste selbst ein Begleitpapier zu den Implikationen der Forschung. Trotz der maschinellen Verifikation betonen Experten, dass eine traditionelle Peer-Review noch aussteht, um die theoretische Bedeutung der Arbeit abschließend zu bestätigen.
Die Nachricht fällt mit einem personellen Wechsel zusammen: Jacob Tsimerman, ebenfalls Fields-Medaillen-Träger, wechselt zu OpenAI, um an KI-Sicherheitsinitiativen zu arbeiten. Während einige Forscher wie Yu Deng die KI als mächtiges Werkzeug für die mathematische Forschung sehen, warnen andere vor den Folgen für Förderung und Ausbildung in einem Feld, in dem Maschinen den Menschen bald überflügeln könnten.
Der technologische Fortschritt durch KI bietet enorme Chancen, vergrößert aber gleichzeitig die Angriffsfläche für digitale Bedrohungen in Unternehmen. Experten erklären in diesem kostenlosen E-Book, wie Sie Sicherheitslücken schließen und Ihr Unternehmen proaktiv absichern. Gratis Cyber-Security-Checkliste sichern
Relevanz für Informatik und Kryptografie
Die Ergebnisse von „Astra“ reichen bis in die theoretische Informatik hinein – insbesondere bei der Härte des Closest-Vector-Problems (CVP), das für moderne Kryptografie von zentraler Bedeutung ist. Auch Verbesserungen bei binären und sphärischen Codes gelangen dem Modell. In der Quanteninformation bewies die KI den exponentiellen Parallel-Wiederholungs-Satz für alle endlichen Zwei-Spieler-Quantenspiele.
Neue Untergrenzen für die arithmetische Schaltkreis-Komplexität von Permanenten runden das Ergebnisportfolio ab. Experten des Forschungszentrums CiTIUS merken an, dass die Verifikationswerkzeuge zwar die Korrektheit der Ergebnisse bestätigen, OpenAI jedoch offenließ, wie viele fehlgeschlagene Versuche und welche Infrastrukturkosten hinter den zehn erfolgreichen Resultaten stecken.
