Publicado: octubre 8, 2026, 4:00 pm
Desde principios de año los progresos de la inteligencia artificial en matemáticas se suceden uno tras otro. Si el miércoles, OpenAI afirmaba que su modelo avanzado ha resuelto cientos de problemas matemáticos, este jueves un equipo de Google DeepMind presenta en la revista ‘Science’ un nuevo sistema basado en grandes modelos de lenguaje capaz de investigar de forma autónoma (hasta cierto punto) y comprobar, paso a paso, que sus demostraciones no contienen errores. Llamado AlphaProof Nexus, ha resuelto nueve problemas de la célebre colección de Paul Erdős que llevaban décadas sin respuesta —dos de ellos, desde hace 56 años— y otras 44 conjeturas abiertas de la Enciclopedia en Línea de Secuencias de Enteros (OEIS), con un coste de unos pocos… Ver Más
