OpenAI sagt, sein neues Reasoning-Modell habe einen berühmten unbewiesenen Satz von Paul Erdős aus dem Jahr 1946 widerlegt. Wenn Ihre Augenbrauen gerade nach oben geschossen sind, sind Sie nicht allein – es ist nicht das erste Mal, dass OpenAI eine so kühne Behauptung aufstellt. Vor sieben Monaten postete der ehemalige Vizepräsident Kevil Weil auf X, dass „GPT-5 Lösungen für 10 (!) zuvor ungelöste Erdős-Probleme gefunden und Fortschritte bei 11 anderen erzielt hat“. Spoiler: GPT-5 hat sie nicht wirklich gelöst; es hat nur bereits in der Literatur existierende Lösungen wiederentdeckt. Spott von Rivalen wie Yann LeCun und Google DeepMind-CEO Demis Hassabis folgte, und Weil löschte seinen voreiligen Beitrag umgehend.
Dieses Mal sagt OpenAI, es habe denselben Fehler nicht wiederholt. Zusammen mit der Ankündigung veröffentlichte das Unternehmen begleitende Stellungnahmen der Mathematiker Noga Alon, Melanie Wood und Thomas Bloom – der die Erdos-Problems-Website betreibt und Weils Beitrag zuvor als „dramatische Falschdarstellung“ bezeichnet hatte. „Fast 80 Jahre lang glaubten Mathematiker, die bestmöglichen Lösungen sähen ungefähr wie quadratische Gitter aus“, postete OpenAI auf X. „Ein OpenAI-Modell hat diese Überzeugung nun widerlegt und eine völlig neue Familie von Konstruktionen entdeckt, die besser abschneidet.“
Das Unternehmen behauptet, dies sei „das erste Mal, dass KI autonom ein prominentes offenes Problem gelöst hat, das zentral für ein mathematisches Fachgebiet ist“. Der Beweis stammt von einem neuen allgemeinen Reasoning-Modell, nicht von einem speziell für Mathematik entwickelten System – was OpenAI für bedeutsam hält, weil es bedeutet, dass KI nun lange, schwierige Argumentationsketten zusammenhalten und Ideen aus verschiedenen Bereichen verbinden kann. Das habe Berichten zufolge Auswirkungen auf Biologie, Physik, Ingenieurwesen und Medizin. „KI hilft uns, die Kathedrale der Mathematik, die wir über Jahrhunderte erbaut haben, umfassender zu erkunden“, sagte Bloom. „Welche anderen unsichtbaren Wunder warten noch in den Kulissen?“