OpenAI zeigt „Astra“: Agenten-Teams lösten zehn offene Mathematikprobleme für rund 2.000 Dollar

OpenAI hat eine neue Modellfamilie mit dem Arbeitstitel Astra vorgestellt, in der mehrere KI-Agenten stunden- oder tagelang gemeinsam an schweren Problemen arbeiten. Eine interne Version löste zehn offene Probleme aus Mathematik und theoretischer Informatik, an denen Experten seit mindestens einem Jahrzehnt gescheitert waren — darunter ein Beweis für die Existenz nicht-sofischer Gruppen; die Beweise wurden in Lean formalisiert und sind maschinell überprüfbar. Gesamtkosten zu API-Preisen: rund 2.000 Dollar. Sam Altman führte das System Politikern in Washington vor; es könnte als GPT-6, GPT-5.7 oder eigene Klasse erscheinen und dürfte das erste Modell sein, das die geplante US-Regierungsprüfung vor Veröffentlichung durchläuft. (Korrektur: OpenAI hat die Formulierung, an diesen Problemen habe es seit mindestens einem Jahrzehnt keinen Fortschritt gegeben, inzwischen zurückgenommen; namentlich genannte Mathematiker sagen, mehrere Beweise stützten sich auf veröffentlichte Arbeiten, die nicht genannt wurden.)

✓ Verifiziert · 3 Quellen

Verwandte Meldungen