Sábado 7 de noviembre de 2026 ·

Una prueba asistida por IA resuelve la conjetura de Aaronson–Ambainis sobre las ventajas cuánticas con entradas aleatorias

Relevancia 55 de 100

David Turturean, del instituto Physical Superintelligence (PSI), publicó el 6 de noviembre de 2026 un preprint que afirma demostrar la conjetura de Aaronson–Ambainis, planteada en 2008. Incluye código de verificación formal en Lean 4. La conjetura, si es cierta, implica que para la mayoría de entradas aleatorias un algoritmo cuántico puede simularse con un número polinómico de consultas en una computadora clásica. El resultado es matemático y no procede de experimentos con hardware cuántico.

Qué significa

Si la demostración se confirma, las computadoras cuánticas tendrían límites claros en problemas sin estructura, así que sus ventajas exponenciales quedarían restringidas a problemas con patrones matemáticos, como el de Shor.

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 ->