OpenAI nu a terminat de valorificat cele mai dificile întrebări deschise din matematică – cel puțin nu în ceea ce privește meritul rezolvării lor, deoarece compania declară că nu dorește banii.

La câteva zile după ce a revendicat o soluție pentru ecuațiile Navier-Stokes, OpenAI a declarat pentru New York Times că a făcut „progrese substanțiale” la o altă Problemă a Premiului Mileniului, una dintre cele șapte mari enigme pe care Institutul de Matematică Clay le-a susținut cu o recompensă de 1 milion de dolari începând cu anul 2000.

OpenAI încă nu a precizat la ce problemă se referă, dar experții, entuziaștii – și jurnaliștii – au propriile teorii.

Discuțiile de pe rețelele sociale s-au concentrat pe Conjectura Hodge, un puzzle din 1950 despre cum să numeri „găurile” în forme geometrice complexe – genul cu atât de multe dimensiuni încât nimeni nu le poate vizualiza de fapt. Matematicianul William Hodge a propus o scurtătură folosind algebra în loc de geometrie pentru a face acest lucru, dar nimeni nu a dovedit că scurtătura funcționează întotdeauna.

OpenAI nu a confirmat această presupunere și nici nu a confirmat zvonurile conform cărora modelul nelansat din spatele acestei lucrări este versiunea Aeon zvonită, construită pentru sarcini pe termen lung și fluxuri de lucru agentice. Ambele sunt speculații, nu declarații ale companiei.

Pe 8 septembrie, OpenAI a declarat că un model intern nelansat a produs o dovadă verificată Lean – Lean fiind un software care verifică o demonstrație matematică pas cu pas logic – arătând că ecuațiile Navier-Stokes, care descriu modul în care se mișcă fluidele precum aerul și apa, pot „exploda” într-o viteză infinită imposibilă fizic. A ajunge aici a necesitat aproximativ 10.000 de agenți AI coordonați, lucrând timp de aproximativ 88 de ore.

Acesta este un lucru important dincolo de departamentul de matematică. Navier-Stokes stă la baza proiectării aeronavelor, a prognozei meteo și a modului în care medicii modelează fluxul sanguin, și a rezistat unei explicații matematice complete timp de aproape 90 de ani.

Dar anunțul a fost dezordonat. Matematicianul NYU Tristan Buckmaster și-a prezentat versiunea într-o declarație de patru pagini: el și cercetătorul Anthropic Levent Alpöge au urmărit în secret o dovadă înrudită timp de aproape un an și au terminat până pe 22 august – înainte ca Sébastien Bubeck de la OpenAI să afle despre aceasta și să se grăbească să publice primul.

Buckmaster spune că Bubeck i-a spus să lase OpenAI să publice a doua zi după echipa sa sau să scrie el singur, fără Alpöge, deoarece acesta lucrează la un laborator rival. „De ce ți-ai ruina cariera?” i-ar fi spus Bubeck când a refuzat.

Acest nou val de modele AI sunt atât de puternice încât fac matematica să pară interesantă. În aceeași săptămână, Anthropic a declarat că modelul său Claude a formalizat o dovadă veche de 358 de ani a Ultimei Teoreme a lui Fermat în 11 zile, iar matematicianul Terence Tao a avertizat că laboratoarele AI care concurează între ele epuizează stocul de probleme matematice dificile și utile mai repede decât pot fi găsite altele noi.

OpenAI declară că nu urmărește premiul de 1 milion de dolari pentru publicarea niciunui rezultat – folosește problemele ca un etalon public pentru cât de repede se îmbunătățesc modelele sale. Următorul test al acestui etalon este dacă Institutul Clay, sau orice matematician din afara companiei, poate confirma independent chiar și una dintre afirmațiile sale – un proces care, pentru submisiunile anterioare ale Premiului Mileniului, a durat ani, nu săptămâni.