AlphaProof Nexus: la IA de Google que resuelve problemas matemáticos

Google DeepMind presentó AlphaProof Nexus, una herramienta de inteligencia artificial diseñada para resolver de forma autónoma problemas matemáticos complejos. La propuesta, descrita en la revista Science, genera demostraciones y emplea un sistema de verificación para asegurar solidez lógica. El equipo está liderado por el ingeniero español Francisco Ruiz. El artículo señala que, aunque los modelos de lenguaje a gran escala pueden abordar problemas matemáticos, pueden cometer fallos lógicos sutiles; para reducir esos errores, Nexus utiliza múltiples agentes de IA y retroalimentación con el asistente de demostración de teoremas Lean. En pruebas, resolvió nueve de 353 problemas y 44 de 492 conjeturas de la Enciclopedia On-Line.