Künstliche Intelligenz hat erstmals eine Reihe seit Jahrzehnten ungelöster mathematischer Probleme geknackt. Die Ergebnisse könnten die Forschung grundlegend verändern – doch Fachleute mahnen zur Vorsicht.
Die beiden führenden KI-Labore OpenAI und Anthropic haben diese Woche mit technischen Enthüllungen für Aufsehen gesorgt: Ihre Modelle lösten komplexe mathematische Probleme, an denen Generationen von Forschern gescheitert waren. OpenAI meldete Erfolge bei zehn seit mindestens einem Jahrzehnt offenen Fragestellungen, Anthropic gab kurz darauf bekannt, mehrere derselben Herausforderungen ebenfalls gemeistert zu haben. Für die deutsche Forschungslandschaft ist das ein Signal: Die KI-Entwicklung könnte die Grenzen des Machbaren in Mathematik und Informatik neu definieren.
OpenAI präsentiert Beweise durch das Modell „Astra“
Anfang August 2026 veröffentlichte OpenAI Details zu einer internen Version seines Modells „Astra“, das Durchbrüche in Bereichen wie Codierungstheorie, Operatoralgebren und Quantenkomplexität erzielt haben soll. Das Unternehmen stellte ein 249-seitiges Manuskript mit Begründungen und formalen Zertifikaten für zehn konkrete Ergebnisse ins Netz.
Besonders spektakulär: Astra identifizierte eine explizite nicht-sofische Gruppe – ein Problem, das seit 1999 offen war – und lieferte ein Gegenbeispiel zur Rigiditätsvermutung von Connes aus dem Jahr 1980. Ebenfalls gelöst wurden die Ehrhart-Volumenvermutung sowie drei Probleme des berühmten Mathematikers Paul Erdős. Zur Absicherung nutzte OpenAI Lean 4, ein formales Verifikationswerkzeug, das maschinenprüfbare Zertifikate ohne verbleibende unbewiesene Ziele erzeugt.
Während KI-Modelle wie Astra komplexe mathematische Rätsel lösen, bringt der technologische Fortschritt auch neue rechtliche Pflichten für Betriebe mit sich. Dieser kostenlose Report klärt auf, welche neuen Gesetze und Cyberrisiken Unternehmer jetzt kennen müssen. KI-Gesetze und neue Bedrohungen verstehen
OpenAI-Forscher Noam Brown präzisierte, dass die mit rund 2.000 Dollar (etwa 1.850 Euro) veranschlagten Inferenzkosten pro erfolgreichem Ergebnis anfallen – nicht pro Versuch. Die Beweise warten nun auf die Begutachtung durch die mathematische Fachgemeinschaft.
Anthropics Claude Fable zieht nach
Nur kurz nach der OpenAI-Ankündigung meldete sich Levent Alpoge, Forscher und Ingenieur bei Anthropic, zu Wort: Das Modell Claude Fable habe fünf der zehn Probleme ebenfalls gelöst – innerhalb von 24 Stunden, mit generischen Eingabeaufforderungen und ohne Internetzugang. Zu den gemeisterten Aufgaben zählten die arithmetische Schaltkreis-Komplexität und das Problem des nächsten Vektors.
Am 3. August 2026 verkündete Alpoge zudem einen weiteren Coup: Claude Fable 5 habe die Jacobsche Vermutung widerlegt. Diese erstmals 1939 aufgestellte und 1998 in eine Liste bedeutender mathematischer Probleme aufgenommene Vermutung hatte fast 90 Jahre intensiver Forschung getrotzt.
Wer sich mit der rasanten Entwicklung von KI-Technologien befasst, sollte auch die Sicherheit der eigenen IT-Infrastruktur im Blick behalten. In diesem kostenlosen E-Book erfahren Sie, wie Sie Sicherheitslücken proaktiv schließen und Ihr Unternehmen langfristig schützen. Gratis-E-Book zur Cyber Security sichern
Professor Andrew Blumberg ordnete die Entwicklungen ein: Die Fähigkeit der KI, Gegenbeispiele zu finden, sei ein mächtiges Werkzeug für das Feld. Solche Ergebnisse lieferten jedoch nicht immer das tiefe konzeptionelle Verständnis, das traditionelle mathematische Beweise bieten.
Formale Verifikation als neuer Standard
Die Nutzung von Lean-4-Zertifikaten durch beide Organisationen markiert einen Wandel hin zur Formalisierung in der KI-geführten Forschung. Indem natürlichsprachliche Überlegungen in maschinengeprüften Code übersetzt werden, lässt sich die logische Konsistenz KI-generierter Beweise bereits vor der menschlichen Prüfung bestätigen.
Trotz der Erfolge: Keines der gelösten Probleme gehört zu den berühmten Millennium-Problemen, für deren Lösung jeweils eine Million Dollar ausgelobt sind. Dennoch bedeuten die Ergebnisse einen bedeutenden Fortschritt in theoretischer Informatik und hochdimensionaler Geometrie – und werfen die Frage auf, welche Rolle menschliche Mathematiker künftig spielen werden.
