OpenAI Astra löst 10 langjährige mathematische Probleme

OpenAI hat Astra vorgestellt, ein bislang unveröffentlichtes KI-Modell, das für die Bearbeitung komplexer und langfristiger Aufgaben entwickelt wurde. Das Unternehmen erklärt, dass eine interne Version von OpenAI Astra zehn bedeutende Fortschritte in der Mathematik und der theoretischen Informatik erzielt habe.

Laut einem neuen Forschungsbeitrag waren die zentralen Probleme hinter diesen Ergebnissen seit mindestens einem Jahrzehnt ungelöst. In mehreren Fällen hatten Forscher über einen deutlich längeren Zeitraum keine nennenswerten Fortschritte erzielt.

OpenAI Astra nimmt schwierige Forschungsprobleme in Angriff

OpenAI zufolge wurde Astra in mehreren anspruchsvollen Fachgebieten getestet, darunter hochdimensionale Geometrie, Codierungstheorie, Gruppentheorie, gitterbasierte Kryptografie, Quantenkomplexität und extremale Kombinatorik.

Zu den gemeldeten Ergebnissen gehören Arbeiten über nicht-sofische Gruppen, ein Gegenbeweis zur Starrheitsvermutung von Connes sowie neue Schranken für die Kugelpackung in hochdimensionalen Räumen. Astra half außerdem dabei, mehrere Probleme zu lösen, die ursprünglich vom Mathematiker Paul Erdős formuliert wurden.

OpenAI schätzt, dass für die Erarbeitung der Lösungen Token im Wert von rund 2.000 US-Dollar zu den Sol-API-Preisen benötigt wurden. Menschliche Forscher spielten jedoch weiterhin eine zentrale Rolle bei der Ausarbeitung der Ergebnisse zu wissenschaftlichen Veröffentlichungen.

Lean-Zertifikate überprüfen jedes Argument

Anschließend formalisierte OpenAI Astra jedes Argument als Lean-Zertifikat. Lean ist ein System zur formalen Verifikation mathematischer Beweise, mit dem sich jeder einzelne logische Schritt überprüfen lässt.

Dieser Prozess ermöglicht es Forschern nachzuweisen, dass ein Beweis den erforderlichen Regeln folgt. Dadurch können Astras Ergebnisse unabhängig überprüft werden, anstatt sich ausschließlich auf eine von der KI erzeugte Erklärung zu verlassen.

OpenAI erklärte außerdem, dass das Unternehmen rasche Fortschritte in der wissenschaftlichen Forschung erzielt. Einen Termin für die öffentliche Veröffentlichung von Astra hat das Unternehmen bislang jedoch nicht bekannt gegeben.

Astra könnte als GPT-5.7 oder GPT-6 erscheinen

The Information berichtete separat, dass OpenAI Astra als neue Modellfamilie für langfristige Arbeitslasten entwickelt.

Nach Angaben von OpenAI kann das Modell KI-Agenten unterstützen, die bei verschiedenen Teilen eines umfangreichen Problems zusammenarbeiten. Diese Fähigkeit könnte Astra besonders für Forschungsaufgaben nützlich machen, die Planung, wiederholte Überprüfung und Koordination erfordern.

Berichten zufolge hat das Unternehmen noch nicht entschieden, ob Astra als GPT-5.7, GPT-6 oder unter einem eigenen Namen veröffentlicht wird. Zudem deuten Berichte darauf hin, dass OpenAI eine gestaffelte Veröffentlichung plant, bei der eine Verbraucherversion breiter verfügbar sein könnte, während eine leistungsstärkere Variante zusätzlichen Freigaben unterliegt.