OpenAI: KI soll berühmte Informatik-Vermutung widerlegt haben

OpenAI meldet drei neue Durchbrüche in Mathematik, Informatik und Physik, erzielt von eigenen KI-Modellen. Unabhängige Experten sollen die Beweise nun prüfen.

Für das größte Aufsehen sorgt die Behauptung, die sogenannte Exponentialzeit-Hypothese sei falsch. Sie besagt vereinfacht, dass sich bestimmte Logikprobleme wie 3-SAT nicht wesentlich schneller als in exponentieller Zeit lösen lassen, und dient seit 1999 als Grundlage für Hunderte Fachartikel. Laut OpenAI fand ein Modell am 16. Oktober einen Gegenbeweis, der danach im Beweisprüfsystem Lean formalisiert wurde. Prüfen sollen ihn Russell Impagliazzo und Ramamohan Paturi, die die Hypothese einst mitformuliert haben, sowie Ryan Williams vom MIT. Die Unterlagen sind auf GitHub öffentlich.

Dazu kommen ein Beweis der sogenannten Local-Smoothing-Vermutung aus der Analysis und, in der Physik, ein Existenzbeweis für Quantenfeldtheorien wie die Quantenchromodynamik. Diese Arbeit soll eine Gruppe um Nobelpreisträger David Gross begleiten.

Bestätigt sind die Ergebnisse noch nicht. Ein Beratergremium aus Mathematikern hatte erst kurz zuvor empfohlen, KI-Resultate nicht zuerst ausgewählten Fachleuten zu geben, sondern offen zu veröffentlichen. Schon Anfang Oktober hatte OpenAI Hunderte KI-Manuskripte freigegeben.