Resumo:
De acordo com o Business Insider, o Laboratório de Superinteligência Física (PSI) disse que usou um modelo antrópico não divulgado para encontrar uma prova da "Conjectura de Aronson-Ambanis" no campo da computação quântica em três dias. Esta conjectura não foi resolvida desde que foi proposta em 2008 e envolve as circunstâncias sob as quais os computadores quânticos podem ser significativamente mais rápidos que os computadores tradicionais.
PSI divulgou o papel e o código da prova, e disse que a prova passou no teste da ferramenta auxiliar de prova matemática Lean. Os académicos de Stanford que estudaram anteriormente esta questão leram a prova e forneceram opiniões, mas os resultados ainda aguardam uma revisão independente por parte da comunidade académica.
O sistema utilizado neste estudo foi desenvolvido pelo técnico do PSI David Turturean e funcionou na infraestrutura do próprio laboratório, utilizando um modelo que a Anthropic ainda não divulgou. A PSI não divulgou o nome específico do modelo. O Business Insider disse que a Anthropic não respondeu a um pedido de comentário.
PSI afirmou que o sistema de pesquisa deu uma prova completa no terceiro dia de operação, e posteriormente melhorou os resultados duas vezes, e a versão final também passou no teste Lean.
De acordo com a descrição do projeto divulgada pela PSI, declarações matemáticas, primeiros rascunhos de artigos e provas formais são todos gerados por modelos de IA. Turturian revisou o artigo e assume a responsabilidade pela sua correção.
A conjectura de Aaronson-Ambanis foi proposta pelos cientistas da computação Scott Aaronson e Andris Ambainis, com foco nos limites das vantagens da computação quântica.
PSI introduziu que se esta prova for verdadeira, para um problema de cálculo alternativo específico, na maioria das entradas aleatórias, o número de vezes que um computador quântico lê a entrada não pode obter uma vantagem exponencial em comparação com um computador tradicional. Isso significa que existem algumas dependências significativas de aceleração quântica ou estruturas especiais na entrada. O que é discutido aqui é o número de vezes que o algoritmo lê a entrada, que não pode ser diretamente equiparado ao tempo total de execução do dispositivo real.
Essa conclusão não significa que a computação quântica perca valor. Por exemplo, PSI disse que o algoritmo quântico proposto por Peter Shor em 1994 aproveita uma estrutura específica do problema e é muito mais rápido do que os métodos de computação tradicionais conhecidos na decomposição de números inteiros grandes.
A PSI disse que os pesquisadores da Universidade de Stanford, Guy Blanc, Jordan Docter, Carmen Strassle e Li-Yang Tan já haviam resolvido problemas relacionados em um caso especial. Os quatro estão lendo a prova completa do PSI e se preparando para escrever uma explicação mais concisa para os profissionais. Eles descreveram isso como um “resultado significativo” em seu feedback à PSI.
State of Proof, uma plataforma independente de rastreamento de pesquisa, afirmou que os registros de inspeção Lean divulgados pela PSI forneceram material para a revisão, mas a plataforma não reproduziu a inspeção de forma independente, nem confirmou que a pesquisa foi concluída pela revisão por pares do periódico.
Comentários