Un equipo de investigadores de Google DeepMind presentó AlphaProof Nexus, una nueva herramienta de inteligencia artificial (IA) capaz de resolver de forma autónoma problemas matemáticos complejos.

La herramienta busca demostraciones y utiliza un sistema de verificación para garantizar que las soluciones que ofrece sean sólidas desde el punto de vista de la lógica. Este jueves aparece descripta en un artículo en la revista Science.

En los últimos tiempos, los modelos de lenguaje a gran escala demostraron una capacidad cada vez mayor para resolver problemas matemáticos difíciles, pero su tendencia a producir errores lógicos sutiles o “alucinaciones” los hacía poco fiables para la investigación sin una revisión exhaustiva por parte de expertos humanos.

Para subsanar esta carencia, los investigadores desarrollaron AlphaProof Nexus, un sistema que utiliza múltiples agentes de IA para buscar demostraciones matemáticas con la retroalimentación del gestor oficial del lenguaje de programación y asistente de demostración de teoremas Lean.

En las pruebas, la herramienta fue capaz de solucionar nueve de los 353 problemas que se plantearon, incluidos dos que llevaban más de 50 años sin resolverse.

También fue capaz de resolver 44 de las 492 conjeturas abiertas de la Enciclopedia On-Line de las Secuencias de Números Enteros, así como otros problemas de nivel de investigación en campos como la geometría algebraica, la optimización, la óptica cuántica y la teoría de grafos, informan los autores.

“Estos hallazgos sugieren que la inteligencia artificial (IA) podría convertirse en una herramienta útil para el descubrimiento y la investigación matemáticos automatizados”, concluyen.