AlphaProof Nexus de Google DeepMind resuelve problemas matemáticos históricos
Redactado con inteligencia artificial.
El sistema de inteligencia artificial AlphaProof Nexus ha logrado resolver problemas matemáticos que llevaban más de 50 años sin solución, incluyendo nueve problemas de Erdös. Aunque este avance es significativo, el sistema aún requiere supervisión humana para verificar y entender sus resultados.
Avance en la resolución de problemas matemáticos
Google DeepMind ha presentado AlphaProof Nexus, un sistema de inteligencia artificial que ha encontrado soluciones para problemas matemáticos que habían permanecido sin respuesta durante más de medio siglo. Este desarrollo, publicado en la revista Science, representa un hito importante en la capacidad de las máquinas para contribuir al descubrimiento matemático, más allá de simplemente verificar cálculos.
Problemas de Erdös y conjeturas matemáticas
AlphaProof Nexus ha demostrado ser eficaz al resolver dos problemas planteados en 1970 por los matemáticos húngaros Paul Erdös y András Sárközy, así como nueve de los 353 problemas de Erdös que abordó y 44 de las 492 conjeturas analizadas de la Enciclopedia Electrónica de Sucesiones de Números Enteros (OEIS).
Mecanismo de funcionamiento
El sistema combina modelos de lenguaje avanzados con herramientas que validan rigurosamente los resultados. Utiliza Gemini 3.1 Pro para generar posibles demostraciones y Lean para verificar su corrección matemática. Este enfoque permite a la IA explorar múltiples soluciones simultáneamente y ajustar su estrategia según los obstáculos que encuentra.
Limitaciones y la necesidad de supervisión
A pesar de sus logros, AlphaProof Nexus tiene limitaciones, ya que no logró resolver la mayoría de los problemas analizados y, en algunos casos, generó resultados erróneos. Los investigadores subrayan que, aunque la IA puede acelerar el proceso de exploración de demostraciones, se necesita la intervención humana para decidir qué problemas abordar y asegurar la validez y comprensión de los resultados generados.
Colaboración entre IA y matemáticos
La relación entre la inteligencia artificial y los matemáticos no es de sustitución, sino de colaboración. Swarat Chaudhuri, investigador de Google DeepMind, destaca que la IA puede ampliar las ideas matemáticas, pero la comprensión y contextualización de los resultados siguen dependiendo de la intervención humana. En este sentido, AlphaProof Nexus no reemplazará a los matemáticos, sino que se convertirá en una herramienta valiosa para enfrentar desafíos matemáticos aún no resueltos.