Conjetura de Aaronson-Ambainis: una IA dice haber resuelto un problema cuántico abierto desde 2008
La conjetura de Aaronson-Ambainis, abierta desde 2008, habría sido probada por una IA, según la empresa PSI. El trabajo aún no tiene revisión de pares.
La conjetura de Aaronson-Ambainis, abierta desde 2008, habría sido probada por una IA, según la empresa PSI. El trabajo aún no tiene revisión de pares.
La conjetura de Aaronson-Ambainis, un problema abierto de la computación cuántica desde 2008, habría sido resuelta por una inteligencia artificial. Así lo anunció el 6 de noviembre la empresa Physical Superintelligence (PSI), que difundió un trabajo con la demostración. Por ahora es una afirmación de la compañía: el texto es un preprint, no figura en arXiv y todavía no pasó por una revisión de pares.
Qué dice la conjetura de Aaronson-Ambainis
La conjetura la plantearon en 2008 los investigadores Scott Aaronson y Andris Ambainis. Es un enunciado matemático sobre polinomios. Según la explicación de PSI, si es cierta implica que las computadoras cuánticas solo pueden ser más rápidas que las comunes por un factor polinomial en preguntas de sí o no sobre datos aleatorios.
En otras palabras, las grandes aceleraciones exponenciales dependen de que los datos tengan estructura, como ocurre con el algoritmo de Shor para factorizar números. La prueba establece un límite sobre la influencia de las variables en polinomios acotados de bajo grado, que es el paso clave.
Cómo dice PSI que llegó a la prueba
Según la empresa, un sistema de investigación propio, que usa instancias de un modelo no público de Anthropic sobre su infraestructura, produjo una demostración completa al tercer día de trabajo. Luego mejoró el resultado dos veces. El trabajo se titula «A proof of the Aaronson–Ambainis conjecture» y lleva la firma de David Turturean, de PSI, quien afirma que desarrolló el sistema, revisó el borrador y es responsable de que sea correcto.
PSI asegura que el asistente de pruebas Lean aceptó la demostración. Sin embargo, el repositorio aclara un límite importante: un ingrediente, tomado de un trabajo de Agarwal y Ben-David, se usó como hipótesis y no está formalizado. Además, el texto del paper no está verificado por máquina.
Quiénes la revisaron y qué falta
Según PSI, Jim Halverson, asesor de la empresa, auditó la prueba. También afirma que Guy Blanc, Jordan Docter, Carmen Strassle y Li-Yang Tan, de la Universidad de Stanford, la leyeron, enviaron comentarios y preparan una exposición más corta. La empresa los cita calificándola de «un gran resultado».
No encontramos todavía comentarios de Aaronson ni de Ambainis. Hasta que expertos independientes la revisen y se publique en una revista, la demostración debe tomarse como una afirmación de la empresa. Los detalles están en la página de PSI.
¿Confiarías en una prueba hecha por una IA antes de que la revise un humano?
Más noticias de Inteligencia Artificial en MonoLito.
Leé también: OpenAI matemáticas: publicó 372 familias de resultados hechos con IA y los especialistas piden pruebas