OpenAI kündigt Astra als nächstes großes KI-Modell an

Zusammenfassung

OpenAI hat mit Astra ein noch unveröffentlichtes Modell vorgestellt, das auf komplexe, langlaufende Aufgaben ausgelegt ist. Anlass der Ankündigung ist ein neuer Forschungsbeitrag des Unternehmens, in dem OpenAI berichtet, dass eine interne Version von Astra zehn bedeutende Fortschritte in Mathematik und theoretischer Informatik erzielt habe. Nach Angaben von OpenAI betrafen die bearbeiteten Probleme zentrale Resultate, bei denen es seit mindestens einem Jahrzehnt, meist aber deutlich länger, keine Fortschritte gegeben habe. Das Unternehmen ordnet Astra als „unser nächstes großes Modell“ ein. Die Arbeiten umfassten laut OpenAI ein breites Spektrum von Disziplinen, darunter hochdimensionale Geometrie, Codierungstheorie, Komplexität arithmetischer Schaltkreise, Gruppentheorie, Quantenkomplexität, Gitterkryptographie und extremale Kombinatorik. Parallel dazu bestätigte auch The Information unabhängig, dass OpenAI an Astra arbeitet, einer neuen Modellfamilie für langlaufende Arbeitslasten. OpenAI beschreibt Astra zudem als leistungsfähiges Modell, das es KI-Agenten ermöglicht, bei verschiedenen Teilen eines größeren Problems zusammenzuarbeiten.

Im Forschungsbeitrag nennt OpenAI mehrere Beispiele für die erzielten Resultate. Dazu gehören nach Unternehmensangaben die Existenz nicht-sofischer Gruppen, eine Widerlegung von Connes’ Starrheitsvermutung, neue Schranken für Kugelpackungen in hohen Dimensionen sowie Resultate, die mehrere vom Mathematiker Paul Erdős formulierte Probleme lösen.

OpenAI betont außerdem, dass das interne Forschungsprogramm verschiedene mathematische und theoretisch-informatische Teilgebiete abgedeckt habe. Genannt werden hochdimensionale Geometrie, Codierungstheorie, die Komplexität arithmetischer Schaltkreise, Gruppentheorie, Quantenkomplexität, Gitterkryptographie und extremale Kombinatorik. Zugleich erklärt das Unternehmen, es mache in den Wissenschaften schnelle Fortschritte.

Ein bemerkenswerter Punkt der Darstellung ist der Rechenaufwand: „Die Gesamtzahl der Token, die benötigt wurde, um Lösungen für diese Probleme zu finden, würde zu Sol-API-Preisen ungefähr 2.000 US-Dollar kosten“, so OpenAI. Menschliche Forscher hätten dasselbe Modell genutzt, um die Argumentationen als Manuskripte auszuarbeiten.

Anschließend habe Astra jede Argumentation als Lean-Zertifikat formalisiert. Dadurch konnten die Beweise mit dem mathematischen Verifikationssystem überprüft werden. OpenAI stellt Astra damit nicht nur als Modell zur Problemlösung dar, sondern auch als Werkzeug, um Beweisführungen in ein formal überprüfbares Format zu überführen.

Auch außerhalb des Unternehmens verdichten sich die Hinweise auf das Projekt. The Information hat nach eigenen Angaben unabhängig bestätigt, dass OpenAI tatsächlich an Astra arbeitet. Dem Bericht zufolge handelt es sich um eine neue Modellfamilie, die speziell für langlaufende Arbeitslasten entwickelt wird.

Nach Darstellung von OpenAI ist Astra ein leistungsfähiges Modell, das KI-Agenten die Zusammenarbeit an unterschiedlichen Teilen eines größeren Problems erlaubt. Wie das Modell am Ende auf den Markt kommen soll, ist allerdings offen. BleepingComputer berichtet, OpenAI habe demnach noch nicht entschieden, ob das Modell als GPT-5.7, GPT-6 oder unter einem anderen Namen veröffentlicht wird.

BleepingComputer schreibt außerdem, Astra gelte bereits jetzt als ein großer Durchbruch bei KI-Modellen. Demnach könnte das System auch Richtlinien ähnlich denen von Anthropic unterliegen, bei denen eine Version für Verbraucher freigegeben wird, während eine leistungsfähigere Variante eine besondere Genehmigung erfordert. Diese Einschätzung stammt jedoch aus dem Bericht von BleepingComputer; eine entsprechende Produktentscheidung von OpenAI wird im Text nicht bestätigt.

OpenAI kündigt Astra als nächstes großes KI-Modell an

Ähnliche Artikel

Neueste Artikel