Los modelos de inteligencia artificial están ayudando a los matemáticos a descubrir y demostrar nuevos resultados a un ritmo cada vez más acelerado, según informa un reportaje de Quanta Magazine.
Este cambio cobró fuerza en julio de 2025, cuando varios modelos de IA lograron resolver cinco de los seis problemas planteados en la Olimpiada Internacional de Matemáticas. Aunque estos problemas de competición son acertijos con soluciones ya conocidas y no preguntas de investigación abiertas, su desempeño dejó atónita a la comunidad matemática.
Matemáticos que antes descartaban la IA por su propensión a cometer errores han empezado a utilizar esta tecnología para abrir nuevos horizontes. Algunos investigadores están logrando en un solo día lo que antes requería semanas o meses de trabajo manual, según señala el medio.
En ciertos casos, los algoritmos ya pueden formular una conjetura, demostrarla y verificar el resultado con una intervención humana mínima. Otros investigadores utilizan un diálogo extenso con modelos de lenguaje de gran tamaño, como ChatGPT, Claude o Gemini, para desarrollar estrategias de demostración novedosas.
Un cambio en la metodología de investigación
Terence Tao, un destacado matemático de la Universidad de California en Los Ángeles, señaló que 2025 marcó el año en que la IA se volvió verdaderamente útil para diversas tareas matemáticas.
“Este tipo tiene una pala. Este otro tiene un pico. Juntos podemos excavar un túnel”, afirmó Tao, describiendo la sinergia entre los investigadores humanos y las herramientas de IA.
Tao también predijo que el campo experimentará cambios estructurales significativos. Sugirió que, en lugar de estudiar un problema a la vez, los matemáticos utilizarán estas herramientas para resolver miles de problemas simultáneamente y realizar estudios estadísticos a gran escala.
Si bien la tecnología está transformando el flujo de trabajo, Tao señaló que nadie espera que la IA reemplace a los matemáticos humanos, aunque los cambios institucionales y culturales serán inevitables.
Daniel Litt, de la Universidad de Toronto, también confirmó que la IA está cambiando fundamentalmente la forma en que se practica la matemática, de acuerdo con el informe de Quanta Magazine.