Terence Tao: AI care rezolvă problemele prea repede ar putea „otrăvi” matematica
Terence Tao este genul de matematician care a petrecut ani de zile încercând în liniște noi instrumente AI și lăudându-le deschis pe cele bune. Dar după ce GPT-6 Astra a fost livrat, a scris ceva ce puțini oameni se așteptau de la el: dacă rețelele neuronale încep să dea răspunsuri la marile probleme deschise prea repede și fără un proces transparent, matematica ar putea pierde mai mult decât câștigă. Declanșatorul a fost un rezultat concret - noul model OpenAI susținea progres în problema twin prime.
În primul rând, faptele. GPT-6 Astra, conform OpenAI, a folosit dovezi formale în Lean pentru a micșora limita superioară a decalajului dintre numerele prime consecutive de la 246 la 186. Pentru scară: în 2013, Yitang Zhang a dovedit că există infinit de perechi de numere prime la o distanță de cel mult 70 de milioane. James Maynard, care a câștigat medalia Fields în 2022, a redus această valoare la 600, iar comunitatea a redus-o mai târziu la 246. Acum trei laboratoare au raportat numere noi simultan: OpenAI la 186, Anthropic la 188, Axiom la 212.
La suprafață, motiv de sărbătoare. Tao a văzut altceva – un semn de avertizare.
Răspunsul nu este partea cea mai valoroasă
Punctul de bază al lui Tao sună aproape paradoxal: o mare problemă deschisă este valoroasă nu pentru răspunsul ei, ci pentru drumul către ea. Când matematicienii se luptă cu o problemă ani de zile, ei inventează noi metode, concepte și teorii întregi pe parcurs – iar acele „produse secundare” sunt cele care fac să avanseze știința. Chiar și fundurile sunt utile: înțelegerea de ce o abordare a eșuat contează adesea mai mult decât găsirea soluției.
Acum imaginați-vă că răspunsul vine de la o rețea neuronală. Rapid, o cutie neagră, nu sunt afișați pași intermediari. Problema este rezolvată formal, dar procesul care trebuia să genereze idei noi nu s-a întâmplat niciodată. Tao numește această „poluare” problema: nu mai este o sursă de descoperiri viitoare.
Exemplul Navier-Stokes
Tao își desfășoară argumentul pe un caz concret - problema regularității globale pentru ecuațiile Navier-Stokes, una dintre cele șapte probleme ale Premiului Mileniului. Matematicienii sunt deja destul de siguri că răspunsul este negativ: există condiții inițiale în care soluția „explodează” în timp finit. Există chiar și un plan în patru pași schițat, de la construirea unei soluții aproximative auto-similare până la verificarea stabilității acesteia.
Problema este că fiecare pas este extrem de greu pentru un om, dar se potrivește perfect pe o linie de asamblare de „învățare automată + aritmetică riguroasă + dovezi formale”. Tao permite ca un astfel de hibrid să rezolve cu adevărat problema. Și aici este problema: dacă soluția se dovedește atât de complexă încât niciun om nu o poate înțelege, iar compania care conduce AI ascunde întregul proces în spatele ușilor închise, matematica primește o casetă de selectare, dar nu învață aproape nimic.
De ce contează asta dincolo de matematicieni
Logica lui Tao este mai largă decât pare. Se aplică oricărui câmp în care valoarea este creată în proces, nu în răspunsul final. Dacă AI începe să producă instantaneu soluții „corecte” și oamenii încetează să meargă pe calea încercării și erorii, riscăm să pierdem nu viteza, ci înțelegerea. Tao spune clar: în cel mai rău caz, influența AI asupra matematicii s-ar putea transforma de la pozitiv la negativ.
El nu este împotriva inteligenței artificiale în știință – departe de asta, el este unul dintre cei mai activi utilizatori ai săi. Ceea ce îl îngrijorează este un scenariu specific: un sistem autonom care învârte întregul ciclu „ipoteză – testare – respingere” în interiorul său, pe un calcul enorm, și oferă doar răspunsul final. Fără urme, fără ciorne, nicio modalitate de a învăța din greșelile sale.
Ce urmează
Deocamdată acesta este un avertisment, nu un verdict. GPT-6 Astra a micșorat limita la 186, dar conjectura principală geamănă în sine - că există infinit de astfel de perechi - rămâne nedovedită. Acesta este un rezultat intermediar, oricât de notabil. Întrebarea pe care o ridică Tao este mai profundă: cum să faci AI să accelereze știința fără a o scoate în adâncime. El nu are încă un răspuns - și, sincer, nici nimeni altcineva.