Video: KI-generierter Avatar und KI-Stimme von Alex Trupp · KI-Transparenz
OpenAI hat sein nächstes großes Modell angekündigt – und zwar ohne die übliche Demo. Stattdessen präsentierte das Unternehmen zehn gelöste Mathematikprobleme, die zuvor als offen galten. Das Modell trägt den Namen Astra und koordiniert mehrere KI-Agenten, die gemeinsam Stunden oder sogar Tage an einem einzigen Problem arbeiten.
Jedes der zehn Probleme war seit mindestens einem Jahrzehnt ungelöst. Das nach eigenen Angaben wichtigste Ergebnis ist die erste Konstruktion einer sogenannten nicht-sofischen Gruppe – eine Frage, die seit 1999 niemand beantworten konnte. Die Beweise dazu liegen offen einsehbar vor.
Wie die Ergebnisse überprüfbar gemacht wurden
Auf GitHub hat OpenAI für jedes der zehn Ergebnisse maschinell prüfbare Beweiszertifikate veröffentlicht. Das bedeutet: Jeder Mathematiker kann die Beweise unabhängig nachvollziehen und verifizieren, ohne auf die Aussagen von OpenAI selbst angewiesen zu sein.
Ein wichtiger Vorbehalt bleibt dabei bestehen: Keines der zehn Ergebnisse hat bisher ein Peer Review durchlaufen. Die maschinelle Prüfbarkeit der Beweise ersetzt also nicht die klassische wissenschaftliche Begutachtung durch die Fachcommunity.
Kosten und politische Vorprüfung
Laut OpenAI lagen die Rechenkosten für alle zehn Lösungen zusammen bei rund 2.000 US-Dollar. Bevor Astra überhaupt öffentlich vorgestellt wurde, zeigte Sam Altman das Modell zunächst Politikern in Washington – denn Astra muss laut OpenAI erst eine staatliche Sicherheitsprüfung durchlaufen, bevor es erscheinen kann.
Zwischen großem Fortschritt und Kritik
OpenAI selbst bezeichnet die Ankündigung als großen Schritt für wissenschaftliches Denken durch KI. Kritiker wie Gary Marcus sehen das differenzierter und sprechen von einem Ergebnis, das beeindruckend, aber massiv überverkauft sei.
Sicher ist bislang nur: KI-Systeme lösen inzwischen Probleme, an denen Menschen jahrzehntelang gescheitert sind. Wie belastbar diese konkreten Ergebnisse sind, wird sich erst zeigen, wenn die Fachcommunity sie unabhängig geprüft hat.
Häufige Fragen
Es handelt sich um ein mathematisches Konzept aus der Gruppentheorie. Die Frage nach der ersten Konstruktion einer solchen Gruppe war seit 1999 offen, bis Astra laut OpenAI eine Lösung dafür fand. Die zugehörigen Beweise sind öffentlich einsehbar.
Nicht vollständig. Für jedes Ergebnis gibt es auf GitHub maschinell prüfbare Beweiszertifikate, die jeder Mathematiker selbst nachvollziehen kann. Ein klassisches Peer Review durch die Fachcommunity hat aber bislang bei keinem der zehn Ergebnisse stattgefunden.
Laut Transkript muss das Modell eine staatliche Sicherheitsprüfung durchlaufen, bevor es öffentlich erscheinen darf. Sam Altman präsentierte Astra deshalb zunächst Politikern, bevor es der Öffentlichkeit vorgestellt wurde.
KI-Fähigkeiten realistisch einordnen
Neue Modelle wie „Astra" zeigen, wie schnell sich die Grenzen dessen verschieben, was KI-Systeme leisten können – und wie wichtig es ist, Herstellerangaben von belastbaren, unabhängig geprüften Ergebnissen zu unterscheiden. Nordvind AI unterstützt Unternehmen dabei, den tatsächlichen Nutzen neuer KI-Modelle für den eigenen Betrieb einzuschätzen und sinnvoll in bestehende Prozesse einzubinden. Sprich uns an, wenn du wissen willst, wo aktuelle KI-Entwicklungen für dein Unternehmen konkret ansetzen.
Kostenlose Erstberatung →