PSI dice que un sistema interno demostró la conjetura de Aaronson–Ambainis

Physical Superintelligence, o PSI, dijo el 6 de noviembre de 2026 que un sistema de investigación interno que ejecuta un modelo de Anthropic no público demostró la conjetura de Aaronson–Ambainis, una pregunta abierta desde 2008 sobre cuándo las computadoras cuánticas pueden ser exponencialmente más rápidas que las ordinarias. PSI dijo que Lean aceptó una prueba completa el tercer día de la ejecución y luego aceptó dos mejoras. [1]

¿Qué es la conjetura de Aaronson–Ambainis?

PSI dijo el 6 de noviembre de 2026 que su sistema de investigación interno demostró la conjetura de Aaronson–Ambainis. [1] Scott Aaronson y Andris Ambainis preguntaron si una computadora cuántica puede ser exponencialmente más rápida en entradas aleatorias, que casi nunca tienen la estructura repetitiva oculta utilizada por aceleraciones famosas como el algoritmo de Shor.

Establecieron una conjetura sobre polinomios y mostraron que, si es verdadera, las computadoras cuánticas son como máximo polinomialmente más rápidas en entradas aleatorias. [1] PSI escribe que los investigadores han contado la conjetura entre los problemas abiertos centrales de la teoría de la complejidad cuántica.

¿Cómo dice PSI que se encontró la prueba?

PSI dijo que el sistema, ejecutando un modelo de Anthropic no público, tuvo una prueba aceptada por Lean el tercer día de la ejecución. [1] La empresa dice que la ejecución ocurrió en su propia infraestructura, que Lean verificó cada paso y que el sistema luego mejoró el resultado dos veces, con Lean aceptando la versión final.

David Turturean, miembro del personal técnico de PSI, lideró el trabajo: desarrolló el sistema de investigación, definió el alcance del problema, lo ejecutó y solicitó al modelo que empaquetara los resultados en un primer borrador del artículo. [1] PSI también publicó pruebas y código en un repositorio público de GitHub. [2]

PSI dice que esos investigadores de Stanford ya habían demostrado un caso especial de la predicción de la conjetura en agosto de 2026, para algoritmos cuánticos que observan su entrada en un número fijo de rondas paralelas. [1] La empresa dice que han estado leyendo la prueba completa, enviaron comentarios y están escribiendo una exposición más corta para expertos.

¿Qué significaría el resultado si las declaraciones coinciden?

Si el teorema formal es la conjetura original, PSI dice que una computadora ordinaria puede predecir la probabilidad de sí o no de una computadora cuántica, con un pequeño error, para todas menos una pequeña fracción de cadenas, usando un número de miradas que crece como máximo como una potencia fija del recuento de miradas cuánticas en lugar de exponencialmente. [1]

Los lectores aún deben confirmar que la declaración formal de Lean coincide con la conjetura original de 2008. [1][2] La nota de PSI presenta el desarrollo de Lean como sin marcadores de posición ni axiomas añadidos y dice que fue verificado de nuevo por núcleos independientes; este artículo no repite esa verificación.

Nuestra lectura

Opinión: Una prueba verificada por Lean de una conjetura nombrada de 2008 sería una afirmación científica seria, y el comentario de Stanford que cita PSI es llamativo, pero la afirmación debe leerse como “existe una prueba formal y los expertos la están verificando”, no como una reescritura establecida de la complejidad cuántica hasta que las declaraciones se comparen en público.

Lo que no pudimos verificar

• That the Lean theorem is formally identical to the original Aaronson–Ambainis conjecture.
• An independent write-up that is not quoted or hosted by PSI.
• The identity and version of the non-public Anthropic model used in the run.