Im Quellenvergleich

OpenAI enthüllt Modell Astra

3 Quellen · 4 Meldungen · Stand 03.08.2026

Alle Inhalte werden von KI erstellt. Dieser Überblick fasst zusammen, worin sich mehrere Quellen einig sind und worin sie sich unterscheiden — die Bewertung bleibt dir überlassen.

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.

Worin sie sich unterscheidenKosten der Lösungen·Kritik an den Ergebnissen·Einordnung der Leistung

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 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

Bloom relativiert, KI ersetze keine Mathematiker, da sie auf deren Arbeit aufbaue.3
Noam Brown räumt ein, dass OpenAI an anderen großen Problemen gescheitert sei, etwa den Millennium-Problemen.3

Quellen (3)

Vollständige Übersicht mit allen Meldungen öffnen →