Physical Superintelligence (PSI), una startup dedicada a la investigación en física, ha asegurado que un modelo de inteligencia artificial de Anthropic —aún no disponible al público— contribuyó a demostrar la conjetura de Aaronson-Ambainis, un problema abierto en computación cuántica desde 2008. El anuncio se realizó el 6 de noviembre, señalando que el programa Lean verificó la prueba paso a paso.
Esta conjetura, planteada por los científicos Scott Aaronson y Andris Ambainis, indaga cuándo una computadora cuántica puede ser exponencialmente más rápida que una convencional. La pregunta se centra en datos aleatorios, que casi nunca contienen el patrón oculto que las máquinas cuánticas aprovechan. Si la conjetura es verdadera, en esos casos la ventaja cuántica nunca sería exponencial.
Según PSI, la demostración surgió de un sistema de investigación desarrollado internamente y ejecutado en su propia infraestructura. Allí corrieron “instancias de un modelo no público de Anthropic”, aunque la empresa no especifica cuál. El sistema obtuvo la demostración completa durante el tercer día de ejecución, según el comunicado de PSI.
El programa encargado de validar la prueba es Lean, un asistente de demostraciones que revisa cada paso de un razonamiento matemático. PSI indicó que, luego de obtener el resultado inicial, el sistema trabajó en problemas relacionados y mejoró la prueba dos veces, hasta que Lean aceptó la versión final.
¿Qué está verificado y qué no?
La startup publicó en GitHub el artículo y el código de verificación. Según el archivo explicativo del repositorio, los cuatro teoremas finales se comprobaron sin huecos ni supuestos añadidos, y dos implementaciones independientes de Lean repitieron el chequeo. Cualquier persona puede ejecutar esas pruebas.
No obstante, el mismo documento reconoce limitaciones. Un lector humano debe confirmar que el enunciado escrito en Lean equivale exactamente a la conjetura formulada por Aaronson y Ambainis. Además, el artículo en sí no fue verificado por una máquina, y uno de los teoremas depende de un resultado de otros autores que no se formalizó.
Tampoco existe una revisión por pares, el control de especialistas que exigen las revistas científicas. El análisis de explainx.ai, un blog sobre IA, indica que no encontró una valoración pública de Aaronson ni de Ambainis. PSI menciona comentarios de otros investigadores, pero no de los autores de la conjetura.
Una prueba escrita por IA y firmada por una persona
El repositorio detalla que los enunciados matemáticos, el primer borrador del artículo y la formalización en Lean “fueron producidos por modelos de IA”. David Turturean, de PSI, desarrolló el sistema con el que se ejecutó el modelo, revisó el artículo y figura como responsable de su corrección.
PSI cita a cuatro investigadores de la Universidad de Stanford: Guy Blanc, Jordan Docter, Carmen Strassle y Li-Yang Tan. Según la empresa, leyeron la nueva prueba y la calificaron como “un resultado enorme”. Estos comentarios se conocen únicamente a través de PSI, no por una publicación de los propios autores.
En agosto de 2026, esos mismos cuatro investigadores habían demostrado la predicción de la conjetura en un caso especial: “los algoritmos cuánticos que consultan sus datos en un número fijo de rondas en paralelo no logran una ventaja exponencial con entradas aleatorias”. La prueba de PSI apunta al caso general.
Este anuncio llega después de otra publicación de Anthropic el 16 de octubre, en la que informó que su modelo Claude diseñó, casi sin ayuda humana, circuitos cuánticos que mejoran los mejores publicados y que en algunos casos reducen los recursos necesarios en un orden de magnitud o más.
En esa investigación, Anthropic precisó que una de las mejoras volvió unas 12 veces más barato el paso más costoso de un algoritmo de optimización. Otro diseño, un cálculo de curvas elípticas, surgió de una sola ejecución de 53 horas.
PSI ha publicado el artículo, el código y los archivos de Lean con licencia Apache 2.0, de modo que otros especialistas puedan verificar el enunciado y la demostración.
Fuente: Infobae