IA sorprende al mundo de las matemáticas

La inteligencia artificial está revolucionando la matemática, marcando un punto de inflexión en el verano de 2025. Este cambio se evidenció cuando modelos de IA resolvieron con éxito cinco de seis problemas del International Mathematical Olympiad, sorprendiendo a la comunidad matemática. Inicialmente, los matemáticos se mostraron escépticos, pero pronto descubrieron que la IA no solo era buena en resolver problemas conocidos, sino que también podía ayudar a generar nuevos resultados y estrategias de demostración, acelerando el proceso de investigación. Matemáticos como Terence Tao están liderando esta transformación, utilizando herramientas de IA para abordar miles de problemas simultáneamente y realizar estudios estadísticos. Aunque la IA no reemplazará a los matemáticos, sí está transformando la forma en que se hace la investigación, generando cambios institucionales y culturales. El creciente interés en la IA para la matemática también ha impulsado a algunos matemáticos a trabajar en empresas tecnológicas y startups especializadas, buscando combinar el aprendizaje automático con la precisión matemática. Un desafío reciente, 'First Proof', demostró la capacidad de la IA para resolver problemas de investigación, superando incluso la capacidad de algunos investigadores humanos, y sugiriendo que esta tecnología podría ser más poderosa que las computadoras tradicionales.