Google, a través de su división de investigación DeepMind, ha introducido un avance significativo en el campo de la inteligencia artificial aplicada al razonamiento matemático: el sistema denominado AlphaProof.
Este agente está diseñado para abordar problemas de nivel olímpico —como los que se presentan en la International Mathematical Olympiad (IMO)— combinando entrenamiento mediante aprendizaje por refuerzo, formalización automática de enunciados y un motor simbólico de resolución.
Según los investigadores, AlphaProof junto con su módulo complementario (para geometría) logró una puntuación equivalente a la de un medallista de plata en la IMO 2024, marcando así un hito en la capacidad de las máquinas para resolver problemas complejos que tradicionalmente requerían creatividad y entrenamiento intensivo humano.
Este logro no solo demuestra una mejoría en las habilidades de razonamiento de la IA, sino que también abre la puerta a herramientas de apoyo para matemáticos e investigadores que busquen explorar nuevos territorios de prueba y demostración formal.
Aunque AlphaProof aún presenta limitaciones, como los tiempos prolongados de cálculo y una dependencia fuerte en infraestructura de alta potencia, su aparición representa un paso firme hacia una IA que no solo predice texto, sino que razona de manera metódica.
0 Comments