OpenAI-KI löst eigenständig 80 Jahre alte Erdős-Mathematikvermutung
Ein allgemeines OpenAI-Reasoning-Modell — kein mathematisches Spezialsystem — hat eigenständig die planare Einheitsabstandsvermutung widerlegt, die Paul Erdős erstmals 1946 formulierte. Rund 80 Jahre lang gingen Mathematiker davon aus, dass die besten Lösungen für dieses kombinatorisch-geometrische Problem Gitterstrukturen ähnelten; das Modell entdeckte eine völlig neue Familie von Konstruktionen, die diese übertreffen — und widerlegte damit die bisherige Annahme. OpenAI bezeichnete dies als das erste Mal, dass eine KI eigenständig ein zentrales offenes Problem eines mathematischen Fachgebiets gelöst hat, und deutete das Ergebnis als Vorausschau auf das, was KI in Biologie, Physik und Ingenieurwesen erreichen wird.
Einordnung
Dieser Meilenstein signalisiert, dass das Reasoning-Niveau führender KI-Systeme über gesättigte Benchmark-Performance hinausgeht und in den Bereich echter wissenschaftlicher Entdeckungen vordringt. Dass ein allgemeines Modell — und kein Domänenspezialist — dieses Problem gelöst hat, unterstreicht das breite Transferpotenzial und verschiebt den Horizont für KI-Beiträge zur Grundlagenforschung.