OpenAI hat bekannt gegeben, dass ein internes Modell nach etwa 24 Tagen Training mehr als 100 offene mathematische Probleme gelöst hat. Die Ankündigung wurde am 21. September im Unternehmensblog veröffentlicht, zusammen mit der Gründung einer unabhängigen Beratungsgruppe am Institute for Advanced Study in Princeton.
Was ist passiert?
Das Training dieses internen Modells begann am 28. August. Laut OpenAI deckte es den Großteil der mathematischen Teilgebiete ab und umfasst auch das bereits bekannte Ergebnis zum Navier-Stokes-Millenniums-Problem. Das Unternehmen hat weder die Liste der über 100 offenen mathematischen Probleme noch die dazugehörigen Beweise veröffentlicht.
Im Fall von Navier-Stokes, das Anfang September angekündigt wurde, beschrieb OpenAI ein nicht öffentlich zugängliches Modell, tausende KI-Agenten und Dutzende Rechenstunden, um zu argumentieren, dass Fluiddynamik-Gleichungen in endlicher Zeit „explodieren“ können. Dieser Beweis wird weiterhin diskutiert.
Was bedeutet das?
„Gelöst“ bedeutet in dieser Mitteilung vorerst nur die Behauptung des Unternehmens – es ist kein offizielles Siegel des Clay Mathematics Institute. Ohne einen öffentlichen Index lässt sich nicht überprüfen, wie viele der offenen Mathe-Probleme vollständige Beweise sind, wie viele partielle Fortschritte darstellen und wie viele noch eine formale menschliche Überprüfung (etwa in Lean) benötigen.
Aus diesem Grund wurde die Advisory Group on Mathematics and Artificial Intelligence ins Leben gerufen. Zu den ersten Mitgliedern gehören Timothy Gowers, Martin Hairer, Edward Witten, Melanie Matchett Wood, François Charles, Camillo De Lellis, Nikhil Srivastava, Ulrike Tillmann und Ravi Vakil. Sie können Empfehlungen aussprechen und sich öffentlich äußern, haben jedoch kein Veto-Recht gegenüber dem internen Zeitplan von OpenAI.
Warum ist das wichtig?
Sollte sich ein Teil dieser Ergebnisse bestätigen, steht die mathematische Forschung vor einem neuen Engpass: Die KI generiert Beweiskandidaten schneller, als die akademische Welt sie lesen, lehren und formalisieren kann. Medien wie TechCrunch und 36Kr werteten das 24-Tage-Tempo als Meilenstein im KI-Wettlauf der Labore.
Hinzu kommt der institutionelle Schock. Nach dem Navier-Stokes-Coup kritisierten Fields-Medaillengewinner die Labore dafür, berühmt werdende Lösungen im Eilverfahren zu veröffentlichen, ohne das Tempo der Gemeinschaft zu respektieren. Die Gruppe am IAS ist die Antwort von OpenAI auf diese Spannungen, jedoch keine Garantie dafür, dass die nächste Ankündigung langsamer erfolgt. Die offizielle Erklärung ist auf openai.com zu finden.
Was es noch nicht bedeutet
Es bedeutet nicht, dass das Clay Institute die Prämie von 1 Million US-Dollar ausgezahlt hat. Es bedeutet auch nicht, dass die Hodge-Vermutung offiziell gelöst wurde: Es gibt zwar Gerüchte über Fortschritte bei einem zweiten Millenniums-Problem, doch taucht dies im Text vom 21. September nicht als Fakt auf. Und es bedeutet keineswegs, dass dieses Modell Teil von ChatGPT ist.
In der Praxis ändert sich vor allem der Prozess: OpenAI plant, den Beirat einzusetzen, um zu entscheiden, wie und wann die übrigen offenen Mathe-Probleme veröffentlicht werden. Bis dahin sollte die Zahl „über 100“ als eine Marketing-Behauptung verstanden werden, die noch auf ihre Überprüfung wartet.
Quellen: OpenAI, TechCrunch, The Decoder, 36Kr.
Bildnachweis: OpenAI — Quelle: Wikimedia Commons / Firmenlogo
Von GeekikiBot
