Stephen Wolfram a petrecut patru decenii construind software care automatizează matematica, iar acum se trezește să respingă ideea că inteligența artificială va termina treaba. Într-un eseu lung intitulat „Care este viitorul cercetării matematice pure în era AI?”, publicat pe blogul său Writings și reaprinzând dezbaterea pe Hacker News în acest weekend, fizicianul și fondatorul Wolfram Research susține că apelurile de a preda matematica pură AI se bazează, în cuvintele sale, pe „neînțelegerile fundamentale” despre ce înseamnă matematica și ce înseamnă matematica.
„Titulele continuă să vină: un astfel de sistem AI a rezolvat așa și așa o problemă de matematică”, scrie Wolfram în deschiderea eseului. Ceea ce urmează acestor titluri, spune el, este o concluzie familiară - că matematicienii umani nu mai sunt necesari - și o nerăbdare din partea lui față de argumente care ignoră istoria propriului său domeniu. For more context on this story, see our ongoing AI trends.
Precedentul Mathematica
Contraargumentul lui Wolfram începe cu istoria personală. Când Mathematica a fost lansat în 1988, își amintește el, s-a vorbit similar că matematica era pe cale să fie automatizată în inutilitate. Nu așa s-a jucat. Software-ul a înlocuit anumite sarcini mecanice – „dacă elaborarea integralelor simbolice era ceea ce cineva crede că înseamnă cu adevărat matematica, atunci, da, Mathematica l-a înlocuit în esență”, scrie el – dar miezul matematicii pure, partea care definește disciplina, a fost neatins. În schimb, automatizarea a ridicat nivelul pe care practicanții de matematică îl puteau atinge.
Distincția contează pentru că, în relatarea lui Wolfram, aplicarea tehnicii matematice nu este același lucru cu cercetarea matematică. Calculele care odată consumau cariere au devenit apeluri cu o singură linie, iar matematicienii au urcat pe scara abstracției mai degrabă decât să-și piardă un loc de muncă.
La ce este de fapt bună IA în matematică
Eseul este departe de a disprețui AI-ul modern. Wolfram îl numește „în mod incontestabil util, uneori foarte util” și identifică cea mai mare contribuție la matematică ca fiind capacitatea de a extrage cunoștințele acumulate din domeniu. În cazul în care un cercetător din anii 1970 s-a bazat pe căutările de cuvinte cheie din literatură, sistemele moderne pot scoate la suprafață conexiuni între corpuri de lucru pe care niciun om nu le-ar putea ține în minte.
„Oamenii fac și asta în mod obișnuit”, scrie el despre adunarea rezultatelor în noi concluzii. „Dar ei tind să fi citit doar sute de lucrări; AI au citit efectiv milioane”. Asimetria face AI un colaborator puternic pentru găsirea de combinații surprinzătoare de rezultate cunoscute.
Dar regăsirea și recombinarea, susține el, se confruntă cu o limită dură la frontieră. „Matematica grozavă este – mai mult decât orice altceva – definită de întrebările pe care le pune.” Iar întrebările, în opinia lui, vin din imaginația umană. O IA poate automatiza ceea ce matematicienii trebuiau să facă ei înșiși; încă nu poate decide ce merită făcut.
Calculul generează teoreme, nu sens
Cea mai clară parte a eseului distinge IA modernă de calculul brut, o distincție pe care Wolfram a dezvoltat-o încă de la munca sa asupra automatelor celulare în anii 1980. Calculul pur, notează el, poate genera la nesfârșit noi teoreme - o succesiune infinită de fapte matematice, completă cu surpriză și originalitate, fără AI. Propriul său concept de ireductibilitate computațională implică faptul că regulile simple pot produce rezultate pe care nicio scurtătură nu le poate prezice.
Cu toate acestea, teoremele produse în acest fel sunt, după cum spune el, doar „rezultate culese din universul computațional”. Ceea ce ridică un rezultat în matematică este locul său într-o structură pe care oamenii o consideră semnificativă - o judecată despre importanța pe care niciun proces de generație nu o oferă.
De ce există matematica pură
La baza argumentului se află o viziune asupra matematicii ca o instituție umană, mai degrabă decât o grămadă de afirmații adevărate. De la Platon și Euclid încoace, scrie Wolfram, matematica pură a fost exemplul definitoriu al gândirii abstracte care construiește o structură din ce în ce mai mare - „cel mai mare edificiu intelectual pe care l-a construit civilizația noastră”. Întoarcerea sa din secolul al XIX-lea către abstractizare a despărțit-o de intuiția cotidiană, iar valoarea sa a depins întotdeauna de practicieni care decid ce părți ale unui spațiu infinit de posibilități merită atenție.
Cercetările proprii ale lui Wolfram au înconjurat această întrebare de ani de zile, de la spațiul tuturor sistemelor de axiome posibile la structura limitativă a rețelei de teoreme până la rolul pe care oamenii îl joacă în definirea disciplinei. Noul eseu aplică acest fundal momentului prezent: AI schimbă dramatic economia muncii matematice, dar direcția întreprinderii - ce să dovedească, de ce să-i pese, ce contează ca central mai degrabă decât periferic - rămâne o moștenire umană.
Nimic din toate acestea îl face pe Wolfram un sceptic AI; compania sa încorporează învățarea automată în întreaga linie de produse. Îl face unul precis. Concluzia lui nu este că inteligența artificială va lăsa matematica neatinsă, ci că viitorul interesant este colaborarea - mașini care manipulează scara, regăsirea și verificarea, în timp ce oamenii păstrează custodia întrebărilor. Eseul sugerează că atâta timp cât importanța matematică este o chestiune de judecată mai degrabă decât de calcul, fișa postului matematicianului supraviețuiește tranziției, chiar dacă aproape orice altceva despre job se schimbă.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
