PSI resolve conjectura que restringe caminhos para computadores quânticos

Resumo

• A PSI usou um modelo ainda não lançado da Anthropic para provar a conjectura de Aaronson-Ambainis, um problema em aberto desde 2008.

  A prova resolve uma questão de longa data sobre quando computadores quânticos podem superar computadores convencionais.

• A prova foi produzida por um sistema de pesquisa que incluía o modelo da Anthropic e levou três dias.

  O resultado foi obtido por um sistema de pesquisa com apoio de IA, não apenas pelo modelo isoladamente.

• A conjectura trata de determinar quando computadores quânticos podem resolver problemas mais rapidamente que computadores clássicos.

  A questão diz respeito aos limites da vantagem de velocidade da computação quântica.

• A solução restringe uma das vias possíveis para computadores quânticos resolverem certos problemas difíceis em alta velocidade, mas não todas.

  O resultado delimita uma linha de pesquisa sem descartar todas as possíveis vantagens dos computadores quânticos.

• Scott Aaronson afirmou que acredita que a prova está correta, embora ainda não a compreenda completamente.

  A avaliação de um dos pesquisadores que propuseram o problema foi favorável, mas acompanhada de uma ressalva sobre a compreensão da prova.

Dados

Ano desde que o problema está em aberto

2008

Duração da produção da prova

três dias

Citações

• “Scott Aaronson, one of the two researchers who posed the problem, writes that he doesn’t quite understand the proof, but that he believes it’s correct”

  A avaliação de um dos pesquisadores que propuseram o problema foi favorável, mas acompanhada de uma ressalva sobre a compreensão da prova.

  — Scott Aaronson, pesquisador que propôs o problema · ver em TechCrunch (AI) ↗