OpenAI 26. října 2026 oznámila tři výsledky vytvořené svými modely: důkazní tvrzení z harmonické analýzy, údajné vyvrácení významné hypotézy teoretické informatiky a výsledek o existenci určitých kvantových teorií pole. Firma rukopisy označila za „surová výzkumná data“ a uvedla, že odborníci zvenčí mají pomoci proměnit je ve vědecké poznání. Netvrdila tím, že už výsledky nezávisle potvrdila odborná komunita.
13
26
Co OpenAI tvrdí
Matematika: Soggeho hypotéza lokálního vyhlazování
Podle OpenAI její modely dokázaly hypotézu lokálního vyhlazování, kterou Christopher Sogge formuloval v roce 1991, pro vlny ve všech prostorových dimenzích. Firma uvádí, že výsledek přináší také pokrok v Kakeyově a Steinově problému.
13
Záznam na GitHubu popisuje výsledek konkrétněji: důkaz se týká prostorových dimenzí od dvou výše, vede k Kakeyově hypotéze maximální funkce i dimenzionální hypotéze a poskytuje Steinovy odhady pro sférickou restrikci uvnitř předpokládaného rozsahu. Podle záznamu důkaz využívá pomocnou parciální diferenciální rovnici a k rukopisu je připojena formalizace v systému Lean.
2
Informatika: hypotéza exponenciální časové složitosti
OpenAI také tvrdí, že její model vyvrátil hypotézu exponenciální časové složitosti, známou pod zkratkou ETH. Jde o domněnku týkající se náročnosti řešení problémů splnitelnosti booleovských formulí. Podle médií model vytvořil údajný protipříklad 16. října a článek s důkazem byl zpřístupněn veřejnosti.
1
11
Dostupné zprávy ale neupřesňují natolik přesně rozsah ani časovou složitost popisovaného algoritmu pro počítání řešení, aby tyto podrobnosti bylo možné považovat za ustálené. Rozhodující bude samotné prověření důkazu.
Fyzika: existence kvantových teorií pole
Třetí tvrzení se podle zpráv týká existence určitých čtyřrozměrných kvantových teorií pole, mezi nimiž má být i kvantová chromodynamika (QCD).
4
11 Fyzikální materiály nebyly zveřejněny a dostupné zdroje neukazují přesně, jak zní příslušná věta ani zda výsledek splňuje požadavky problému Yangovy–Millsovy teorie, který patří mezi úlohy tisíciletí Clayova matematického institutu.
4
6
Tři výsledky, tři různé cesty ke kontrole
Matematika: OpenAI zveřejnila matematické rukopisy a formalizace v Lean na GitHubu. Záznam projektu uvádí, že navázala na postup z 6. října.
2
Informatika: Veřejně dostupné mají být také článek a důkaz k ETH. Russell Impagliazzo, Ramamohan Paturi a Ryan Williams dostali za úkol zorganizovat nezávislé odborné posouzení. Williams uvedl, že skupina nebude za práci placena a nepodepsala dohodu o mlčenlivosti. Jejich účast sama o sobě ovšem výsledek nepotvrzuje.
1
11
19
Fyzika: Na rozdíl od matematických materiálů podklady k fyzikálnímu tvrzení zveřejněny nebyly; podle zpráv o tom rozhodla fyzikální skupina.
4 OpenAI popsala obecnější úlohu externích „průvodců“ jako organizování odborníků, kteří mají výsledkům porozumět.
13
Média také spojila oznámení s příspěvkem pěti milionů dolarů Simonsově nadaci na pořádání workshopů. Tato informace ale nijak nedokládá, že některé z vědeckých tvrzení už bylo ověřeno.
11
Co zatím víme — a co ne
Oznámení potvrzuje, že OpenAI tato tvrzení představila a pro každý výsledek zvolila jiný způsob zveřejnění či odborného posouzení. Samo o sobě ale nepotvrzuje správnost důkazů ani jejich přijetí příslušnými vědeckými obory. Zprávy zveřejněné bezprostředně po oznámení uváděly, že nezávislé ověření ještě neproběhlo.
4
24
Opatrnost je důležitá zejména u fyzikálního výsledku: dostupné informace nestačí k závěru, že řeší problém tisíciletí institutu Clay. Veřejný rukopis, formalizace v Lean i práce odborné skupiny jsou součásti procesu prověřování — nikoli jeho konečný výsledek.