OpenAI kündigt Astra, sein nächstes großes KI-Modell an!
OpenAI hat Astra vorgestellt, ein noch unveröffentlichtes Modell, das komplexe, langlaufende Aufgaben bewältigen soll, nachdem eine interne Version zehn bedeutende Fortschritte in Mathematik und theoretischer Informatik erzielt hatte.
In einem neuen Forschungsbeitrag bezeichnete OpenAI Astra als „unser nächstes großes Modell“ und erklärte, dass bei den Problemen seit mindestens einem Jahrzehnt, in den meisten Fällen aber schon viel länger, keine Fortschritte hinsichtlich der zentralen Ergebnisse erzielt worden seien.
Laut OpenAI konzentrierte sich die interne Forschung auf ein breites Spektrum von Gebieten, darunter hochdimensionale Geometrie, Codierungstheorie, Komplexität arithmetischer Schaltkreise, Gruppentheorie, Quantenkomplexität, Gitterkryptographie und extremale Kombinatorik.
OpenAI gibt außerdem an, rasante Fortschritte in der Wissenschaft zu erzielen.
Beispiele hierfür sind die Existenz nicht-sofischer Gruppen, ein Widerlegung der Connes-Vermutung über die Rigidität, neue Schranken für die Packung hochdimensionaler Kugeln sowie Ergebnisse, die mehrere vom Mathematiker Paul Erdős aufgeworfene Probleme lösen.
„Die Gesamtzahl der Token, die zur Lösung dieser Probleme benötigt werden, würde zu den Sol-API-Tarifen etwa 2.000 US-Dollar kosten“, merkte OpenAI an .
Menschliche Forscher verwendeten dasselbe Modell, um die Argumente als Manuskripte vorzubereiten.
Astra formalisierte anschließend jedes Argument als Lean-Zertifikat, wodurch die Beweise mithilfe des mathematischen Verifikationssystems überprüft werden konnten.
The Information bestätigte unabhängig davon auch, dass OpenAI tatsächlich an Astra arbeitet, einer neuen Modellfamilie, die für langlaufende Arbeitslasten entwickelt wurde.
Laut OpenAI ist Astra ein leistungsstarkes Modell, das es KI-Agenten ermöglicht, an verschiedenen Teilen eines größeren Problems zusammenzuarbeiten.
BleepingComputer hat erfahren, dass OpenAI angeblich noch nicht entschieden hat, ob das Modell als GPT-5.7, GPT-6 oder unter einem anderen Namen veröffentlicht wird.
Zum jetzigen Zeitpunkt wissen wir, dass Astra als bahnbrechendes KI-Modell gilt und möglicherweise ähnlichen Richtlinien wie Anthropic unterliegt, bei denen eine Version für die Verbraucher freigegeben wird, während eine leistungsfähigere Variante eine Sondergenehmigung erfordert.
