Jueves 22 de octubre de 2026 ·

IA de Google DeepMind descubre y demuestra patrones matemáticos en 11 máquinas de Turing

Relevancia 56 de 100 Reino Unido, Inglaterra

Investigadores de Google DeepMind y la Universidad de Cambridge desarrollaron un sistema basado en Gemini que encontró patrones matemáticos nuevos en el comportamiento de 11 máquinas de Turing y los demostró formalmente con Lean 4. El sistema no se limita a resolver un problema planteado: formula hipótesis, crea reglas para describir el comportamiento de las máquinas y comprueba las pruebas. El trabajo se centra en el problema Busy Beaver, donde algunos casos de seis estados y dos símbolos siguen sin resolverse.

Qué significa

Un sistema de IA puede proponer resultados matemáticos y demostrarlos de forma verificable, no solo resolver problemas que otros le plantean. Abre una vía para avanzar en casos que los matemáticos no habían podido cerrar.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del jueves 22 de octubre de 2026 ->