OpenAI behauptet, eines seiner internen KI-Systeme habe ein Problem gelöst, das Mathematikern seit über neunzig Jahren widerstanden hat: ob die Navier-Stokes-Gleichungen, die die Bewegung von Flüssigkeiten beschreiben, eine Singularität erzeugen können — einen Punkt, an dem die Strömungsgeschwindigkeit unendlich wird. Es ist eines von sieben Millennium-Problemen, die das Clay Mathematics Institute im Jahr 2000 formulierte, jedes mit einer Million Dollar Preisgeld, von denen bislang nur eines gelöst wurde.
Laut dem Unternehmen arbeiteten rund 10.000 KI-Agenten auf einem noch nicht veröffentlichten Modell, das leistungsfähiger ist als GPT-6 Astra, 88 Stunden lang an dem Problem, tauschten dabei 2,7 Millionen Nachrichten aus und verbrauchten etwa 130 Milliarden Ausgabe-Token. Anschließend prüfte GPT-6 Astra selbst weitere 17 Stunden lang formal die Logik des Beweises mit Lean, einer Sprache, mit der Mathematiker Argumente Schritt für Schritt verifizieren.
Der zeitliche Ablauf wirkt unangenehm. Zwölf Stunden vor der Ankündigung von OpenAI veröffentlichten der NYU-Mathematiker Tristan Buckmaster und der Anthropic-Forscher Levent Alpöge ein verwandtes Ergebnis. Buckmaster bezeichnete einen der daraus entstandenen Texte als "KI-Müll" und deutete an, das OpenAI-Team habe möglicherweise Einblick in seine unveröffentlichte Arbeit gehabt. Wer tatsächlich zuerst am Ziel war, ist umstritten.
Charles Fefferman von der Princeton University, einer der profiliertesten Kenner genau dieses Problems, zeigte sich "begeistert", verwies aber darauf, dass die eigentlichen Helden woanders zu finden seien: die Mathematiker Diego Córdoba und Luis Martínez-Zoroa, deren neue Technik beide computergestützten Beweise erst ermöglichte. Keine mathematische Institution hat das Ergebnis von OpenAI bislang bestätigt, und eine solche Prüfung dauert normalerweise Jahre, keine Tage.
