Announcing a solution to the Navier-Stokes problem, one of the seven Millenium Prize problem.

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

— Greg Brockman (@gdb) September 8, 2026

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.

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

— Chubby♨️ (@kimmonismus) September 8, 2026

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

Zdroje

• OpenAI: On the Navier-Stokes Millennium Prize Problem
• Oznámenie OpenAI na X
• Quanta Magazine
• TechCrunch: spor o prvenstvo

Príspevok AI vyriešila Navier-Stokesov problém: čo to naozaj znamená? je zobrazený ako prvý na ZAUJALOMA.AI.