Viernes 6 de noviembre de 2026 ·

PSI presenta una prueba verificada por máquina de la conjetura de Aaronson-Ambainis

Relevancia 64 de 100

Physical Superintelligence (PSI) anunció que un sistema interno con instancias de un modelo de Anthropic no público encontró una demostración de la conjetura de Aaronson-Ambainis, abierta desde 2008. El asistente de pruebas Lean la aceptó, y el manuscrito y la formalización en Lean 4 son públicos. Al asignarle problemas abiertos relacionados, el sistema mejoró el resultado dos veces antes de la versión final aceptada. La conjetura trata de cuándo los ordenadores cuánticos pueden ser exponencialmente más rápidos que los clásicos con entradas sin estructura.

Qué significa

Una IA resuelve un problema teórico abierto con verificación formal, lo que abre la puerta a que los sistemas de IA aporten matemáticas de investigación comprobables. Para la computación cuántica, ayuda a precisar cuándo tiene una ventaja real frente a los ordenadores clásicos.

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 viernes 6 de noviembre de 2026 ->