OpenAI stellt Astra vor: Eine neue Modellfamilie für langfristige Aufgaben
OpenAI hat Astra vorgestellt, ein KI-Modell, das die Kollaboration mehrerer Agenten bei komplexen Projekten ermöglicht und bedeutende Durchbrüche in der Mathematik sowie der theoretischen Informatik erzielt hat.
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".
Warum das wichtig ist
AnalyseDiese Entwicklung könnte die Ansätze zur Lösung komplexer Probleme in der Mathematik und theoretischen Informatik revolutionieren und demonstriert das enorme Potenzial von KI-Agenten in der wissenschaftlichen Forschung.
In der Community diskutieren
Teile deine Fragen und Erkenntnisse mit Entwicklern
Verwandt im Ökosystem
Praktische Leitfäden, Terminologie und Agenten-Skills
OpenAI GPT (Flaggschiff-Modelle der GPT-Serie)
Die zentrale, universelle Reihe großer Sprachmodelle von OpenAI (GPT-4, GPT-4o). Optimiert für komplexe Textanalyse, Programmierung, Kreativität und tägliche intellektuelle Arbeit.
Vier Lebenslauf-Tipps vom Leiter für Applied-AI-Entwicklung bei OpenAI
Wulfie Bain, Leiter der Applied-AI-Entwicklung bei OpenAI, nannte vier Regeln: Kürze, Relevanz, Ergebnisfokus und starke Erfolge am Anfang.
OpenAI bereitet animierte GIFs für ChatGPT vor
OpenAI hat experimentelle Unterstützung für die Generierung animierter GIFs in Codex hinzugefügt, angetrieben von der OpenAI Images API. Die Funktion könnte bald in ChatGPT erscheinen.
Codex Skills für Einsteiger: So automatisieren Sie Workflows mit KI-Agenten
Ein praktischer Leitfaden zur Erstellung und Nutzung von Skills in Codex: Anatomie der SKILL.md, explizite und automatische Aktivierung, Unterschiede zwischen Skills, Skripten und Tools, die Skills API sowie die Konfiguration von Sicherheitsgrenzen.