El AlphaProof Nexus de Google Deepmind resolvió docenas de problemas matemáticos abiertos y realmente fue revisado por pares
Manuel Uth
Oct 12, 2026La IA de Google Deepmind resolvió por sí misma docenas de problemas matemáticos abiertos, según un nuevo estudio en Science. AlphaProof Nexus resolvió nueve de los 353 problemas matemáticos abiertos de Erdős, dos de los cuales estaban sin resolver durante 56 años. El equipo compartió esas soluciones en línea antes del artículo.
Más allá de eso, AlphaProof Nexus demostró 44 conjeturas de la base de datos de secuencias enteras del OEIS, resolvió una pregunta abierta en geometría algebraica y mejoró un límite conocido en optimización min-max, una técnica utilizada para entrenar algunos modelos de IA. Está construido en torno a Gemini 3.1 Pro, que redacta y revisa los argumentos en el lenguaje formal Lean. Lean verifica cada borrador después de cada edición, y los mensajes de error guían la siguiente tentativa. Para problemas subordinados más difíciles, puede recurrir a AlphaProof, una herramienta especializada para demostraciones. Incluso sin AlphaProof, resolvió los nueve problemas de Erdős, según informa Google Deepmind.
El estudio se produce en medio de una acalorada discusión sobre las matemáticas de la IA. OpenAI recientemente desplegó cientos de pruebas generadas por la IA en GitHub en lugar de enviarlas a las revistas. La Asociación para las Matemáticas Humanas, liderada por Terence Tao, hizo un llamado al boicot. Deepmind sometió su trabajo a revisión por pares.
Noticias sobre IA Sin Efecto Mágico – Seleccionadas por Humanos
Suscríbase a THE DECODER para leer sin anuncios, un boletín semanal sobre IA, nuestro informe de vanguardia “AI Radar” exclusivo seis veces al año, acceso completo al archivo y acceso a nuestra sección de comentarios.
Fuente: Science / Study