L'ofensiva matemàtica de la IA porta la ciència a un territori inexplorat

A vegades la gent té una idea equivocada de les matemàtiques i pensa que seran superades pels ordinadors, va dir el matemàtic Alain Connes l'any 2000. Explicava així per què un equip de matemàtics de prestigi oferia recompenses d'un milió de dòlars per la solució a set enigmes matemàtics irresolubles. Aquests Problemes del Mil·lenni, segons Connes, són totalment inaccessibles per als ordinadors. Però els ordinadors van millorar. A principis de setembre, OpenAI va afirmar que un dels seus models interns de IA havia resolt un dels Problemes del Mil·lenni: el problema d'existència i suavitat de Navier-Stokes, que està relacionat amb el moviment dels fluids. Era només el segon d'aquests problemes a #resoldre i el primer a caure davant una màquina. Els matemàtics portaven almenys un segle #enfrontar a aquest problema. La IA ho va resoldre en 88 hores. Després va arribar el que Álvaro Lozano-Robledo, matemàtic de la Universitat de Connecticut, ha qualificat com “possiblement el dia més important en la història de les matemàtiques fins avui”. El 6 d'octubre, OpenAI va publicar un devessall de 719 articles en els quals detallava les solucions que el mateix model havia trobat a almenys altres 372 problemes oberts de llarga durada. Cap camp de recerca havia viscut mai un esdeveniment similar. Molts matemàtics no estan de celebració. «La commoció és enorme», va escriure Hugo Duminil-Copin, matemàtic de la Universitat de Ginebra, que va guanyar la Medalla Fields (el premi més prestigiós de les matemàtiques) en el 2022. «Estic paralitzat». En un comunicat publicat poc després de l'anunci sobre Navier-Stokes —i que ja compta amb el suport de més de 8.000 investigadors—, Duminil-Copin i altres 27 medallistes Fields van descriure la situació com una «greu desalineació de la IA en l'àmbit matemàtic». Els preocupa el risc que suposen les solucions deslligades de la comprensió humana. Si no es posa fre a aquesta tendència, adverteix Hairer, de la EPFL de Lausana, un altre dels signants, la IA «esterilitzaria el camp». Que els avanços matemàtics de la IA hagin provocat tals reaccions resulta, a primera vista, curiós. Obtenir respostes a preguntes plantejades des de fa temps suposa un avanç per a la humanitat. A més, els matemàtics tenen un interès personal a evitar canvis que perjudiquin les seves carreres. No obstant això, la seva postura no és simple autodefensa, i anticipa la polèmica que podria esclatar aviat en molts àmbits científics. Els matemàtics que s'oposen argumenten que #centrar només en les solucions descura la importància de la cerca d'aquestes. Abordar problemes oberts impulsa la invenció de noves eines i tècniques, algunes de les quals poden acabar resultant útils més enllà del seu propòsit inicial.