Un modelo no público de Anthropic prueba la conjetura de Aaronson-Ambainis, abierta desde 2008 en computación cuántica
El sistema de la startup PSI, que corre sobre un modelo de Anthropic aún no lanzado, cerró un problema de computación cuántica abierto desde 2008. La prueba fue validada por el verificador formal Lean y ahora la revisan en Stanford.
● Confianza alta · Fuente primaria
Physical Superintelligence (PSI) publicó el 6 de noviembre una prueba de la conjetura de Aaronson-Ambainis, abierta desde 2008, que limita cuánto más rápido puede ser un computador cuántico frente a uno clásico con entradas aleatorias. La obtuvo su sistema de investigación, que funciona sobre un modelo de Anthropic que no es público, al tercer día de ejecución, y el verificador Lean la validó. Investigadores de Stanford revisan ahora la prueba.
ANTHROPICCIENCIACOMPUTACIÓN CUÁNTICAPRUEBAS FORMALES
Esta noticia apareció en las ediciones N° 070, N° 071 de AI Radar.