OpenAIs neues Astra-Modell erzielte zehn mathematische Fortschritte

Mathematik war einst die sicherste Trophäenvitrine der KI: Benchmarks, Medaillen bei Olympiaden und Aufgaben mit bekannten Lösungen.

Nun, OpenAI zufolge hat Astra, das nächste große Modell des Unternehmens, zehn Ergebnisse zu seit Langem offenen Problemen aus Geometrie, Kryptografie, Quantencomputing und reiner Mathematik hervorgebracht. Einige widerlegen Vermutungen; andere verbessern (angeblich) die bislang besten bekannten Schranken.

Was passiert ist

• Astra erzielte die erste Verbesserung seit 1978 bei einer wichtigen Schranke für die Kugelpackung in hohen Dimensionen: der Frage, wie dicht sich gleich große Objekte in vielen Dimensionen anordnen lassen.
• Es konstruierte eine „nicht-sofische Gruppe“ – ein Objekt, von dem sich Forschende fragten, ob es überhaupt existiert –, und widerlegte damit Connes’ Starrheitsvermutung.
• Erfolgreiche Lösungstoken würden zu den Tarifen der Sol API ungefähr 2.000 US-Dollar kosten, OpenAI zufolge.
• Menschen erarbeiteten gemeinsam mit Astra die Fachartikel; das Modell überführte jeden Beweis in Lean, dessen Prüfer jeden logischen Schritt verifiziert.
• OpenAI veröffentlichte eine 249-seitige Arbeit, Lean-Dateien und vom Modell verfasste Rekonstruktionen der Entstehung der Ideen (Arbeit, Erklärung der Argumentation).

In seiner ersten Analyse lobte Gary Marcus Astra, warnte jedoch, dass überprüfbare Mathematik kein universelles wissenschaftliches Schlussfolgern beweise. Mathematik liefert richtig-oder-falsch-Rückmeldungen und endlose synthetische Übung; Krebsforschung, militärische Strategie und die meisten Entscheidungen in der realen Welt tun das nicht.

Dann folgte Marcus’ Nachtrag: Der Mathematiker von Anthropic, Levent Alpöge, sagte, das öffentlich verfügbare Claude Fable habe innerhalb von 24 Stunden mit einem allgemeinen Prompt, ohne Internetzugang und vollständig autonom ungefähr die Hälfte der Ergebnisse reproduziert. Das erfordert einen öffentlichen Vergleich unter identischen Bedingungen, schwächt aber Astras Anspruch auf eine einzigartige Schwelle.

Warum das wichtig ist

Der Durchbruch könnte über ein einzelnes geheimes Modell hinausgehen.

Frontier-KI scheint in eine wiederverwendbare Forschungsschleife einzutreten: Menschen wählen überprüfbare Probleme aus; Modelle durchsuchen riesige Ideenräume (mit nicht wörtlich, aber annähernd Gigawatt an Rechenleistung); Proof-Software überprüft die Antworten. Dadurch könnten Jahre mathematischen Ausprobierens auf Tage verkürzt werden … und die Menschheit profitiert.

Unsere Einschätzung

Die fehlende Zahl ist der Nenner. Noam Brown räumte ein, dass OpenAI andere wichtige Probleme erfolglos ausprobiert hat, doch das Unternehmen hat nicht offengelegt, wie viele es waren, wie viel menschliche Anleitung es erhielt oder welche Gesamtkosten die gescheiterten Versuche verursachten. Der nächste glaubwürdige Test ist eine vorab festgelegte Sammlung offener Probleme, bei der jeder Fehlschlag zählt.

Allerdings gilt: Wenn Astra diese Trefferquote beibehält, hat KI die Wissenschaft nicht im eigentlichen Sinne „gelöst“, aber dauerhaft verändert, wie ein Teil der Wissenschaft betrieben wird. Jemand sollte für die wissenschaftlichen Gutachter beten, die all das überprüfen müssen …

Anmerkung der Redaktion: Dieser Artikel erschien ursprünglich in unserer Schwesterpublikation The Neuron.