Escuchar esta nota
Voz generada con inteligencia artificial por ElevenLabs. El texto es de la redacción de Finanzas y Negocios.
AlphaProof Nexus
Google DeepMind presentó AlphaProof Nexus, una IA capaz de resolver problemas matemáticos complejos y verificar sus soluciones, incluidos dos retos de más de 50 años.
Claves de la nota
- AlphaProof Nexus fue presentado este jueves por un equipo de investigadores de Google DeepMind.
- La herramienta solucionó nueve de los 353 problemas planteados, incluyendo dos de más de 50 años.
- El sistema también resolvió 44 de las 492 conjeturas abiertas de la Enciclopedia On-Line.
Un equipo de investigadores de Google DeepMind presenta este jueves 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 descrita en un artículo en la revista Science y en el equipo que la ha ideado está el ingeniero español Francisco Ruiz.
Avances en inteligencia artificial
En los últimos tiempos, los modelos de lenguaje a gran escala han demostrado 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 han desarrollado 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.
