PSI anuncia una prueba (con Lean) de la conjetura Aaronson–Ambainis, con un modelo Anthropic no público
El 06/11/2026 Physical Superintelligence (PSI), public benefit corporation, publicó que su sistema de investigación interno, ejecutando un modelo Anthropic no público, encontró una prueba de la conjetura Aaronson–Ambainis (abierta desde 2008) sobre cuándo las computadoras cuánticas pueden ser exponencialmente más rápidas. PSI dice que la prueba completa surgió el 3.er día de la carrera y fue aceptada por el asistente Lean; el sistema luego mejoró el resultado dos veces. Investigadores de Stanford (Blanc, Docter, Strassle, Tan), que habían resuelto un caso especial en ago/2026, enviaron comentarios y están escribiendo una exposición más corta; en la cita publicada: “This is a huge result.” Trabajo liderado por David Turturean (MTS); auditoría de Jim Halverson.