OpenAI 8. září 2026 zveřejnila AI řešení Navier-Stokesova problému s formálním důkazem v jazyce Lean. Oznámení vyvolalo spor s matematiky, kteří firmě vyčítají načasování i způsob komunikace. OpenAI 22. září ustavila poradní skupinu pro matematiku a AI, která ale nemá pravomoc výzkum zpomalit.
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é.
