Compania OpenAI a publicat un volum masiv de rezultate care includ demonstrații complete sau parțiale pentru 372 de probleme matematice considerate anterior fără soluție. Anunțul, descris drept „mathpocalypse”, cuprinde un total de 722 de lucrări care au fost lansate simultan. Acest demers vine la scurt timp după ce OpenAI a prezentat o propunere de demonstrație pentru ecuațiile Navier-Stokes, una dintre cele șapte probleme ale Mileniului, recunoscute ca fiind printre cele mai dificile provocări ale matematicii moderne.
Evoluția tehnologică este remarcabilă, având în vedere că, în urmă cu mai puțin de doi ani, modelele de inteligență artificială prezentau dificultăți în rezolvarea unor exerciții de matematică de nivelul examenelor GCSE din Marea Britanie. Progresul este atât de rapid încât Timothy Gowers, profesor la Collège de France și la Universitatea Cambridge, a comparat avansul cu un tsunami care se apropie. Conform lui Gowers, în acest an, sistemele de inteligență artificială au evoluat de la un nivel comparabil cu un doctorand mediocru către unul apropiat de matematicianul cu experiență sau cercetătorul de top.
Volumul și complexitatea materialelor publicate fac ca verificarea independentă a demonstrațiilor să fie extrem de dificilă pentru matematicienii umani. Multe dintre rezultate nu au fost încă confirmate, iar cercetătorii se confruntă cu provocarea de a stabili dacă raționamentele sunt corecte. Scott Aaronson, profesor și director la Universitatea Texas din Austin, a descris această schimbare prin comparația unui om care descoperă brusc un complex turistic dotat cu heliport și piscine încălțite în mijlocul unei păduri tropicale, subliniind contrastul dintre metodele tradiționale și capacitățile AI.
Reacția comunității academice este divizată între entuziasm și critică. În timp ce unii cercetători consideră că noile rezultate pot accelera descoperirile și pot deschide direcții de cercetare noi, alții critică publicarea unui număr atât de mare de demonstrații fără timp pentru examinare. Terence Tao a distribuit o declarație a Asociației pentru Matematică Umană, care a cerut cercetătorilor să întrerupă colaborările cu OpenAI, susținând că publicarea a peste 700 de fișiere deodată este o demonstrație de putere, nu de erudiție.
OpenAI a declarat că își dorește ca aceste progrese să extindă frontierele cunoașterii și a precizat că a consultat matematicieni pentru a stabili modul de publicare a rezultatelor. Grupul condus de Terence Tao a îndemnat comunitatea să revină la o viziune asupra științei centrată pe înțelegerea umană. Această tensiune subliniază conflictul dintre viteza de generare a soluțiilor prin algoritmi și necesitatea riguroasă de validare a procesului de descoperire științifică în domeniul matematicii pure.
Dezvoltarea inteligenței artificiale în domenii abstracte precum matematica marchează o tranziție de la instrumente de calcul la sisteme capabile de raționament complex. Această evoluție reflectă o tendință globală în care modelele de limbaj și de calcul depășesc treptat limitele de performanță setate anterior pentru testele standardizate de educație. Impactul acestui progres asupra metodelor de cercetare universitare rămâne un subiect de analiză intensă pentru experții în informatică și matematică.