OpenAI susține că a rezolvat ecuația Navier-Stokes, dar matematicienii contestă și cer verificare independentă

OpenAI a anunțat marți că unul dintre modelele sale de inteligență artificială a rezolvat ecuația Navier-Stokes, una dintre cele șapte „Probleme ale Mileniului" selectate de Institutul de Matematică Clay în 2000, pentru care se oferă un premiu de un milion de dolari.

Compania a început antrenarea noului model pe 28 august și a decis la începutul lui septembrie să-l testeze pe unele dintre cele mai dificile probleme ale matematicii. Pentru ecuația Navier-Stokes au fost mobilizați aproximativ 10.000 de agenți AI care au lucrat coordonat. Soluția a fost obținută în aproximativ 88 de ore de la începerea experimentului, iar verificarea și transpunerea formală a demonstrației au mai necesitat 17 ore. Agenții au schimbat aproximativ 2,7 milioane de mesaje și au generat circa 130 de miliarde de tokeni. Puterea de calcul utilizată a costat milioane de dolari.

OpenAI susține că a demonstrat că mișcarea unui fluid poate deveni atât de instabilă încât ecuațiile Navier-Stokes să nu o mai poată descrie, și că demonstrația sa stabilește două dintre cele patru variante prevăzute în formularea oficială a problemei. Compania spune că nu intenționează să revendice premiul de un milion de dolari.

Cu toate anunțul triumfal, reușita OpenAI a stârnit critici și îndoieli în mediul matematic. Demonstrația nu a fost încă verificată independent și acceptată oficial de matematicienii americani. Terence Tao a exprimat regretul că soluțiile matematice sunt încredințate în întregime modelelor de IA, în loc să se pună accentul pe colaborarea dintre matematicieni și inteligență artificială. Președintele Institutului Clay a numit ziua entuziasmantă, dar a precizat că evaluarea unei soluții se face deliberat fără grabă — conform regulilor institutului, analiza unei metode nu poate avea loc decât la doi ani după publicarea într-o revistă științifică de prestigiu și după acceptarea de către comunitatea matematică.

Rezultatul anunțat de OpenAI a provocat o dispută cu Tristan Buckmaster și Levent Alpöge, care lucrau la aceeași problemă. Buckmaster susține că informații despre progresele lor ar fi ajuns la OpenAI înainte ca firma să înceapă să lucreze la problema Navier-Stokes. OpenAI neagă că ar fi avut acces la cercetarea celor doi înainte ca aceasta să devină publică și susține că soluția sa este semnificativ diferită. În mediul matematic se tem că rezultatele generate de IA ar putea deveni imposibil de verificat și ar împiedica progresul cercetării.