Sábado 7 de noviembre de 2026 ·

PSI afirma haber demostrado la conjetura de Aaronson-Ambainis con un modelo no publicado de Anthropic

Relevancia 61 de 100

La empresa PSI (Physical Superintelligence), de Cambridge (Massachusetts), anunció el 6 de noviembre de 2026 una prueba completa de la conjetura de Aaronson-Ambainis, abierta desde 2008 y relacionada con cuándo un ordenador cuántico puede ser exponencialmente más rápido que uno clásico. La prueba salió de un sistema interno de la empresa que usaba un modelo de Anthropic no publicado, tras tres días de ejecución. El programa Lean verificó cada paso, y el paper de 60 páginas y el código están en GitHub. No se ha publicado ninguna valoración de especialistas externos.

Qué significa

Si se confirma, cerraría un problema de computación cuántica abierto desde hace casi dos décadas; por ahora su validez descansa en la verificación automática de Lean y no en la revisión de expertos.

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 sábado 7 de noviembre de 2026 ->