OpenAI soll subexponentiellen Algorithmus für 3-SAT entwickelt haben
TL;DR
OpenAI soll einen subexponentiellen Algorithmus für das 3-SAT-Problem entwickelt haben, eine zentrale Aufgabe der Komplexitätstheorie. Der Bericht beruft sich auf Two Minute Papers und behauptet, der Ansatz löse 3-SAT in einer Laufzeit unterhalb des exponentiellen Bereichs, den die Exponential Time Hypothesis bislang als praktisch unvermeidbar annimmt. Das wäre eine grundlegende Verschiebung für die theoretische Informatik und bestimmte Optimierungsprobleme.
Nauti's Take
Für AI-Teams ist das aktuell vor allem ein Quellenqualitätscheck. Solange Originalpaper, Beweisführung, Laufzeitgrenzen und unabhängige Reproduktionen fehlen, sollte niemand daraus Entscheidungen für Solver, Planung oder Workflow-Architekturen ableiten.
Prüfe zuerst, welches 3-SAT-Modell gelöst wird und unter welchen Annahmen.
Video
Quellen