Science publica AlphaProof Nexus, el sistema de Google DeepMind que resolvió 9 problemas de Erdős con pruebas verificadas en Lean
La revista Science publicó el 8 de octubre de 2026 el artículo de Google DeepMind sobre AlphaProof Nexus, un marco de agentes que genera demostraciones formales verificadas en Lean y que resolvió 9 de 353 problemas de Erdős intentados y 44 de 492 conjeturas abiertas de la OEIS.
