Menú
Secciones criptográficas
La startup de Cambridge dice que su sistema demostró la conjetura de Aaronson-Ambainis en tres días, con una formalización Lean para respaldarla.
Martes 10 de noviembre de 2026 · 14:08 EST · Lectura de 3 minutos
En IA
Compartir
Una startup que apenas tiene dos meses de existencia dice que ha resuelto una cuestión de computación cuántica que dejó perplejos a los investigadores durante casi dos décadas.
La Superinteligencia Física, o PSI, anunció el 6 de noviembre de 2026 que había probado la conjetura de Aaronson-Ambainis. El trabajo utilizó su sistema de investigación interno junto con una versión antrópica privada, y la compañía dice que la evidencia llegó al tercer día de ejecución del sistema.
Aún más sorprendente es la reacción de una de las personas que planteó el problema. Scott Aaronson dice que no sigue completamente la prueba. Él lo cree de todos modos.
Lo que realmente demostró PSI
La conjetura de Aaronson-Ambainis trata sobre una pregunta básica: ¿cuándo podrán las computadoras cuánticas superar a las clásicas en velocidad? Se lanzó por primera vez alrededor de 2008 y se emitió una declaración formal en 2014.
Desnudada hasta su núcleo matemático, la conjetura dice que cada polinomio acotado de bajo grado en el cubo booleano tiene una variable influyente.
Según los resultados de la investigación, la prueba descarta la ventaja cuántica exponencial de los oráculos aleatorios para los problemas de decisión. Los resultados parciales ya habían solucionado el problema anteriormente. La prueba completa nunca había llegado hasta ahora.
PSI ha publicado su trabajo como un artículo de 13 páginas y una formalización Lean completa, ambos alojados en GitHub bajo la organización de superinteligencia física.
Por qué Lean hace el trabajo pesado
Lean es un lenguaje de programación creado para las matemáticas. En lugar de depender de un árbitro humano para leer y verificar cada paso, usted escribe la prueba como código y un programa pequeño y confiable llamado núcleo verifica que cada paso sigue lógicamente al anterior.
IA, tecnología y los mercados que mueven, en una sesión informativa diaria.
A diario. Gratis. Únase a más de 34 000 lectores de criptomonedas, finanzas y políticas.
Respetamos su privacidad. Darse de baja en cualquier momento.
La escala aquí es sustancial. La formalización de PSI consta de 9.454 líneas y 648 teoremas, sin axiomas ni marcadores de posición añadidos.
Los resultados de la investigación también señalan que la formalización se volvió a verificar de forma independiente utilizando múltiples núcleos.
Esta capa de verificación es exactamente la razón por la que Aaronson está dispuesto a aprobar algo que no comprende del todo. Dice que cree que la prueba es correcta porque fue autoformalizada en Lean y explicada por un equipo de investigadores destacados con quienes PSI compartió el resultado.
Un resultado negativo y por qué es útil
El hallazgo no desbloquea un algoritmo cuántico más rápido. Cierra una puerta.
Turturean lo describió a TechCrunch en términos prácticos:
"Es un resultado negativo que permite a la gente saber, está bien, ya no estamos mirando hacia allí".
El resultado también tiene límites claros. Los resultados de la investigación especifican que no afecta a las aceleraciones estructuradas como el algoritmo de Shor. La prueba limita la ventaja cuántica a entradas no estructuradas, no a todos los tipos de ventaja cuántica.
¿Quién es PSI?
PSI es una corporación de beneficio público con sede en Cambridge, Massachusetts. Se lanzó en septiembre de 2026 con 58 millones de dólares en financiación inicial liderada por Breakthrough Energy Ventures.
Esa línea de tiempo es notable. Una empresa que planteó su primera ronda en septiembre publicó un resultado sobre un problema abierto de casi dos décadas a principios de noviembre.
El ángulo antrópico también llama la atención. PSI utilizó un modelo antrópico no público como parte de su sistema, lo que significa que el resultado provino en parte de capacidades de IA a las que los investigadores externos no pueden acceder actualmente.
Divulgación: este artículo fue editado por Diego Almada López. Para obtener más información sobre cómo creamos y revisamos contenido, consulte nuestra Política editorial.
Las noticias sobre lo que tienes
Siga sus acciones y criptomonedas. Lea las noticias sobre ellos de cientos de editores en Pro.
Política de privacidad
