În cea mai mare parte a secolului trecut, practica matematicii s-a schimbat remarcabil de puțin. Un matematician observă un model, scrie o presupunere, petrece luni sau ani construind o demonstrație, iar alți matematicieni o verifică. Acum, conform unui raport aprofundat al lui Benjamin Skuse în IEEE Spectrum, inteligența artificială începe să ocolească acest proces lent, deliberativ și forțează domeniul să se confrunte cu ceea ce înseamnă de fapt să fii matematician.
Piesa, publicată pe 25 iunie 2026, urmărește cât de repede au evoluat modelele de limbaj mari de la ceea ce criticii au considerat cândva papagali stohastici în motoare autentice de raționament matematic și ce înseamnă această schimbare pentru oamenii care au făcut întotdeauna această muncă. For more context on this story, see our ongoing breaking AI news.
Amprenta în creștere rapidă a IA în matematică
Calculul a accelerat matematica de zeci de ani. Punctul de cotitură a venit acum aproximativ 50 de ani, când a fost folosit un computer pentru a demonstra teorema celor patru culori, care întreabă dacă orice hartă poate fi colorată cu cel mult patru culori, astfel încât nicio regiune adiacentă să nu aibă o culoare. Răspunsul a fost da, dar dovada a fost controversată, deoarece s-a bazat pe verificarea a 1.936 de cazuri pe care niciun om nu le-a putut verifica în mod realist manual.
Chiar și prin acea eră computațională, matematicianul uman a rămas central, propunând presupuneri, elaborând strategii și verificând rezultatele. AI contestă acum acest aranjament direct. Vara trecută, sistemele de la Google DeepMind și OpenAI au atins un nivel echivalent cu cei mai dotați elevi de liceu din lume, obținând statutul de medalie de aur la Olimpiada Internațională de Matematică (IMO), competiția anuală în care concurenții trebuie să rezolve șase probleme notoriu de dificile.
Etapele au continuat să accelereze. La începutul anului 2026, sistemul experimental Google DeepMind Aletheia a produs în mod autonom rezultate de cercetare la nivel de doctorat care pot fi publicate. Deși lucrarea în sine este obscure din punct de vedere matematic, calculând constantele structurii în geometria aritmetică, semnificația constă în raționamentul complex necesar pentru a aborda o problemă nerezolvată anterior. Mai recent, un nou sistem AI de uz general de la OpenAI a infirmat o presupunere importantă în geometria combinatorie, un rezultat pe care matematicienii de top l-au salutat ca fiind o piatră de hotar pentru domeniu și care ar fi fost demn de publicat într-un jurnal important.
Asistenții de probă și blocajul de formalizare
O a doua schimbare a venit din împerecherea modelelor mari de limbaj cu asistenți de dovezi. Sisteme precum Isabelle, Lean și Rocq sunt limbaje de programare specializate care verifică dovezile matematice pas cu pas, verificând corectitudinea lor logică. De mai bine de un deceniu, blocajul a fost formalizarea, procesul laborios de traducere manuală a teoremelor și demonstrațiilor în cod care poate fi citit de mașină.
LLM-urile încep să elimine acest blocaj prin automatizarea traducerii dovezilor informale în cod formal pe care asistenții de probe îl pot verifica. În februarie, compania de inteligență artificială Math, Inc. și-a folosit agentul de raționament, numit Gauss, pentru a oficializa munca care i-a adus Maryna Viazovska de la EPFL o medalie Fields în 2022. Gauss i-a ajutat pentru prima dată pe matematicienii umani să finalizeze formalizarea soluției lui Viazovska la problema de ambalare a sferei 8-dimensionale, apoi problema de ambalare a sferei 8-dimensionale, apoi într-un caz mai complicat4 dimensional4 a zilelor formalizate. doar două săptămâni.
Astfel de realizări sugerează că AI se ocupă deja de sarcini considerate mult timp unic uman și că o mare parte din munca de zi cu zi a unui matematician ar putea fi în curând un joc corect pentru automatizare.
Matematicienii dezbat dacă devin „preoți pentru oracole”
Raportând de la cel de-al 12-lea Forum al laureaților din Heidelberg din septembrie 2025, Skuse descrie o neliniște palpabilă în audiență, în timp ce vorbitorii au descris un viitor în care sistemele AI supraomenești formează conjecturi, caută spații de soluții, demonstrează teoreme, verifică dovezile și generalizează rezultatele fără implicarea umană.
Yang-Hui He de la Institutul de Științe Matematice din Londra a avertizat în mod memorabil că matematicienii umani ar putea deveni „preoți ai oracolelor.” Jessica Randall, un matematician pentru Google Developer Groups, a spus că a simțit că teama existențială colectivă crește în rândul tinerilor cercetători. „Cu siguranță am început să realizăm că AI are potențialul de a ne înlocui”, a spus ea pentru IEEE Spectrum.
Nu toată lumea este alarmată. Unii matematicieni consacrați doresc pur și simplu răspunsuri la cele mai mari întrebări deschise, cum ar fi cele șase probleme rămase ale Premiului Mileniului, indiferent de cine sau de ce le produce. „Mulți matematicieni sunt pragmatici și vor doar să înțeleagă”, a observat Jeremy Avigad, de la Universitatea Carnegie Mellon. „Ei și-ar vinde sufletul pentru rezolvarea unei probleme”.
Trei viziuni concurente pentru viitor
Raportul IEEE Spectrum identifică trei viziuni largi asupra modului în care matematica și IA ar putea coexista.
Prima este o viziune centrată pe om care acordă prioritate înțelegerii umane și tratează AI ca pe un instrument, la fel ca un calculator. Medaliatul Fields și matematicianul de la Princeton, Akshay Venkatesh, susține că matematica este, în esență, o modalitate de a ajunge la un acord. „Uneori cred că atunci când folosim numere, nu este atât de mult faptul că descriem fenomene care sunt intrinsec numerice, ci că suntem cu toții de acord cu exact ce înseamnă numerele”, a spus el.
Al doilea subliniază experiența ireductibil de umană a luptei. Maia Fraser de la Universitatea din Ottawa susține că o dovadă AI a unei conjecturi încăpățânate este utilă numai dacă este înțeleasă de oameni. „Că afirmația poate fi dovedită de AI este deja o informație utilă”, a recunoscut ea. „Dar atunci este încă o problemă deschisă să vină cu o dovadă umană elegantă și frumoasă”.
Al treilea, și poate cel mai ambițios, vine de la Terence Tao de la UCLA, care a concurat pentru prima dată la olimpiada de matematică la vârsta de 10 ani și acum este unul dintre cei mai decorați matematicieni în viață. Tao vede AI ca catalizatorul a ceea ce el numește „matematică mare”, un viitor de colaborări descentralizate pe scară largă între oameni și mașini, în care problemele complexe sunt împărțite în bucăți, oamenii pretinzând munca creativă, iar AI se ocupă de munca tehnică.
O disciplină care întreabă de ce există
Ceea ce face momentul neobișnuit este că dezbaterea nu mai este ipotetică. Sistemele AI câștigă deja medalii de aur IMO, produc cercetări care pot fi publicate, infirmă presupuneri și oficializează dovezile câștigătoare a medaliei Fields în câteva zile, mai degrabă decât în ani.
Pentru studenți precum Trill White de la Universitatea Deakin din Australia, care au participat la forumul de la Heidelberg, realizarea a aterizat greu. „Este devastator”, își amintește White gândindu-se. "Cu ce vor trebui oamenii să contribuie la matematică? Va deveni ceva pe care nimeni nu-l înțelege?"
Răspunsul nu este încă stabilit. Dar, după cum arată clar raportarea lui Skuse, matematica, una dintre cele mai vechi discipline intelectuale ale umanității, se confruntă acum cu aceeași întrebare care remodelează aproape fiecare domeniu pe care îl atinge AI: când o mașină poate face treaba, pentru ce este de fapt munca?
Sursa: Benjamin Skuse, „What It Means to Be a Mathematician When AI Does the Math”, IEEE Spectrum, 25 iunie 2026.---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
