OpenAI spune că AI-ul a rezolvat o problemă de matematică veche de 90 de ani. Au lucrat 10.000 de agenți simultan
OpenAI susține că a găsit o soluție pentru una dintre cele mai dificile probleme rămase deschise în matematică, folosind aproximativ 10.000 de agenți AI care au lucrat în paralel timp de 88 de ore. Este vorba despre problema Navier-Stokes, care încearcă să explice matematic comportamentul fluidelor și care a rămas fără o demonstrație completă timp de aproximativ nouă decenii.
Anunțul făcut pe blogul companiei nu înseamnă însă că problema a fost deja declarată rezolvată oficial. Soluția prezentată de OpenAI trebuie verificată de matematicieni, iar Clay Mathematics Institute, organizația care a inclus problema Navier-Stokes printre cele șapte Millennium Prize Problems și oferă un premiu de un milion de dolari pentru rezolvarea ei, nu a validat deocamdată demonstrația.
Cum au lucrat cei 10.000 de agenți AI
Potrivit OpenAI, experimentul a folosit un sistem în care mii de agenți AI puteau lucra simultan și comunica între ei. Aceștia erau alimentați de un model intern al companiei și aveau acces la instrumente precum rularea de cod și o versiune stocată a internetului. În loc să încerce să rezolve problema cu un singur model, OpenAI a împărțit munca între un număr foarte mare de agenți care puteau explora în paralel diferite direcții.
Primele instanțe ale sistemului au fost pornite pe 2 septembrie, iar rezultatul prezentat de companie a fost obținut pe 5 septembrie. În total, procesul ar fi durat aproximativ 88 de ore. Pentru un domeniu în care o demonstrație poate necesita luni sau chiar ani de muncă, abordarea este neobișnuită nu doar prin folosirea AI, ci și prin numărul de agenți implicați.
Problema Navier-Stokes face parte din cele șapte probleme matematice selectate de Clay Mathematics Institute în anul 2000. Fiecare dintre ele a fost considerată suficient de importantă și de dificilă pentru a primi un premiu de un milion de dolari. Printre celelalte se află celebra Ipoteză Riemann, una dintre marile întrebări ale teoriei numerelor.
Ecuațiile Navier-Stokes sunt folosite pentru a descrie mișcarea fluidelor, de la apă și aer până la fenomene mai complexe. Dificultatea nu este să găsești exemple în care ecuațiile funcționează, ci să demonstrezi matematic dacă soluțiile pentru aceste ecuații rămân suficient de regulate în toate situațiile relevante.
De ce apar deja întrebări despre demonstrația OpenAI
Anunțul OpenAI a venit într-un moment în care alți matematicieni lucrau la aceeași problemă. Tristan Buckmaster, profesor de matematică la New York University, a spus că lucra împreună cu Levent Alpöge, cercetător asociat rivalului Anthropic, la probleme care includeau Navier-Stokes.
Buckmaster a ridicat întrebări după ce a aflat despre rezultatul OpenAI și despre direcția urmată de companie. El a sugerat că abordarea seamănă cu cea a cercetării desfășurate de echipa sa și a pus sub semnul întrebării cât de realist este ca o astfel de direcție să fie găsită în doar câteva zile pornind de la enunțul problemei.
Matematicianul nu a spus însă că OpenAI le-ar fi folosit cercetarea și a precizat că nu a văzut demonstrația companiei. Întrebarea este relevantă și pentru că OpenAI recunoaște că proiectul său a început pe 1 septembrie, după ce cercetătorii au auzit un zvon despre existența unor progrese în rezolvarea problemei. Compania spune că a aflat ulterior că zvonul se referea la munca lui Alpöge și Buckmaster.
OpenAI susține că agenții săi și cercetătorii companiei nu au avut acces la lucrările celor doi înainte ca acestea să devină publice și că nu au fost accesate date specifice ale utilizatorilor. În același timp, compania nu exclude posibilitatea ca date anonimizate provenite din folosirea produselor sale să fi contribuit anterior la îmbunătățirea modelelor.
Deocamdată, cea mai importantă etapă urmează: verificarea demonstrației. În matematică, faptul că un sistem AI produce ceea ce pare a fi o soluție nu este suficient pentru ca o problemă de asemenea anvergură să fie considerată rezolvată. Demonstrația trebuie analizată și verificată, iar abia după aceea se poate spune dacă OpenAI a făcut într-adevăr ceea ce susține.