La IA de Google logra resolver complejos problemas matemáticos

AlphaProof Nexus, una nueva inteligencia artificial desarrollada por Google DeepMind, logró resolver problemas matemáticos que permanecían abiertos durante más de 50 años. La herramienta fue presentada este jueves 8 de octubre mediante una investigación publicada en la revista científica Science. Su principal característica es que puede encontrar demostraciones matemáticas de forma autónoma y comprobar su validez mediante un sistema de verificación lógica.

El proyecto fue desarrollado por investigadores de Google DeepMind, entre ellos el ingeniero español Francisco Ruiz. Durante las pruebas, AlphaProof Nexus resolvió nueve de 353 problemas matemáticos, incluidos dos que llevaban más de medio siglo sin solución. El resultado representa un avance en la aplicación de inteligencia artificial a investigaciones que requieren demostraciones rigurosas y verificables.

Unite a nuestro canal de WhatsApp

Los investigadores explicaron que los modelos de lenguaje han mejorado considerablemente su capacidad para resolver problemas matemáticos complejos. Sin embargo, todavía pueden producir errores lógicos difíciles de detectar. Estas equivocaciones, conocidas como “alucinaciones”, limitan su fiabilidad en investigaciones científicas. Por ello, sus respuestas suelen necesitar una revisión exhaustiva por parte de especialistas humanos.

¿Cómo funciona AlphaProof Nexus, la IA de Google?

Para reducir estos problemas, Google DeepMind desarrolló un sistema que combina múltiples agentes de inteligencia artificial. Estos agentes trabajan en la búsqueda de demostraciones matemáticas y reciben retroalimentación del sistema Lean. Se trata de un lenguaje de programación y asistente especializado en la verificación formal de teoremas. Su función es comprobar que los razonamientos cumplan las reglas de la lógica matemática.

A diferencia de sistemas que únicamente generan respuestas, AlphaProof Nexus incorpora mecanismos para verificar las demostraciones obtenidas. Este procedimiento permite evaluar la solidez lógica de las soluciones propuestas. De esta manera, los investigadores buscan reducir los errores que pueden aparecer cuando una inteligencia artificial desarrolla razonamientos matemáticos complejos sin mecanismos formales de comprobación.

Resultados de AlphaProof Nexus en problemas matemáticos

Además de resolver nueve problemas del conjunto inicial, la herramienta consiguió solucionar 44 de 492 conjeturas abiertas. Estas pertenecen a la Enciclopedia On-Line de las Secuencias de Números Enteros, una base de referencia matemática. Los resultados muestran su capacidad para abordar cuestiones que todavía no contaban con demostraciones dentro de los conjuntos evaluados.

La investigación también documentó soluciones a problemas de nivel científico en distintas especialidades matemáticas. Entre ellas figuran la geometría algebraica, la optimización, la óptica cuántica y la teoría de grafos. Estos campos requieren herramientas de razonamiento que permitan trabajar con estructuras, relaciones y demostraciones de elevada complejidad.

Los autores consideran que los resultados permiten explorar nuevas aplicaciones de la inteligencia artificial en la investigación matemática. “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”, concluyeron los investigadores en el estudio publicado por Science.

Fuente: ABC C.