OpenAI gab bekannt, dass sein neues Argumentationsmodell einen originellen mathematischen Beweis erbracht hat, der eine berühmte ungelöste Vermutung in der Geometrie widerlegt, die erstmals 1946 von Paul Erdős aufgestellt wurde. Dieser Erfolg folgt einer umstrittenen Behauptung des ehemaligen OpenAI-Vizepräsidenten Kevin Weil vor sieben Monaten, als er auf X erklärte, dass GPT-5 Lösungen für zehn bisher ungelöste Erdős-Probleme gefunden habe und Fortschritte bei elf weiteren gemacht habe. Später wurde klargestellt, dass GPT-5 diese Probleme nicht tatsächlich gelöst hatte, sondern bereits vorhandene Lösungen in der Literatur identifiziert hatte.
Konkurrenten im KI-Bereich, darunter Yann LeCun und Demis Hassabis, CEO von Google DeepMind, kritisierten die frühere Behauptung und veranlassten Weil, seinen Beitrag zu entfernen. Die aktualisierte Ankündigung von OpenAI enthielt Bemerkungen namhafter Mathematiker wie Noga Alon, Melanie Wood und Thomas Bloom, die die Widerlegung unterstützten und Weils frühere Aussagen als „dramatische Falschdarstellung“ bezeichneten.
OpenAI gab an, dass Mathematiker fast 80 Jahre lang glaubten, die optimalen Lösungen der Vermutung ähnelten quadratischen Gittern. Berichten zufolge hat das neue Modell eine völlig neue Konstruktionsfamilie entdeckt, die diesen lange gehegten Glauben übertrifft. Laut OpenAI ist dieser Fall der erste Fall, in dem KI ein bedeutendes offenes Problem in der Mathematik autonom löst.
Der Beweis basierte auf einem allgemeinen Denkmodell und nicht auf einem auf die Mathematik zugeschnittenen System und unterstreicht die Fähigkeit der KI, komplexe Denkaufgaben zu bewältigen und Ideen über verschiedene Bereiche hinweg zu verbinden. OpenAI betonte die möglichen Auswirkungen dieser Entwicklung auf Biologie, Physik, Ingenieurwesen und Medizin.
Der Mathematiker Thomas Bloom bemerkte, dass KI eine tiefere Erforschung der Mathematik ermögliche und stellte die Frage, welche anderen bedeutenden Entdeckungen noch bevorstehen könnten. „KI hilft uns, die Kathedrale der Mathematik, die wir im Laufe der Jahrhunderte aufgebaut haben, umfassender zu erforschen“, sagte er.
