OpenAI 8. září 2026 oznámila AI řešení Navier-Stokesova miléniového problému, který zůstával otevřený přibližně 90 let, a zveřejnila formální důkaz v systému Lean. Okamžitě se ale rozhořel spor: matematik z NYU i redakce MIT Technology Review upozorňují na pochybnosti o férovosti postupu OpenAI. Clayův matematický institut vypisuje za tuto úlohu odměnu 1 milion dolarů.
OpenAI zveřejnila 8. září 2026 blogový příspěvek s AI generovaným řešením Navier-Stokesova problému existence a hladkosti, jedné z nejprestižnějších otevřených otázek matematiky. Součástí publikace je formální strojový důkaz v jazyce Lean, který má umožnit nezávislé ověření.
MIT Technology Review a Wired téhož dne reportují, že oznámení se stalo předmětem kontroverze. Matematik z NYU i další akademici hovoří o tom, že OpenAI postupovala nefér vůči výzkumníkům, kteří na problému pracují celou kariéru. TechCrunch přímo cituje výhrady k tomu, jak firma komunikaci načasovala a zda dala akademické obci dostatečný prostor k ověření.
Simon Willison i matematik Terence Tao zveřejnili vlastní komentáře k situaci 8. a 9. září. Clayův Institut matematiky vypisuje za Navier-Stokes odměnu 1 milion dolarů; zda a komu bude vyplacena, závisí na nezávislém matematickém ověření formálního důkazu.
Proč by vás to mělo zajímat
Tohle je první případ, kdy AI laboratoř přihlásila nárok na miléniovou matematickou cenu. Pokud formální důkaz obstojí v recenzním řízení, mění se pravidla vědecké priority: AI systémy mohou být prvními navrhovateli řešení, která lidé desetiletí nezvládali. Sledujte reakce matematické komunity a Clayova institutu v nadcházejících týdnech, zatím nic nepovažujte za uzavřené.
