OpenAI stellt Astra vor: Eine neue Modellfamilie für langfristige Aufgaben

OpenAI stellt Astra vor — eine neue Familie von Modellen für langfristige Aufgaben, bei denen mehrere KI-Agenten an einem einzigen Projekt zusammenarbeiten.

Laut dem Unternehmen hat das Modell zehn neue Ergebnisse bei seit Langem bestehenden Problemen in den Bereichen Mathematik, Quantenkomplexitätstheorie und theoretische Informatik erzielt.

Darunter befinden sich: – Die Konstruktion der ersten expliziten nicht-sophischen Gruppe. – Der Widerleg der Rigidity-Hypothese von Conn. – Der Beweis eines Theorems über parallele Wiederholungen im allgemeinen Fall von Zwei-Spieler-Spielen mit Verschränkung. – Der Beweis der Ehrhart-Volumen-Vermutung. – Die erste Verbesserung der allgemeinen Schätzung des Kugelpackungs-Exponenten seit 1978.

Die Schlüsselideen der Beweise wurden von Astra generiert. Das Modell formalisierte diese anschließend in Lean, erhielt maschinenüberprüfbare Beweiszertifikate und erstellte ein Manuskript mit 249 Seiten. Die Kosten für den erfolgreichen Einsatz lagen bei etwa 2.000 US-Dollar zu Sol-API-Konditionen.

Es scheint, dass dies das Modell ist, das Altman diese Woche im Weißen Haus präsentiert hat. Intern hat OpenAI noch nicht entschieden, ob dieses Modell als GPT-6 oder GPT-5.7 veröffentlicht wird.

Derzeit durchläuft es einen sogenannten "Trump-Test".