AI vyřešila 90 let starý problém za milion dolarů. Poučení pro vaši firmu je jednodušší, než čekáte

OpenAI tvrdí, že jeho umělá inteligence vyřešila Navier–Stokesův problém tisíciletí — úlohu, která odolávala matematikům devadesát let. Nedokázal to jeden model, ale roj 10 000 agentů. A recept, který za tím stojí, se dá použít i ve vaší firmě.

Devadesát let odolával jeden z nejtěžších problémů matematiky každému, kdo se ho pokusil rozlousknout. Minulý týden padl — ne rukou geniálního matematika, ale prací 10 000 AI agentů, kteří na něm pracovali 88 hodin a poslali si mezi sebou skoro pět milionů zpráv. OpenAI oznámil, že jeho interní model vyřešil takzvaný Navier–Stokesův problém, jednu ze sedmi „Millennium Prize" úloh s odměnou milion dolarů. A i když je výsledek zastíněný sporem o autorství, jedno je jasné: umělá inteligence právě vstoupila na pole, které bylo dosud výhradně lidské.

O co vlastně jde a proč je to bomba

Navier–Stokesovy rovnice popisují, jak se pohybují tekutiny a plyny — od vody v potrubí přes vzduch kolem křídla letadla až po počasí. Používají se v inženýrství každý den. Přesto zůstávala otevřená jedna zdánlivě prostá otázka: může se hladké proudění za těchto rovnic někdy „zlomit" a vytvořit takzvanou singularitu, tedy bod, kde by tekutina v nekonečně malém místě proudila nekonečně rychle?

Přesně tuhle otázku vyhlásil Clayův matematický institut v roce 2000 jako jeden ze sedmi problémů tisíciletí. Za vyřešení kteréhokoli z nich čeká milion dolarů. Do minulého týdne byl vyřešen jediný — Poincarého domněnka. OpenAI teď tvrdí, že jeho AI dokázala, že singularita ve třech rozměrech skutečně vzniknout může. Jinými slovy: turbulence je ještě podivnější, než matematici čekali.

Singularity nám říkají, že jakkoli přímočaře Newtonův druhý zákon vypadá, jeho důsledky pro tekutiny jsou hluboce neintuitivní.

Jak to AI dokázala — a proč by vás to mělo zajímat

Zapomeňte na představu jednoho chatbota, který vyplivne odpověď. OpenAI nasadil interní model, který je podle firmy „výrazně schopnější než GPT-6 Astra", a nechal ho pracovat jako roj. Až 10 000 autonomních agentů běželo paralelně, navzájem si předávalo mezivýsledky, ověřovalo se a stavělo na sobě. Celý proces trval zhruba 88 hodin a stál několik milionů dolarů na výpočetním výkonu.

Klíčový moment ale nastal až na konci. Hotový důkaz totiž AI nechala formálně ověřit v programovacím jazyce Lean — nástroji, který matematické tvrzení rozloží na strojově kontrolovatelné kroky a nepustí jediný logický skok bez důkazu. To je zásadní rozdíl oproti běžným „halucinacím" jazykových modelů. Když projde Lean, není to názor stroje — je to formálně ověřená pravda.

A právě tady je poučení pro každou firmu, která dnes nasazuje AI. Nejsilnější kombinace není „AI, které věříme na slovo", ale AI, jejíž výstup umíme automaticky ověřit. Ať už jde o účetní uzávěrku, právní rešerši nebo generovaný kód — hodnota vzniká tam, kde k výkonnému modelu přidáte kontrolní vrstvu, která jeho tvrzení nezávisle prověří. Roj plus ověřovatel. Přesně tento vzorec proměnil pravděpodobnostní stroj v nástroj, který obstál u devadesát let starého problému.

• Roj místo jednoho modelu — složitý úkol rozbitý mezi tisíce paralelních agentů zvládne to, na co jeden běh nestačí.
• Formální ověření na konci — výstup, který lze strojově zkontrolovat, eliminuje halucinace a dává výsledku důvěryhodnost.
• Výpočetní náklady jsou reálné — miliony dolarů za jeden problém ukazují, že špičkové AI výsledky nejsou zadarmo.
• Rychlost — 88 hodin na úlohu, která odolávala generacím matematiků, mění představu o tom, co je „dlouho".

Spor o autorství: temná stránka triumfu

Oslava má ale trhlinu. OpenAI podle svých slov začal na problému pracovat 1. září, poté co zaslechl „drb" o pokroku dvou výzkumníků — Leventa Alpögeho z Anthropicu a profesora matematiky Tristana Buckmastera z NYU. Vlastní důkaz OpenAI dokončil a ověřil v Leanu 6. září a teprve pak oslovil oba badatele s nabídkou společného oznámení. Tehdy se ukázalo, že jejich práce řešila příbuzný, ale odlišný problém — takzvané forsírované Eulerovy rovnice.

Buckmaster se k tomu vyjádřil ostře. Jeden z výstupů OpenAI podle něj „lze popsat jedině jako AI slop" a naznačil, že firma mohla využít jejich nezveřejněnou práci bez řádného uznání. Zároveň dodal, že celý myšlenkový základ postavili lidští matematici Diego Córdoba a Luis Martínez-Zoroa — a že Martínez-Zoroa si podle něj zaslouží Fieldsovu medaili. Jinými slovy: AI možná dala poslední kámen do mozaiky, ale mozaiku navrhli lidé.

Byl jsem nadšený, že se problém vyřešil.

Tenhle spor není jen akademická hádka. Ukazuje na otázku, která dopadne i na běžný byznys: komu patří výsledek, když ho vytvoří AI na základě cizí, možná nezveřejněné práce? Až budou vaše modely generovat návrhy produktů, marketingové strategie nebo technická řešení, budete potřebovat vědět, z čeho čerpaly a zda jste v právu použít to komerčně. Otázka atribuce a duševního vlastnictví se právě přesunula z teorie do praxe.

Co si z toho odnést

Ať už spor o autorství dopadne jakkoli, poselství pro podnikatele je jednoznačné. AI už není nástroj jen na sumarizaci e-mailů a psaní textů. Dokáže se pustit do problémů na úplné hranici lidského poznání — pokud jí dáte správnou architekturu: hodně paralelního výkonu, jasně definovaný cíl a nezávislé ověření výsledku.

Pro vaši firmu to neznamená, že zítra vyřešíte problém tisíciletí. Znamená to ale, že úkoly, které jste dosud považovali za „příliš složité na automatizaci", stojí za nový pohled. Rozdělte je na části, nechte na nich pracovat víc modelů souběžně a hlavně — postavte kontrolní vrstvu, která výstup prověří dřív, než na něj vsadíte peníze. Právě tahle kombinace odlišuje efektní demo od nástroje, kterému lze věřit. A to je, mimochodem, přesně ten milionový rozdíl.