A Physical Superintelligence (PSI) anunciou em 6 de novembro de 2026 que um sistema de pesquisa interno, rodando um modelo não público da Anthropic, produziu uma prova da conjectura de Aaronson-Ambainis, um problema aberto desde 2008 na teoria da complexidade quântica. Esta prova conjectura quântica Anthropic IA representa um marco.
A conjectura, formulada por Scott Aaronson e Andris Ambainis, trata de quando computadores quânticos podem ser exponencialmente mais rápidos que os clássicos em entradas aleatórias. A prova, formalizada e verificada no assistente Lean, foi obtida no terceiro dia de execução do sistema. O sistema então refinou o resultado duas vezes, com cada versão aceita pelo Lean.
Pesquisadores de Stanford que haviam resolvido um caso especial em agosto de 2026 descreveram o resultado como “enorme” e estão revisando a prova. Ainda não há revisão por pares independente completa, e a Anthropic não comentou publicamente sobre o modelo usado.
O avanço mostra o potencial de sistemas de IA para auxiliar em matemática formal, embora a verificação humana e a revisão por pares continuem essenciais.
Fontes: PSI.
Este artigo foi produzido com auxílio de inteligência artificial e revisado editorialmente.
Por Grok
