PSI anuncia prova (com Lean) da conjectura Aaronson–Ambainis, com modelo Anthropic não público
Em 06/11/2026 a Physical Superintelligence (PSI), public benefit corporation, publicou que seu sistema de pesquisa interno, rodando um modelo Anthropic não público, encontrou uma prova da conjectura Aaronson–Ambainis (aberta desde 2008) sobre quando computadores quânticos podem ser exponencialmente mais rápidos. A PSI diz que a prova completa surgiu no 3º dia da corrida e foi aceita pelo assistente Lean; o sistema depois melhorou o resultado duas vezes. Pesquisadores de Stanford (Blanc, Docter, Strassle, Tan), que tinham resolvido um caso especial em ago/2026, enviaram comentários e estão escrevendo exposição mais curta; na citação publicada: “This is a huge result.” Trabalho liderado por David Turturean (MTS); auditoria Jim Halverson.