Resumen:
Según Business Insider, el Laboratorio de Superinteligencia Física (PSI) dijo que utilizó un modelo antrópico no revelado para encontrar una prueba de la "Conjetura de Aronson-Ambanis" en el campo de la computación cuántica en tres días. Esta conjetura ha estado sin resolver desde que se propuso en 2008 e involucra las circunstancias bajo las cuales las computadoras cuánticas pueden ser significativamente más rápidas que las tradicionales.
PSI ha revelado el documento y el código de prueba, y dijo que la prueba pasó la prueba de la herramienta auxiliar de prueba matemática Lean. Los académicos de Stanford que han estudiado previamente este tema leyeron las pruebas y brindaron opiniones, pero los resultados aún esperan una revisión independiente adicional por parte de la comunidad académica.
El sistema utilizado en este estudio fue desarrollado por David Turturean, miembro del personal técnico de PSI, y se ejecutó en la propia infraestructura del laboratorio, utilizando un modelo que Anthropic aún no ha hecho público. PSI no reveló el nombre específico del modelo. Business Insider dijo que Anthropic no respondió a una solicitud de comentarios.
PSI declaró que el sistema de investigación dio una prueba completa el tercer día de funcionamiento y posteriormente mejoró los resultados dos veces, y la versión final también pasó la prueba Lean.
Según la descripción del proyecto divulgada por PSI, los modelos de IA generan declaraciones matemáticas, primeros borradores de artículos y pruebas formales. Turturian revisó el artículo y se responsabiliza de su corrección.
La conjetura de Aaronson-Ambanis fue propuesta por los científicos informáticos Scott Aaronson y Andris Ambainis, centrándose en los límites de las ventajas de la computación cuántica.
PSI introdujo que si esta prueba es cierta, para un problema de cálculo alternativo específico, en la mayoría de las entradas aleatorias, el número de veces que una computadora cuántica lee la entrada no puede obtener una ventaja exponencial en comparación con una computadora tradicional. Esto significa que existen algunas dependencias significativas de aceleración cuántica o estructuras especiales en la entrada. Lo que se analiza aquí es la cantidad de veces que el algoritmo lee la entrada, que no puede equipararse directamente con el tiempo total de ejecución del dispositivo real.
Esta conclusión no significa que la computación cuántica pierda valor. Por ejemplo, PSI dijo que el algoritmo cuántico propuesto por Peter Shor en 1994 aprovecha una estructura específica del problema y es mucho más rápido que los métodos informáticos tradicionales conocidos para descomponer números enteros grandes.
PSI dijo que los investigadores de la Universidad de Stanford Guy Blanc, Jordan Docter, Carmen Strassle y Li-Yang Tan habían resuelto previamente problemas relacionados en un caso especial. Los cuatro están leyendo la prueba completa de PSI y preparándose para escribir una explicación más concisa para los profesionales. Describieron esto como un "resultado significativo" en sus comentarios a PSI.
State of Proof, una plataforma independiente de seguimiento de investigaciones, declaró que los registros de inspección Lean divulgados por PSI proporcionaron material para la revisión, pero la plataforma no ha reproducido de forma independiente la inspección, ni ha confirmado que la investigación haya completado la revisión por pares de la revista.
Comentarios