OpenAI 26. října 2026 uvedla, že její interní modely dosáhly výsledků v harmonické analýze, výpočetní složitosti a kvantové teorii pole. O několik hodin později oznámila vlastní tvrzení o vyvrácení hypotézy exponenciálního času (ETH) také Anthropic. Pokud by výsledky obstály, měly by význam daleko za hranicemi výzkumu umělé inteligence. Zprávy z té doby však upozorňovaly, že zatím nebyly nezávisle potvrzeny.
2
3
7
Co tvrdí OpenAI
Důkaz o lokálním vyhlazování. Ve veřejném repozitáři OpenAI je rukopis Local smoothing for the Euclidean wave equation spolu s formalizací v systému Lean. Podle popisu důkaz potvrzuje Soggeho domněnku o lokálním vyhlazování vln ve všech prostorových dimenzích od dvou výše. Repozitář uvádí také důsledky pro Kakeyovu maximální a dimenzionální domněnku a pro Steinovy odhady sférické restrikce uvnitř předpokládaného rozsahu.
17 Jiná zpráva datuje Soggeho domněnku do roku 1991.
6 Rozsah tvrzení ale není důvodem říkat, že byla vyřešena každá verze Steinovy restrikční domněnky.
Vyvrácení ETH. OpenAI uvedla, že její model našel vyvrácení ETH — domněnky o výpočetní obtížnosti problémů splnitelnosti booleovských formulí. Firma zároveň připomněla, že ETH slouží jako předpoklad v mnoha podmíněných výsledcích informatiky.
13 Podle zpráv model výsledek vytvořil 16. října a následující den byl formalizován v Lean.
32 Veřejný repozitář OpenAI obsahuje rukopis s názvem The Exponential Time Hypothesis is False.
17
Pokud by vyvrácení bylo správné, změnilo by to status výsledků, které na ETH spoléhají. Subexponenciální algoritmus ale automaticky neznamená polynomiální algoritmus: například 2^√n roste rychleji než jakýkoli polynom, přesto je subexponenciální vzhledem k n. Platný algoritmus s časovou složitostí 2^o(n) pro 3-SAT by tedy vyvrátil ETH, sám o sobě by však nedokazoval, že P = NP. Jde o související, nikoli totožné otázky.
13
33
Výsledek v kvantové teorii pole. OpenAI dále tvrdí, že předložila matematicky rigorózní důkaz existence určitých interagujících kvantových teorií pole ve čtyřech rozměrech, včetně kvantové chromodynamiky (QCD).
1 Zprávy popisují tvrzení jako výsledek o existenci; nedokládají však, že byl vyřešen širší problém Yangových–Millsových teorií z Millennium Prize, včetně otázky hmotnostní mezery.
1
16
Konkurenční tvrzení Anthropic o ETH
Krátce po OpenAI představila vlastní údajné vyvrácení ETH také Anthropic. Jedna zpráva uvádí, že práce nesla název A 2^o(n) Time Algorithm for 3-SAT a byla připsána modelu Claude. Podle stejné zprávy matematik Anthropic Levent Alpöge uvedl, že jádro algoritmu model objevil 16. října „bez lidského vstupu“; výzkumníci pak s Claudem pracovali na prezentaci článku.
9
33 Jde o uváděné informace o původu práce, nikoli o nezávislé potvrzení její správnosti.
Pozoruhodné je, že podle zpráv obě laboratoře datovaly své klíčové výsledky o ETH na 16. října.
9
32 Do plánovaného přezkumu OpenAI se měli zapojit Russell Impagliazzo, Ramamohan Paturi a Ryan Williams, uvádí zpráva o skupině externích recenzentů.
20 Podstatné ale není, která firma oznámila výsledek první. Rozhodující je, zda odborníci mimo obě společnosti dokážou ověřit důkazy i jejich důsledky. Dostupné zprávy v té době uváděly, že tvrzení nezávislou kontrolou dosud neprošla.
3
5
33
Zveřejnění výsledků a otázky transparentnosti
OpenAI označila rukopisy vytvořené AI za „surová výzkumná data“, která mají externí akademici pomoci proměnit ve vědecké poznání.
2
11 Rukopisy o lokálním vyhlazování a ETH zveřejnila spolu s formalizacemi v Lean ve veřejném repozitáři.
17 Podle zpráv naproti tomu fyzikální skupina materiály vytvořené AI zadržela, zatímco připravovala vlastní výklad výsledku; mezi externími odborníky spojovanými s touto prací byl uveden David Gross.
11
32
Otázky se objevily také kolem transparentnosti dřívějších zveřejnění OpenAI. Podle shrnutí AI Edge Briefing obsahovalo výstupy typu chain of thought jen 10 ze 719 zveřejněných rukopisů a chyběla požadovaná strojově čitelná metadata propojující textové rukopisy s formálními důkazy.
18 To je důležitý kontext při hodnocení způsobu zveřejňování, samo o sobě to ale nepotvrzuje všechny výhrady k oznámením z 26. října.
Klíčové je rozlišovat mezi pozoruhodným tvrzením a ověřeným výsledkem. OpenAI zpřístupnila matematické rukopisy a artefakty v Lean, zatímco fyzikální materiály podle zpráv zůstaly během přezkumu neveřejné. Anthropic nabídla konkurenční tvrzení o ETH a popis toho, jak se na něm měl podílet její model. Dokud externí odborníci důkazy neprověří a nepotvrdí, co skutečně dokazují, nelze oznámení žádné z laboratoří považovat za uzavřený vědecký objev.
3
11
17
33