OpenAI oznámila, že jej interný model vyriešil Navier-Stokesov problém, jednu zo siedmich Millennium Prize úloh, na ktorej matematici márne pracovali približne 90 rokov. Na výsledku pracovala skupina zhruba 10 000 agentov bežiacich súčasne, a trvalo im to 88 hodín.
Announcing a solution to the Navier-Stokes problem, one of the seven Millenium Prize problem.
— Greg Brockman (@gdb) September 8, 2026
Represents a major milestone for both AI and mathematics, as well as pointing to an upcoming renaissance in scientific discovery.
Hoping that the knowledge created by this model can… https://t.co/nmn3KqIKW6
O čo v tom probléme ide
Navier-Stokesove rovnice popisujú, ako sa pohybuje tekutina, teda voda v potrubí, vzduch okolo krídla lietadla alebo prúdenie v oceáne. Používame ich pri predpovedi počasia aj pri návrhu áut, no nikto doteraz nedokázal, či tieto rovnice vždy dávajú rozumnú odpoveď. Otázka znela jednoducho: môže sa stať, že matematický popis prúdenia sa zrazu pokazí a rýchlosť v jednom bode narastie do nekonečna?
Čo AI dokázala
Odpoveď je áno, môže. Model našiel prípad, v ktorom sa vír, teda krútiaci sa zvitok tekutiny, špirálovito sťahuje dovnútra a naťahuje sa ako špageta, až v konečnom čase vznikne bod s nekonečnou rýchlosťou, hoci celková energia zostane konečná. Prakticky vás to pri kohútiku trápiť nemusí, skutočné tekutiny sú tvorené molekulami a takto sa nesprávajú. Význam je iný: konečne vieme, kde má náš matematický popis sveta hranice.
Prečo je to míľnik pre AI
Dôkaz nevznikol jedným promptom. Agenti si medzi sebou vymenili 2,7 milióna správ, spotrebovali približne 130 miliárd tokenov a náklady OpenAI odhaduje na niekoľko miliónov dolárov. Model za tým je podľa firmy výrazne silnejší ako GPT-6 Astra a stále sa trénuje. Podstatné je, že výsledok prešiel formálnym overením v jazyku Lean, čo je systém kontrolujúci každý krok dôkazu strojovo. Nejde teda o tvrdenie modelu, ktorému treba veriť, ale o dôkaz, ktorý sa dá overiť.
Spoluzakladateľ OpenAI Greg Brockman hovorí o nastupujúcej renesancii vedeckého objavovania. To sedí do debaty, ktorú v poslednom čase vedú Jensen Huang aj Demis Hassabis, teda či sa AI už posunula od pomocníka k samostatnému bádateľovi.
Holy cow, its official! OpenAI says its AI has solved the Navier–Stokes Millennium Prize Problem, a mathematical question unresolved for roughly 90 years.
— Chubby♨️ (@kimmonismus) September 8, 2026
An internal model, described as significantly more capable than GPT-6 Astra, powered a group of around 10,000 concurrent… https://t.co/1ER4smn1Ao pic.twitter.com/2OtlhDthz1
Kde treba byť opatrný
AI nestavala na zelenej lúke. Kľúčové techniky vyvinuli matematici Diego Córdoba a Luis Martínez-Zoroa, a Charles Fefferman z Princetonu k tomu povedal, že hrdinami príbehu sú práve oni. Zároveň prebieha spor o prvenstvo. Tristan Buckmaster z New York University pracoval na podobnom výsledku a tvrdí, že informácie o jeho postupe sa dostali k OpenAI. Časť vygenerovaných dôkazov navyše sám označil za balast. OpenAI uviedol, že o cenu milión dolárov sa uchádzať nebude.
Čo si z toho odniesť
Ide o prvý prípad, keď AI systém posunul hranicu v probléme tejto váhy a výsledok je strojovo overiteľný. Zároveň to nebola AI proti ľuďom, ale nadstavba nad prácou ľudských matematikov, zaplatená miliónmi dolárov za výpočtový výkon. Ak sa tento model po dotrénovaní dostane von, čaká nás rok, v ktorom sa bude pojem vedecký objav prepisovať. Sledujte aj to, ako sa vyvinie spor okolo prvenstva, lebo ten napovie viac o pravidlách hry než samotný dôkaz. Kontext ďalšieho vývoja nájdete aj v článku o tom, prečo OpenAI pozastavil tréning najsilnejších modelov.
OpenAI pribrzdil sám seba! Pozastavil tréning najsilnejších modelov