Astra löst zehn Jahrzehnte alte Matheprobleme: OpenAI zeigt KI-Durchbruch
Veröffentlicht am: 02.08.2026 um 08:52 Uhr | Redaktion boerse-global.de
OpenAI hat Anfang August eine Reihe von Lösungen für zehn mathematische Probleme veröffentlicht, die seit mindestens einem Jahrzehnt als ungelöst galten. Die Ergebnisse wurden laut Unternehmensangaben von einer internen Version des neuen Modells Astra generiert. Die Veröffentlichung umfasst neben den eigentlichen Beweisen auch entsprechende Zertifikate in der Programmiersprache Lean 4, die eine maschinelle Verifikation der Lösungen ermöglichen.
Die Validierung der Ergebnisse erfolgte durch die Version Lean 4.32.0 sowie einen zusätzlichen externen Prüfer. Zu den bedeutendsten Resultaten zählt die erste explizite Konstruktion nicht-sofischer Gruppen, eine Fragestellung, die in der Mathematik seit dem Jahr 1999 offen geblieben war. Zudem gelang es dem System, die Connes-Rigiditätsvermutung zu widerlegen und einen Beweis für die Ehrhart-Volumenvermutung zu erbringen. OpenAI gab an, dass Astra darüber hinaus drei Probleme des Mathematikers Paul Erd?s – die Nummern 146, 180 und 183 – gelöst habe. Weitere Fortschritte erzielte das Modell bei der Definition verbesserter Schranken für Kugelpackungen und Codes sowie bei der Komplexität arithmetischer Schaltkreise, Quanten-Parallel-Wiederholungen und Gitterproblemen.
Laut OpenAI beliefen sich die Kosten für die notwendigen Berechnungen auf Basis aktueller API-Sätze auf rund 2.000 US-Dollar. Das Unternehmen veröffentlichte eine 249-seitige Sammlung der Ergebnisse sowie detaillierte Einblicke in die Denkprozesse der Künstlichen Intelligenz. Die zugehörigen Daten wurden in einem öffentlichen GitHub-Repository unter der Apache-2.0-Lizenz zur Verfügung gestellt. Das Unternehmen betonte dabei, dass die logischen Beweisargumente vollständig von der KI stammten, während menschliche Mitarbeiter lediglich bei der Formalisierung und der Erstellung der Manuskripte unterstützten.
Während die Wissenschaft neue Chancen durch KI-Modelle wie Astra erkundet, entstehen gleichzeitig komplexe regulatorische und technische Sicherheitsfragen für Betriebe. Dieses kostenlose E-Book klärt auf, welche rechtlichen Pflichten und Cyber-Bedrohungen Unternehmer jetzt im Blick behalten müssen. Kostenlosen Report zu KI-Gesetzen und Cyberrisiken sichern
Branchenexperten und Wissenschaftler reagierten positiv auf die Ankündigung. Noam Brown von OpenAI bezeichnete die Ergebnisse als einen wesentlichen Schritt für das wissenschaftliche Schlussfolgern von KI-Systemen, merkte jedoch an, dass die sogenannten Millennium-Probleme bislang noch nicht gelöst worden seien. Thomas Bloom von der University of Manchester stufte die Veröffentlichung als bedeutende Neuigkeit ein. Auch der Mathematiker Timothy Gowers bezeichnete die Resultate als Meilenstein und sprach sich für eine wissenschaftliche Publikation aus. Sebastien Bubeck von OpenAI bestätigte zudem die Existenz nicht-sofischer Gruppen als direktes Ergebnis der Berechnungen.
Hinter den Kulissen bereitet OpenAI offenbar die Integration des Astra-Modells in den regulierten Markt vor. Bereits am 29. Juli 2026 hatte CEO Sam Altman das System in Washington vor Mitgliedern des US-Senats demonstriert. Es wird erwartet, dass Astra als eines der ersten Modelle unter einem neuen US-Regulierungsrahmen getestet wird. Eine entsprechende Executive Order vom Juni 2026 sieht eine Überprüfung durch die Sicherheitsbehörden NSA und CISA vor; die entsprechende Frist endete am 1. August 2026.
Der technologische Fortschritt erfordert proaktives Handeln, um die eigene digitale Infrastruktur vor modernen Angriffsszenarien zu schützen. Erfahren Sie in diesem kostenlosen E-Book, wie Sie Sicherheitslücken schließen und aktuelle gesetzliche Anforderungen effizient erfüllen. Gratis-E-Book: IT-Sicherheit ohne hohe Investitionen stärken
Obwohl Astra selbst bislang noch nicht für die breite Öffentlichkeit freigegeben wurde und kein konkretes Veröffentlichungsdatum feststeht, gewährt OpenAI bereits 100.000 Akademikern kostenlosen Zugang zu der Technologie. Die langfristige Strategie des Unternehmens sieht vor, bis September 2026 ein System zu entwickeln, das die Fähigkeiten von Forschungspraktikanten erreicht. Bis zum Frühjahr 2028 strebt OpenAI die Schaffung eines vollständig autonomen Forschers an. Diese Entwicklung erfolgt vor dem Hintergrund der im Juni 2026 veröffentlichten Leiden-Erklärung, in der Experten vor möglichen Misserfolgen von KI-Systemen gewarnt hatten.
Disclaimer zu unseren Artikeln: Keine Anlageberatung, keine Kauf- oder Verkaufsempfehlung. Angaben zu Kursen, Unternehmen und Märkten ohne Gewähr; Änderungen jederzeit möglich. Börsengeschäfte können zu hohen Verlusten führen. Unsere Beiträge werden ganz oder teilweise automatisiert mit Unterstützung von AI erstellt und geprüft.
