Progresista 100%Conservador 0%
La IA de Google DeepMind, AlphaProof, alcanza niveles de medallista en la Olimpiada Internacional de Matemáticas 2024
El avance en inteligencia artificial permite a los sistemas resolver problemas matemáticos complejos con estrategias que rivalizan con las humanas.
Publicado: 12 de noviembre de 2025, 20:26
Google DeepMind ha presentado AlphaProof, un sistema de inteligencia artificial que resuelve problemas matemáticos complejos, logrando un rendimiento comparable al de un medallista de plata en la Olimpiada Internacional de Matemáticas de 2024. Este desarrollo es significativo para la IA en competiciones académicas, destacándose por su capacidad de resolver algunos de los problemas más difíciles mediante un enfoque innovador que combina el aprendizaje por refuerzo y verificación formal.
El sistema ha sido entrenado con más de 80 millones de enunciados matemáticos y ha logrado resolver cuatro de seis problemas en la Olimpiada de 2024, colaborando con otro sistema de DeepMind, AlphaGeometry. Expertos como Ramón López de Mántaras y Carles Sierra han elogiado los resultados, destacando la importancia de la verificación formal que ofrece AlphaProof, aunque también advirtieron sobre sus limitaciones y la necesidad de la supervisión humana.
A pesar de las prometedoras capacidades de AlphaProof, los investigadores reconocen su alto costo computacional y los retos en extender su uso a problemas de investigación abierta. Sin embargo, existe un optimismo sobre el futuro de la colaboración entre humanos y la inteligencia artificial en el ámbito matemático.
El sistema ha sido entrenado con más de 80 millones de enunciados matemáticos y ha logrado resolver cuatro de seis problemas en la Olimpiada de 2024, colaborando con otro sistema de DeepMind, AlphaGeometry. Expertos como Ramón López de Mántaras y Carles Sierra han elogiado los resultados, destacando la importancia de la verificación formal que ofrece AlphaProof, aunque también advirtieron sobre sus limitaciones y la necesidad de la supervisión humana.
A pesar de las prometedoras capacidades de AlphaProof, los investigadores reconocen su alto costo computacional y los retos en extender su uso a problemas de investigación abierta. Sin embargo, existe un optimismo sobre el futuro de la colaboración entre humanos y la inteligencia artificial en el ámbito matemático.