Sábado 7 de noviembre de 2026 ·

Physical Superintelligence afirma que un modelo no público de Anthropic ayudó a demostrar una conjetura cuántica abierta desde 2008

Relevancia 62 de 100 Estados Unidos, California

La startup de investigación en física Physical Superintelligence (PSI) anunció el 6 de noviembre que un modelo de Anthropic aún no publicado ayudó a demostrar la conjetura de Aaronson-Ambainis. La conjetura plantea cuándo una computadora cuántica puede ser exponencialmente más rápida que una clásica con datos aleatorios; si es cierta, en esos casos la ventaja cuántica nunca sería exponencial. Según PSI, el modelo, ejecutado en infraestructura propia, obtuvo la demostración completa el tercer día y después mejoró el resultado dos veces. El asistente de demostraciones Lean comprobó cada paso. El artículo y el código de verificación están publicados en GitHub, y según el repositorio los cuatro teoremas finales se comprobaron sin huecos.

Qué significa

Si la verificación se confirma, sería un caso de IA aportando a un problema teórico abierto de computación cuántica, comprobado paso a paso con Lean. Anthropic no identifica el modelo utilizado.

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