Terence Tao, matematicianul UCLA considerat pe scară largă drept cea mai influentă figură vie din domeniu, a publicat un eseu în care susține că inteligența artificială împinge matematica într-o perioadă de turbulențe comparabilă cu criza fundamentală care a remodelat disciplina cu un secol în urmă. Lucrarea, „Mathematics in the age of AI”, a apărut pe arXiv pe 17 august și se bazează pe o prelegere publică susținută de Tao la Congresul Internațional al Matematicienilor din 2026.
Eseul a devenit rapid unul dintre cele mai discutate texte științifice ale săptămânii printre cercetători și ingineri, atrăgând audiențe mari pe forumuri precum Hacker News. Pentru un domeniu care a petrecut ultimii trei ani dezbătând dacă AI poate face cu adevărat matematică la nivel de cercetare, argumentul lui Tao schimbă complet întrebarea.
O criză de valori, nu adevăr
Încadrarea istorică a lui Tao este deliberată. Între aproximativ 1900 și 1930, matematica a fost zguduită de paradoxul lui Russell în 1901 și de teoremele de incompletitudine ale lui Gödel în 1931 – descoperiri care i-au forțat pe matematicieni să abandoneze ipotezele informale și să construiască bazele explicite și riguroase pe care subiectul se bazează și astăzi. Această turbulență, susține el, a făcut în cele din urmă matematica mai puternică.
Paralela pe care o face este precisă: ceea ce este testat acum nu este cadrul matematicii pentru adevăr, ci „cadrul său în mare măsură implicit al valorilor și practicilor matematice” - ceea ce comunitatea consideră că este o contribuție, ce recompensează, ceea ce consideră că este înțeles și cine, sau ce, consideră că a făcut munca. La fel cum ultima criză a forțat implicitul să devină explicit, Tao susține că acesta va forța matematicienii să codifice obiective care nu au trebuit niciodată să fie scrise.
Omiterea dezbaterii privind capacitatea
Cea mai frapantă alegere structurală a eseului este că refuză să argumenteze dacă AI poate face matematică. În schimb, Tao condiționează ipoteza că vor ajunge instrumente AI capabile de sarcini matematice la nivel de cercetare și tratează totul în aval de această ipoteză ca fiind adevărata problemă. El numește aceasta „Întrebarea de răspuns a comunității”: cum ar trebui să răspundă comunitatea matematică, nu dacă capacitățile sunt reale.
Este o mișcare în mod deliberat ortogonală. Dezbaterile asupra capacității modelului, în povestirea lui Tao, sunt atât de nerezolvate în abstract, cât și pe lângă subiect. Întrebările urgente - pentru ce este matematica și ce prețuiesc de fapt practicienii ei - ar cere răspunsuri chiar dacă progresul AI s-ar bloca mâine.
Dovada deficitului, dovedirea abundenței și legea lui Goodhart
În centrul eseului este un studiu de caz privind rezolvarea problemelor, componenta practicii matematice cel mai direct amenințată de automatizare. Tao examinează ce se întâmplă atunci când domeniul trece de la o economie a deficitului de probe - unde dovezile verificate, originale sunt rare și prețioase - la una a abundenței de dovezi, în care argumentele generate de mașini sunt ieftine și abundente.
Lista sa de cuvinte cheie semnalează terenul pe care îl acoperă: formalizare, asistenți de dovezi, evaluarea de către colegi, legea lui Goodhart. Ultimul element – principiul că o măsură încetează să mai fie o măsură bună odată ce devine o țintă – se repetă pe tot parcursul. Numărul de publicații, rezultatele competiției și proveniența teoremei au servit toate ca indicatori pentru contribuția matematică. Într-o lume în care AI poate umfla acești proxy la scară, comunitatea va trebui să răsplătească ceea ce apreciază de fapt, mai degrabă decât ceea ce a fost capabil să numere istoric.
Eseul se încheie cu recomandări și un sondaj al fluxurilor de lucru emergente - inclusiv medii de dovezi formale de tipul pe care Tao însuși le-a susținut în experimente cu matematică asistată de inteligență artificială, verificată oficial - alături de o recunoaștere sinceră a faptului că răspunsul comunității va evolua pe măsură ce tehnologia va evolua.
De ce contează un eseu de matematică în afara matematicii
Tao este o figură neobișnuită: un medaliat Fields care a petrecut ani de zile lucrând direct cu asistenți de dovezi și instrumente AI, în loc să le comenteze de la distanță. Această implicare practică conferă eseului greutate dincolo de matematica pură, deoarece aproape fiecare disciplină de cercetare se confruntă cu aceeași inversiune pe care o descrie. Evaluarea inter pares, autoritatea, creditul și definiția unei contribuții sunt supuse aceleiași presiuni în fizică, biologie și informatică - domenii cărora le lipsește matematica veche de un secol, începe să-și explice fundamentele.
Recepția de până acum sugerează că argumentul a aterizat. Firele de discuție s-au concentrat pe încadrarea deficitului-a-abundență a lui Tao ca o lentilă utilă pentru mediul academic în general, cu o atenție deosebită asupra punctului său că criza valorilor, spre deosebire de criza fundațiilor, nu poate fi rezolvată de un grup mic de logicieni. Va trebui să fie elaborat de întreaga comunitate - reviste, comitete de angajare, organisme de grant și matematicieni ale căror cariere sunt construite pe normele implicite aflate acum sub presiune.
Concluzia lui Tao este mai degrabă constructivă decât alarmată. Criza fundamentală a produs un cadru de încredere care a supraviețuit unui secol de teste. O examinare amănunțită și sinceră a ceea ce matematica apreciază de fapt, susține el, ar putea lăsa disciplina mai puternică și mai rezistentă decât înainte - cu condiția ca comunitatea să facă munca de a-și face regulile nescrise explicite înainte ca circumstanțele să facă alegerea pentru aceasta.
---
Rămâneți înaintea AIObțineți cele mai recente știri, analize și descoperiri despre AI - toate într-un singur loc.
Citiți mai multe știri AI →
