¡Anthropic todavía tiene un gran movimiento!
Un momento histórico se repite: el modelo interno de Claude ha resuelto una conjetura abierta de hace 18 años en la computación cuántica.
¡En solo 3 días, un modelo no público de Claude resolvió la conjetura de Aaronson-Ambainis, que había permanecido sin resolver desde 2008!
Los internautas especulan: este modelo interno parece ser la versión no pública del modelo, Claude Model 4.
El teorema y los corolarios se han completado en la formalización de Lean, y la cuestión de exactamente cuánta ventaja tiene la computación cuántica sobre la computación tradicional finalmente tiene una respuesta.
Claude desmiente el mito de la supremacía cuántica
En 1994, Peter Shor propuso el algoritmo de Shor, que causó un enorme revuelo en todo el mundo.
Puede factorizar números enteros grandes en tiempo polinomial, mientras que las computadoras ordinarias necesitarían tiempo exponencial para esta tarea.
La piedra angular del sistema de cifrado moderno quedó así sacudida.
El algoritmo de Shor dio el toque de corneta, y después el término "Supremacía Cuántica" arrasó en el mundo tecnológico global y los mercados de capitales.
Un plano que hacía hervir la sangre parecía estar justo ante nuestros ojos: superposición cuántica, entrelazamiento cuántico, aceleración exponencial.
Era como si, siempre que se controlaran bien esos frágiles qubits, la humanidad pudiera lanzar un ataque dimensional integral y entrar instantáneamente en una nueva era de potencia de cálculo casi ilimitada.
Una ilusión cognitiva ciega comenzó a extenderse:
Siempre que exista un estado de superposición cuántica, parece que para la mayoría de los problemas difíciles, las computadoras cuánticas también pueden recorrer instantáneamente todas las posibilidades y lograr un golpe crítico exponencial.
Afortunadamente, los físicos y científicos de la computación pronto se dieron cuenta: la razón por la que el algoritmo de Shor puede producir un "aplastamiento exponencial" es que detrás de la factorización de enteros hay una fuerte estructura periódica. Y las computadoras cuánticas son buenas para capturar este tipo de patrón repetitivo.
Pero si los datos de entrada son completamente aleatorios, sin ningún patrón ni estructura especial, ¿pueden las computadoras cuánticas seguir logrando una superioridad exponencial?
En 2008, dos académicos destacados en el campo de la computación cuántica—Scott Aaronson y Andris Ambainis—abstrajeron este problema de física y algoritmos en un problema de matemática pura.
Compararon el proceso de una computadora al leer datos de entrada con la "observación".
Cada vez que una computadora clásica lee un bit, ve un "0" o "1" exacto; una computadora cuántica, usando estados de superposición, puede distribuir una sola observación a través de una enorme cantidad de estados.
Los dos académicos descubrieron que la probabilidad de que una computadora cuántica emita "sí" después de T observaciones puede caracterizarse esencialmente de manera rigurosa como un "polinomio de bajo grado acotado".
Si se puede demostrar que dicho polinomio debe tener un cambio suficientemente grande cuando se invierte alguna variable, es decir, que existe una variable con una influencia significativa, entonces se puede demostrar que: una computadora clásica solo necesita un costo adicional de nivel polinomial para simular perfectamente el comportamiento de una computadora cuántica.
Esta es la famosa conjetura de Aaronson-Ambainis.
Ahora, esta conjetura ha sido demostrada por la IA, y en el futuro quizás haya que llamarla el "teorema de Aaronson-Ambainis":
En sus palabras:
La computación cuántica todavía tiene muchos misterios sin resolver, pero ahora, hay uno menos.
Cabe señalar que la supremacía cuántica no ha desaparecido, pero este teorema ha acabado con la "superstición ciega" de la computación cuántica y ha aclarado el "territorio legítimo" P de la ventaja cuántica.
El momento Oppenheimer de la computación cuántica
La Superinteligencia Física que actuó esta vez no es la primera en actuar—
El mes pasado, resolvieron cinco problemas de larga data sin resolver en la teoría de la información cuántica.
Anteriormente, Guy Blanc, Jordan Docter, Carmen Strassle del MIT y Li-Yang Tan de la Universidad de Stanford resolvieron un caso especial de un corolario de simulación clásica de esta conjetura.
Habían estado leyendo la nueva prueba y la consideraron simplemente un "gran resultado":
Resolvió una conjetura de décadas de antigüedad y tiene implicaciones importantes para la esencia de qué problemas pueden lograr una aceleración cuántica.
Esta investigación involucra varias direcciones de investigación en el análisis de funciones booleanas y la combinatoria probabilística.
Y esta prueba de ninguna manera es "repetir como un loro"—no se trata en absoluto de simplemente buscar en la literatura para resolver el problema, sino de una "manera bastante maravillosa" que reunió todo el contenido.
Quizás expertos de múltiples campos trabajando juntos podrían eventualmente probar esta conjetura, ¡pero la velocidad de la IA está fuera del alcance humano!
Según los informes, después de que se completó el sistema Harness construido en torno al modelo interno de Anthropic, la primera prueba se terminó tres días después.
Luego se envió inmediatamente al asistente de pruebas Lean para su verificación.
Pero eso no fue el final.
Cuando se pidió a las instancias del modelo que utilizaran estos resultados intermedios para abordar problemas no resueltos, a su vez pulieron estos resultados intermedios, bajando el exponente de 22 a 11, luego a 7, reduciéndolo continuamente.
Esto también es un microcosmos del propio proceso de descubrimiento: la prueba no es un repentino destello de inspiración, sino un acercamiento paso a paso al límite óptimo mediante el pulido repetido de los resultados intermedios.
La física y las matemáticas siguen siendo vastas, el universo sigue siendo inmenso, y todavía hay muchos misterios sin resolver que la humanidad necesita explorar.
Pero una cosa ya es segura:
En el equipo de expedición que explora la frontera racional, la humanidad ya no está sola, solitaria y acompañada únicamente por su propia sombra.
Referencias:
https://psi.inc/research/oqp-batch-2026/
https://psi.inc/research/aaronson-ambainis/
Este artículo proviene de la cuenta pública de WeChat "Xin Zhi Yuan", autor: ASI Revelation
