AlphaProof Nexus de Google DeepMind resuelve problemas matemáticos abiertos y pasa la revisión por pares
decoder ·
Un nuevo estudio publicado en Science revela que AlphaProof Nexus de Google DeepMind resolvió con éxito docenas de problemas matemáticos abiertos. El sistema de inteligencia artificial resolvió nueve de los 353 problemas abiertos de Erdős, incluidos dos que habían permanecido sin solución durante 56 años. Además, demostró 44 conjeturas de la base de datos OEIS de secuencias enteras y resolvió una pregunta abierta en geometría algebraica. El modelo se basa en Gemini 3.1 Pro y utiliza el lenguaje formal Lean para redactar y verificar pruebas de manera iterativa. Para subproblemas complejos, puede aprovechar AlphaProof, una herramienta especializada para demostraciones, aunque logró resultados significativos incluso sin ella. Este enfoque riguroso contrasta con las recientes controversias en las que otras empresas de IA publicaron pruebas directamente en GitHub sin revisión por pares. En respuesta a los llamamientos al boicot por parte de matemáticos, DeepMind aseguró que su trabajo fuera sometido al escrutinio académico tradicional.
decoder