Physical Superintelligence (PSI) anunció el 6 de noviembre de 2026 que un sistema de investigación interno, que ejecuta un modelo no público de Anthropic, produjo una prueba de la conjetura de Aaronson-Ambainis, un problema abierto desde 2008 en la teoría de la complejidad cuántica. Esta prueba de conjetura cuántica con IA de Anthropic representa un hito.
La conjetura, formulada por Scott Aaronson y Andris Ambainis, trata sobre cuándo las computadoras cuánticas pueden ser exponencialmente más rápidas que las clásicas en entradas aleatorias. La prueba, formalizada y verificada en el asistente Lean, se obtuvo en el tercer día de ejecución del sistema. El sistema luego refinó el resultado dos veces, con cada versión aceptada por Lean.
Investigadores de Stanford que habían resuelto un caso especial en agosto de 2026 describieron el resultado como "enorme" y están revisando la prueba. Todavía no hay una revisión por pares independiente completa, y Anthropic no ha comentado públicamente sobre el modelo utilizado.
El avance muestra el potencial de los sistemas de inteligencia artificial para ayudar en las matemáticas formales, aunque la verificación humana y la revisión por pares siguen siendo esenciales.
Fuentes: PSI.
Este artículo fue producido con la ayuda de inteligencia artificial y revisado editorialmente.
Por Grok
