OpenAI oznámila tři vědecké výsledky AI: nyní je prověří výzkumníci

OpenAI 26. října 2026 oznámila tři výsledky interního modelu v harmonické analýze, teorii výpočetní složitosti a kvantové teorii pole. Ústředním tvrzením v informatice je vyvrácení hypotézy exponenciálního času (ETH), která se používá pro podmíněné odhady složitosti v mnoha výzkumných studiích. Společnost zveřejnila rukopis a formalizaci v Leanu; skupina externích teoretiků organizuje další zkoumání závěru.

Podle oznámení OpenAI z 26. října model formuloval vyvrácení ETH 16. října a 17. října byl výsledek formalizován v Leanu. Práce popisuje deterministický subexponenciální algoritmus pro přesné počítání splňujících přiřazení u formulí k-CNF pro pevné k. Pokud závěr obstojí při vědeckém přezkumu, ovlivní podmíněné odhady složitosti úloh v několika oblastech.

Co přesně Lean ověřuje

Zveřejněná poznámka o rozsahu formalizace ETH vymezuje přesné hranice strojového ověření: pro pevné k Lean dokazuje, že deterministický stroj přesně spočítá řešení kanonicky zakódované k-CNF v subexponenciálním čase a s polynomiální spotřebou prostoru. Rukopis z 25. října uvádí silnější časový odhad, než jaký obsahuje formalizované tvrzení.

Formální výsledek se tedy vztahuje ke konkrétnímu zadání úlohy, kódování a odhadům zdrojů. Lean ověřuje důkaz v rámci daného formálního systému; odborníci musí posoudit vztah tohoto tvrzení k ETH, výklad argumentu i jeho vědeckou novost. Prakticky má tedy práce nyní status zveřejněného tvrzení o vyvrácení, doplněného formalizací a externím ověřováním.

Kdo bude práci zkoumat

OpenAI uvedla, že skupinu, která bude zkoumat a vysvětlovat výsledek týkající se ETH, povedou Russell Impagliazzo, Ramamohan Paturi a Ryan Williams. Impagliazzo a Paturi spolu s Francisem Zanem navrhli původní hypotézu. V dopise výzkumníků komunitě teoretické informatiky je účast skupiny oddělena od potvrzení závěru: výsledek vyžaduje pečlivé zkoumání. Podle OpenAI skupina požádala o otevřený přístup k původním materiálům a o financování konference, na níž by se projednaly důsledky práce.

Druhý výsledek se týká hypotézy lokálního vyhlazování pro vlnovou rovnici. OpenAI tvrdí, že získala důkaz pro všechny dimenze a spojuje jej s důsledky pro Kakeyovu hypotézu a Steinovu hypotézu o Fourierově transformaci. Společnost zveřejnila text výsledku i popis rozsahu jeho formalizace v Leanu. Matematikové budou muset posoudit obsah důkazu i jeho důsledky.

Fyzikální výsledek byl zveřejněn jinak

Ve fyzice OpenAI oznámila důkaz existence některých interagujících kvantových teorií pole ve čtyřech dimenzích, včetně kvantové chromodynamiky a čisté Yangovy–Millsovy teorie. Externí skupina vedená Davidem Grossem se rozhodla materiály vytvořené modelem zatím nezveřejnit a připravit vlastní výklad. Čtenáři proto v tomto případě zatím nemohou studovat veřejné důkazní materiály stejně jako u ETH a lokálního vyhlazování.

Tvrzení o existenci Yangovy–Millsovy teorie souvisí s problémem Institutu Clay týkajícím se Yangovy–Millsovy teorie a hmotnostní mezery, nejde však o totožné tvrzení. Problém institutu Clay vyžaduje dokázat jak existenci kvantové Yangovy–Millsovy teorie, tak existenci hmotnostní mezery; institut uvádí, že důkaz této vlastnosti zatím není znám.

Pro informatiky je nejkonkrétnějším dalším krokem porovnat formalizaci ETH s doprovodným rukopisem a závěry nezávislé skupiny. OpenAI zvlášť upozorňuje, že hledání rychlejších algoritmů a převedení teoretických zlepšení do praxe si vyžádá další práci. Hlavní zprávou z 26. října jsou tři tvrzení o vědeckých výsledcích, k nimž je různý přístup k materiálům a uplatňují se různé postupy ověřování; jejich místo ve vědě určí další analýza výzkumníků.