Das neue Schlussfolgerungsmodell von OpenAI hat ein bedeutendes ungelöstes Problem der Mathematik gelöst, indem es die „Ein-Einheits-Distanz-Vermutung“ von Paul Erdős aus dem Jahr 1946 mit einem eigenständigen Beweis widerlegt hat. Damit hat eine KI zum ersten Mal eigenständig ein zentrales mathematisches Problem mithilfe von langkettigem Schlussfolgern gelöst. Der Beweis wurde von Mathematikern unabhängig überprüft und führt eine neuartige Konstruktionsmethode ein, die bisherige Annahmen überwindet. Dieser Durchbruch zeigt bedeutende Fortschritte beim logischen Schlussfolgern von KI, die Probleme mit „Halluzinationen“ überwinden, und bietet potenzielle Anwendungsmöglichkeiten in Bereichen wie der Biologie und der Materialwissenschaft.