Un nou model d’intel·ligència artificial no especialitzat en matemàtiques ha aconseguit resoldre demostracions matemàtiques a una velocitat comparable a la dels humans. Aquesta fita ha generat debat dins la comunitat científica, ja que tradicionalment els sistemes d’IA tenen dificultats amb el **raonament lògic pas a pas**, una habilitat clau per a les matemàtiques.

En els darrers anys, diverses eines d’IA han mostrat avenços en la resolució de problemes matemàtics, com ara Minerva de Google DeepMind, entrenada amb grans volums de dades matemàtiques. Aquest model ja superava estudiants de secundària en exàmens estandarditzats. Ara, el nou model destaca perquè soluciona **teoremes matemàtics** sense requerir entrenament específic en aquests tipus de qüestions i ho fa tan ràpid com una persona.

Aquesta novetat representa un avenç important, ja que la matemàtica és considerada per molts experts com la prova definitiva de les capacitats de l’aprenentatge automàtic: no només requereix reconèixer patrons, sinó també deduir i raonar de manera estructurada. Tot i que el model ja ha aconseguit èxits notables, la seva presentació primerenca ha creat controvèrsia, ja que s’esperava una anàlisi més detallada abans de fer pública la seva capacitat.

En conjunt, l’avenç demostra que la IA està començant a abordar reptes fonamentals del **raonament abstracte i la demostració matemàtica**, obrint la porta a futures aplicacions que podrien transformar la manera com es fa recerca matemàtica i s’ensenyen les matemàtiques.