OpenAI enthüllt Modell Astra

Worin die Quellen übereinstimmen

OpenAI hat am 1. August 2026 offiziell die neue Modellfamilie „Astra“ bestätigt und einen Mathematik-Bericht veröffentlicht. Laut OpenAI hat eine interne Version von Astra zehn offene Probleme aus Mathematik und theoretischer Informatik gelöst, an denen die Fachwelt seit mindestens einem Jahrzehnt keinen Fortschritt erzielt hatte. Die Ergebnisse reichen von Gruppentheorie über Quantenkomplexität bis zu Gitterkryptografie. Die Rechenkosten waren laut OpenAI niedrig: Die benötigten Tokens hätten zu API-Preisen rund 2000 US-Dollar gekostet. Menschen bereiteten die Argumente gemeinsam mit dem Modell zu Manuskripten auf; das Modell formalisierte jeden Beweis in einem maschinenprüfbaren Lean-Zertifikat. OpenAI betont, die mathematischen Argumente stammten vom System, die Urheberschaft grenzt das Unternehmen ab. Die Quellen berichten weitgehend übereinstimmend.