OpenAIs Astra-Modell löst zehn ungelöste mathematische Probleme

OpenAI hat einen bedeutenden Durchbruch im Bereich des logischen Denkens von KI-Systemen erzielt. Wie das Unternehmen mitteilte, hat ein internes, noch unveröffentlichtes Modell namens Astra zehn seit langem offene Probleme aus der Mathematik und der theoretischen Informatik gelöst. Einige dieser Fragestellungen, die Bereiche wie Geometrie und Gruppentheorie betreffen, blieben von menschlichen Mathematikern fast drei Jahrzehnte lang ungelöst. Astra bewies unter anderem die Existenz nicht-sofischer Gruppen und löste die Starrheitsvermutung von Alain Connes sowie die Volumenvermutung von Ehrhart. Zudem knackte das Modell drei Probleme aus der berühmten Liste von Paul Erdős. Alle zehn mathematischen Beweise wurden mit dem Verifikationswerkzeug Lean erfolgreich überprüft, wobei die Rechenkosten pro erfolgreichem Durchlauf auf rund 2.000 US-Dollar geschätzt werden. Die Nachricht sorgte in der Fachwelt schnell für Aufsehen. Innerhalb von nur 24 Stunden meldete Levent Alpoge von Anthropic, dass er fünf der zehn Beweise mit dem System Fable reproduzieren konnte – und das mit einer einfachen Eingabeaufforderung und ohne Internetverbindung. Dies deutet darauf hin, dass hochentwickelte mathematische Fähigkeiten kein Einzelfall mehr sind. In der akademischen Gemeinschaft hat dieser Erfolg eine Debatte darüber entfacht, ob KI-generierte Lösungen für renommierte Auszeichnungen wie die Fields-Medaille infrage kommen. Während die Maschine die eigentliche Denkarbeit geleistet hat, blickt die Forschung bereits in die Zukunft: Solche kostengünstigen, logisch hochgradig kompetenten Systeme könnten bald auch die Materialwissenschaften und die Medikamentenforschung revolutionieren.