OpenAI a anunțat că noul său model de inteligență artificială, care nu a fost încă lansat public, a găsit o soluție pentru problema Navier–Stokes — una dintre cele șapte „Probleme ale Mileniului”, considerate printre cele mai importante probleme nerezolvate ale matematicii moderne. Potrivit The New York Times, sistemul a avut nevoie de doar 88 de ore.
Problema Navier–Stokes este legată de ecuațiile care descriu mișcarea fluidelor și gazelor și care sunt folosite, printre altele, în modelarea vremii. De zeci de ani, matematicienii încearcă să stabilească dacă, în anumite condiții, soluțiile acestor ecuații pot „eșua” — adică dacă pot genera o singularitate într-un interval finit de timp. OpenAI susține că modelul său a reușit să demonstreze existența unui asemenea scenariu.
Pentru această sarcină, compania a folosit aproximativ 10.000 de agenți AI coordonați. Aceștia au elaborat atât o demonstrație analitică, cât și o versiune formalizată în limbajul Lean, care poate fi verificată automat. Potrivit cercetătorului OpenAI Sébastien Bubeck, rezultatul reprezintă punctul culminant al progresului rapid înregistrat de inteligența artificială în matematică în ultimul an.
Problema Navier–Stokes face parte din lista celor șapte „Probleme ale Mileniului”, formulată de Institutul Clay în anul 2000. Pentru rezolvarea fiecăreia este oferit un premiu de un milion de dolari. Până acum, doar una dintre cele șapte probleme a fost rezolvată oficial. OpenAI a anunțat însă că nu intenționează să revendice recompensa financiară.
Problema va putea fi considerată definitiv rezolvată abia după ce demonstrația va fi verificată riguros de matematicieni independenți. Nature notează că lucrarea a atras deja multă atenție și a generat discuții suplimentare, inclusiv pe fondul unor cercetări paralele realizate de alți oameni de știință asupra unor variante apropiate ale aceleiași probleme.
The New York Times consideră anunțul OpenAI unul dintre cele mai clare semne că inteligența artificială începe să transforme fundamental matematica avansată — un domeniu care, până de curând, era considerat una dintre cele mai înalte forme de activitate intelectuală exclusiv umană.