Capital de TokensUna IA resolvió nueve problemas matemáticos abiertos
Ver en YouTube Nueve problemas matemáticos que llevaban décadas abiertos tienen ahora una demostración formal, según un equipo de Google DeepMind. Dos de ellos se habían planteado hace 56 años. El sistema que encontró las pruebas se llama AlphaProof Nexus, y su resultado llama la atención por una razón muy concreta: puede proponer un
Nueve problemas matemáticos que llevaban décadas abiertos tienen ahora una demostración formal, según un equipo de Google DeepMind. Dos de ellos se habían planteado hace 56 años. El sistema que encontró las pruebas se llama AlphaProof Nexus, y su resultado llama la atención por una razón muy concreta: puede proponer un camino, comprobar cada paso y volver a intentarlo cuando ese camino falla. ABC informa de que los investigadores probaron el sistema con 353 problemas abiertos de la colección de Paul Erdős. Resolvió nueve. También encontró demostraciones para 44 de las 492 conjeturas abiertas de la Enciclopedia en Línea de Secuencias de Enteros que le presentaron.
Episodio completo: https://youtu.be/G-w4tolXAkM
🤖 Contenido generado con IA: el guion, las voces y las imágenes de este episodio se produjeron con herramientas de inteligencia artificial.
#Shorts