Un equip d'investigadors liderat per la Universitat de Pekín ha aconseguit un avenç significatiu en el camp de les matemàtiques gràcies a la intel·ligència artificial. El sistema desenvolupat, que combina raonament en llenguatge natural i verificació formal, ha estat capaç de resoldre i verificar una conjectura matemàtica plantejada l'any 2014 en aproximadament vuitanta hores de treball autònom. L'única intervenció humana durant tot el procés ha consistit a facilitar al sistema l'accés a documents restringits que no va poder obtenir per si mateix, sense necessitat d'aportar judici matemàtic durant la fase de resolució.
El model ha abordat un problema d'àlgebra commutativa proposat pel matemàtic nord-americà Dan Anderson i ha completat la seva verificació en aproximadament vuitanta hores d'execució. D'acord amb els investigadors, el sistema integra dos components principals que treballen de manera coordinada.
D'una banda, un agent de raonament informal encarregat d'explorar estratègies i construir possibles demostracions utilitzant un llenguatge matemàtic pròxim a l'humà. D'altra banda, un agent de verificació formal que tradueix aquestes proves a un format matemàtic rigorós i comprovable per màquina. Aquesta doble estructura permet que la màquina no només busqui solucions, sinó que també les validi automàticament, reduint així el marge d'error i la necessitat de supervisió externa.
Implicacions per al futur de la recerca matemàtica
Els autors de l'estudi sostenen que aquest enfocament permet automatitzar tasques que fins ara requerien col·laboració entre especialistes humans i supervisió constant. La capacitat del sistema per a treballar de manera autònoma durant hores sense necessitat de correcció externa suposa un canvi de paradigma en la manera d'abordar problemes complexos. Els investigadors assenyalen que, tot i que la conjectura resolta no es troba entre els problemes més cèlebres de les matemàtiques, el mèrit de l'assoliment rau en la metodologia. El sistema va demostrar ser capaç de combinar creativitat, entesa com la capacitat d'explorar camins no convencionals, amb el rigor necessari perquè una demostració sigui considerada vàlida per la comunitat científica.
El treball encara no ha estat sotmès a revisió per parells, un pas fonamental abans de ser acceptat per la comunitat científica. Aquesta circumstància no resta valor a la troballa, però sí que convida a mantenir una certa cautela sobre el seu abast real. Els investigadors reconeixen que persisteixen reptes importants, especialment pel que fa a la fiabilitat de les demostracions generades per intel·ligència artificial en contextos matemàtics complexos. A més, adverteixen que el sistema pot tenir dificultats amb problemes que requereixin intuïcions molt profundes o coneixements interdisciplinaris. No obstant això, consideren que el treball constitueix una prova de concepte sòlida que obre la porta a noves aplicacions.
La Xina reforça la seva aposta per la IA en l'àmbit científic i econòmic
El desenvolupament d'aquest sistema s'emmarca en una estratègia més àmplia de la Xina per posicionar-se com a líder mundial en intel·ligència artificial. En els últims mesos, han aparegut nous models xinesos com DeepSeek, així com tecnologies impulsades per grans empreses com Alibaba o ByteDance. Aquestes innovacions han elevat la visibilitat internacional del sector xinès i han revifat la competència tecnològica amb els Estats Units. Durant la reunió anual de l'Assemblea Nacional Popular, celebrada el passat mes de març, Pequín va reafirmar la seva aposta per integrar la intel·ligència artificial en diferents sectors de l'economia i per fomentar l'ocupació vinculada a aquesta tecnologia. El govern xinès ha destinat recursos significatius a la investigació en intel·ligència artificial aplicada a les ciències fonamentals, i aquest èxit matemàtic és un dels primers fruits visibles d'aquesta inversió.
Els investigadors de la Universitat de Pequín van indicar que la combinació de raonament en llenguatge natural i verificació formal podria facilitar la resolució de problemes complexos i reforçar la validació de resultats en el camp de les matemàtiques. Aquest enfocament obre la porta que les màquines no només assisteixin els investigadors humans, sinó que també actuïn de manera autònoma en l'exploració de problemes oberts.
En el futur, sistemes com aquest podrien col·laborar amb matemàtics per accelerar el ritme dels descobriments, encarregant-se de les verificacions més tedioses i permetent que els humans es concentrin en les idees conceptuals de més alt nivell. Tot i que encara queda camí per recórrer, la fita representa un pas endavant en l'automatització de tasques intel·lectuals que fins ara es consideraven exclusives de la ment humana. La cursa per liderar la intel·ligència artificial matemàtica està en marxa, i la Xina acaba d'anotar un punt significatiu.