Im Quellenvergleich
Worin die Quellen übereinstimmen
OpenAI hat die neue Modellfamilie „Astra“ offiziell bestätigt und einen Bericht veröffentlicht, wonach eine interne Version zehn seit mindestens einem Jahrzehnt ungelöste Probleme aus Mathematik und theoretischer Informatik gelöst hat. Die Ergebnisse reichen von Gruppentheorie über Quantenkomplexität bis zu Gitterkryptografie. Die Rechenkosten lagen laut OpenAI bei rund 2000 US-Dollar an API-Preisen. Menschen bereiteten die Argumente gemeinsam mit dem Modell zu Manuskripten auf; das Modell formalisierte jeden Beweis in einem maschinenprüfbaren Lean-Zertifikat. OpenAI betont, die mathematischen Argumente stammten vom System. Der Mathematiker Thomas Bloom spricht von „großen Neuigkeiten“. Die Quellen berichten weitgehend übereinstimmend. OpenAI hat die Existenz von Astra am 1. August bekannt gegeben; es ist die erste offizielle Erwähnung des Namens. Die Probleme stammen aus Bereichen wie Geometrie, Gruppentheorie und Quantenkomplexität. Drei gelöste Probleme stammen vom ungarischen Mathematiker Paul Erdős. OpenAI führte eine private Demonstration für US-Gesetzgeber durch. Die formale Beweise und Erklärungen sind auf GitHub veröffentlicht. OpenAI räumt ein, an anderen großen Problemen wie den Millennium-Problemen gescheitert zu sein.
Aktualisierungen
03.08.2026
22:05OpenAI hat die Existenz von Astra am 1. August bekannt gegeben; es ist die erste offizielle Erwähnung des Namens.
Die Probleme stammen aus Bereichen wie Geometrie, Gruppentheorie und Quantenkomplexität.
Drei gelöste Probleme stammen vom ungarischen Mathematiker Paul Erdős.
OpenAI führte eine private Demonstration für US-Gesetzgeber durch.
Die formalen Beweise und Erklärungen sind auf GitHub veröffentlicht.
OpenAI räumt ein, an anderen großen Problemen wie den Millennium-Problemen gescheitert zu sein.
Worin sie sich unterscheidenKosten der Lösungen·Kritik an den Ergebnissen·Einordnung der Leistung+2 weitere
Kosten der Lösungen- Die Token-Menge entspricht umgerechnet etwa 2000 US-Dollar an API-Kosten des Modells „Sol“.1
- Die Kosten lagen bei weniger als 2000 Dollar für Tokens zum API-Preis von GPT-5.6 Sol.2
Kritik an den Ergebnissen- Der Mathematiker Thomas Bloom spricht von „großen Neuigkeiten“ und relativiert, KI ersetze keine Mathematiker, da sie auf deren Arbeit aufbaue.3
- Der Mathematiker Bharath Ramsundar warnte vor einem Turm „vielleicht wahrer“ KI-Ergebnisse und forderte menschliche Prüfung.2
- Ital Sher verlangte, auch die Liste der nicht gelösten Probleme zu veröffentlichen.2
- Die Forscherin Jenny Lorraine Nielsen behauptete, mindestens ein Beweis enthalte einen Fehler.2
Einordnung der Leistung- Der Mathematiker Thomas Bloom nannte die Widerlegung der exponentiellen Schranken das überraschendste Ergebnis der Liste.2
- Noam Brown, ein Entwickler der zugrunde liegenden Technologie, räumt ein, dass OpenAI an anderen großen Problemen gescheitert sei, etwa den Millennium-Problemen.3
Veröffentlichung und Zugang- OpenAI hat Details zu Veröffentlichung, Modellaufbau oder API-Preisen nicht genannt.1
- Möglich sei eine öffentliche Limitversion, die stärkste Variante nur nach staatlicher Genehmigung.4
Kontext der Ankündigung- Der Start folgt kurz auf Anthropics Ankündigung, dass Mythos Preview nach 100.000 Dollar Token-Ausgaben neue kryptografische Schwächen gefunden habe.2