El agente de Google DeepMind resuelve 9 problemas abiertos de Erdős, dos sin resolver durante 56 años
El agente de investigación AlphaProof Nexus, de Google DeepMind, resolvió 9 de 353 problemas abiertos asociados a Pál Erdős, dos de ellos sin resolver durante 56 años, con un coste de cómputo de varios cientos de dólares por problema. También demostró 44 de 492 conjeturas abiertas de la OEIS. El sistema propone pruebas formales que Lean verifica paso a paso, y los errores se devuelven al agente para que siga buscando.
Qué significa
Quien trabaje en matemáticas o verificación formal tiene un ejemplo de IA cuyas pruebas se comprueban con Lean, en lugar de fiarse de una explicación convincente.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- iXBT (RU)Leer la noticia completa en iXBT (RU)