Modelos
PSI afirma que su sistema de investigación, con un modelo de Anthropic no público, demostró la conjetura de Aaronson-Ambainis; el artículo verificado en Lean aún no tiene revisión por pares
PSI afirma que un modelo no público de Anthropic demostró la conjetura de Aaronson-Ambainis, verificada en Lean. Afirmación de PSI; sin revisión.
- Nuevas tecnologías de IA
- #PSI
- #Anthropic
- #conjetura de Aaronson-Ambainis
- #asistente de pruebas Lean
- #complejidad cuántica
- #matemáticas
Es una afirmación de PSI, respaldada por un artículo público y una formalización en Lean, y no ha pasado revisión por pares. El 6 de noviembre de 2026, Physical Superintelligence (PSI) anunció que un sistema de investigación interno, con un modelo de Anthropic no público, encontró una demostración de la conjetura de Aaronson-Ambainis, un problema de complejidad cuántica abierto desde 2008. PSI dice que había una demostración completa el tercer día de una ejecución y que el asistente de pruebas Lean la aceptó. Anthropic no ha comentado en las fuentes que hallamos y el modelo no se nombra.
Lo esencial
- Qué se afirma: la conjetura, según la cual todo polinomio acotado de bajo grado tiene una variable influyente, sería ya un teorema. PSI dice que su sistema halló la demostración y Lean la verificó.
- Qué implica: según los informes, los algoritmos cuánticos de consultas pueden aproximarse en la mayoría de entradas aleatorias con algoritmos clásicos de un número polinomial de consultas. No implica simulación clásica eficiente en tiempo de ejecución.
- Cómo se verificó: PSI publicó el manuscrito y los archivos Lean. Sus propios asesores auditaron la prueba y cuatro investigadores de Stanford dicen haberla leído y preparar una exposición más corta.
- Qué falta: revisión por pares, evaluación pública de Aaronson o Ambainis que hayamos hallado, y declaración de Anthropic.
¿Qué cubre la verificación de Lean?
Lean verifica cada paso lógico de una prueba formal. Unite.AI señala que los expertos aún deben confirmar que el enunciado formal coincide con la conjetura original y evaluar las partes del artículo fuera de Lean. PSI dice que el sistema mejoró después el resultado dos veces y que Lean aceptó la versión final.
¿Qué papel tuvieron el modelo y las personas?
PSI dice que David Turturean construyó y ejecutó el sistema, delimitó el problema, hizo que el modelo preparara un primer borrador, lo revisó y responde de la corrección del artículo. La prueba sigue un plan de Shachar Lovett y Jiapeng Zhang y sustituye una de sus desigualdades conjeturadas por una nueva. El modelo se describe solo como no público y de Anthropic; no se indican las condiciones de acceso de PSI.
Lo que no está establecido
- Si la prueba es correcta para la conjetura original: la revisión independiente y por pares está pendiente.
- Qué modelo de Anthropic se usó y en qué condiciones: PSI no lo dice; Anthropic no ha comentado en lo que hallamos.
- Cuánto del descubrimiento fue del modelo y cuánto del sistema o las personas: solo existe el relato de PSI.
- Si Aaronson y Ambainis lo respaldan: la página de PSI no menciona su revisión.
Tabla resumen
| Punto | Lo que se afirma a 7 de noviembre de 2026 | Fuente |
|---|---|---|
| Anuncio | PSI, 6 de noviembre de 2026, artículo y repositorio Lean | PSI |
| Afirmación | Conjetura de Aaronson-Ambainis demostrada, abierta desde 2008 | PSI |
| Modelo | Modelo de Anthropic no público, sin nombre | PSI |
| Verificación | Aceptada por Lean; asesores y lectores de Stanford | PSI, Unite.AI |
| Revisión por pares | Ninguna informada | FourWeekMBA |
Preguntas frecuentes
¿Está demostrada la conjetura?
PSI lo afirma y Lean aceptó la verificación, pero el artículo no tiene revisión por pares y los expertos aún lo examinan.
¿Qué modelo de Anthropic se usó?
PSI solo dice un modelo de Anthropic no público. No se ha dado nombre.
¿Elimina esto las ventajas cuánticas?
Según los informes, implica que las ventajas cuánticas exponenciales en número de consultas requieren estructura en entradas aleatorias; no muestra que los ordenadores cuánticos sean inútiles.
Método y límites
Fuentes consultadas el 7 de noviembre de 2026. Leímos la página de anuncio de PSI y la prensa, pero no el artículo completo ni los archivos Lean, y no pudimos verificar las matemáticas. Divulgación: Anthropic fabrica Claude, que ayuda a redactar artículos de este sitio.
Fuentes
- Physical Superintelligence (PSI): A proof of the Aaronson-Ambainis conjecture (verificado el 2026-11-07)
- The Quantum Insider: AI-Assisted Proof Settles Longstanding Question About Quantum Speedups (verificado el 2026-11-07)
- Unite.AI: PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture (verificado el 2026-11-07)
- FourWeekMBA: PSI Says Anthropic Model Proved 18-Year Quantum Conjecture (verificado el 2026-11-07)
- Axis of Ordinary: Links for 2026-11-06 (verificado el 2026-11-07)
¿Ha detectado un error en este artículo? Comuníquenoslo · Nuestra política de correcciones
