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.

La IA cierra un problema abierto


















