KI, die forscht: Astra löst offene Matheprobleme, und Googles KI-Urgestein geht

Zwei Meldungen aus dem August gehören zusammen gelesen, denn sie markieren dieselbe strategische Wende: KI wird vom Werkzeug für bekannte Aufgaben zum Instrument für neue Erkenntnis.

Verifizierte Beweise statt Benchmark-Behauptungen

OpenAI hat am 1. August veröffentlicht, dass eine interne Version seines nächsten Modells Astra zehn seit mindestens einem Jahrzehnt offene Probleme aus Mathematik und theoretischer Informatik gelöst hat — von Gruppentheorie bis Gitter-Kryptographie (TechTimes).

Entscheidend ist das Format: Alle zehn Beweise liegen als maschinell prüfbare Lean-4-Zertifikate offen auf GitHub, unter Apache 2.0. Das sind keine Behauptungen auf einem Benchmark, sondern verifizierte Resultate. Die geschätzten Rechenkosten für alle zehn Lösungen: rund 2.000 USD.

Und ein Abgang, der sich wie eine Wette liest

Vier Tage später verließ Jeff Dean nach 27 Jahren Google, gemeinsam mit Sanjay Ghemawat, Quoc Le und Oriol Vinyals, vier der prägendsten Köpfe hinter Googles KI-Fundament. Ihr neues Unternehmen Discovery Loop, eine Public Benefit Corporation, will mit KI tausende wissenschaftliche Experimente parallel anstoßen und auswerten. Die Alphabet-Aktie verlor auf die Nachricht rund 5 %.

Unsere Einschätzung

Verifizierbarkeit ist die eigentliche Nachricht. Dass Astras Beweise maschinell prüfbar sind, löst das Vertrauensproblem, das KI-Resultate bisher hatten. Dasselbe Muster, also dass die KI liefert und ein unabhängiger Prüfmechanismus verifiziert, ist auch für Unternehmens-Use-Cases der Goldstandard. Es ist das „Verification”-Element aus dem Enterprise-Agent-Dreieck unserer Konferenz-Keynote.

2.000 USD für zehn Forschungsdurchbrüche verschiebt die Ökonomie von F&E. Wenn explorative Kopfarbeit so billig skaliert, lohnt es sich, deutlich mehr Hypothesen zu testen als bisher. Das gilt für Mathematik genauso wie für Materialforschung, Pharmakologie — oder die Produktentwicklung in zahlreichen Unternehmen.

Der Talentmarkt sortiert sich um die Wissenschafts-Wette. Wenn Leute vom Kaliber Jeff Deans ihre Karriere auf „KI beschleunigt Forschung” setzen, ist das ein starkes Signal, wohin die nächste Welle geht. Für Europa einmal mehr die unbequeme Frage: Wo ist unser Discovery Loop?

Neugierig, welche Ihrer eigenen Fragen KI schon heute erkunden könnte? Sprechen wir darüber.