OpenAI gab am Montag bekannt, dass sein allgemeines Reasoning-Modell das Problem der planaren Einheitsabstände gelöst hat, eine offene Frage der diskreten Geometrie, die der Mathematiker Paul Erdos 1946 erstmals formulierte. Dieser Erfolg markiert das erste Mal, dass ein KI-System autonom ein prominentes offenes Problem gelöst hat, das für ein Teilgebiet der Mathematik zentral ist.
Was die KI entdeckte
Fast 80 Jahre lang glaubten Mathematiker, dass optimale Lösungen des Erdos-Problems grob quadratischen Gittern ähneln. Das OpenAI-Modell widerlegte diese Annahme und erzeugte eine völlig neue Familie von Konstruktionen, die eine bessere Leistung erbringen. Der Beweis stammt von einem allgemeinen Reasoning-Modell, nicht von einem speziell für Mathematik entwickelten System, und wurde in der Verifikationssprache Lean formalisiert.
Expertenverifikation
Der Fields-Medaillen-Träger Terence Tao überprüfte und akzeptierte den Beweis und verlieh ihm Glaubwürdigkeit in der mathematischen Gemeinschaft. Das Ergebnis wurde als Beginn einer neuen Ära beschrieben, in der KI-Systeme lange Argumentationsketten zusammenhalten und Ideen aus entfernten Gebieten verbinden können.
Auswirkungen über die Mathematik hinaus
OpenAI sagte, dass dieselben Fähigkeiten, die diesen mathematischen Durchbruch ermöglichten, bald die Arbeit in Biologie, Physik, Ingenieurwesen und Medizin beschleunigen werden. Das Unternehmen betonte, dass menschliches Urteilsvermögen unerlässlich bleibe – KI könne suchen, vorschlagen und verifizieren, aber Menschen wählen die Probleme aus, die wichtig sind, und interpretieren die Ergebnisse.