Menu
Seções criptográficas
A startup de Cambridge diz que seu sistema provou a conjectura de Aaronson-Ambainis em três dias, com uma formalização Lean para apoiá-la
Ter, 10 de novembro de 2026 · 14h08 EST · 3 min de leitura
Em IA
Compartilhar
Uma startup com apenas dois meses de existência diz que resolveu uma questão de computação quântica que deixou os pesquisadores perplexos por quase duas décadas.
A Superinteligência Física, ou PSI, anunciou em 6 de novembro de 2026 que havia comprovado a conjectura de Aaronson-Ambainis. O trabalho utilizou seu sistema de pesquisa interno junto com um modelo Antrópico não público, e a empresa afirma que a prova chegou no terceiro dia de execução do sistema.
Ainda mais impressionante é a reação de uma das pessoas que apresentou o problema. Scott Aaronson diz que não segue totalmente a prova. Ele acredita nisso de qualquer maneira.
O que a PSI realmente provou
A conjectura de Aaronson-Ambainis trata de uma questão básica: quando os computadores quânticos poderão realmente superar os clássicos em velocidade? Foi lançado pela primeira vez por volta de 2008 e recebeu uma declaração formal em 2014.
Resumida ao seu núcleo matemático, a conjectura diz que todo polinômio limitado de baixo grau no cubo booleano tem uma variável influente.
De acordo com os resultados da pesquisa, a prova exclui a vantagem quântica exponencial em oráculos aleatórios para problemas de decisão. Resultados parciais já haviam resolvido o problema antes. A prova completa nunca havia chegado até agora.
PSI publicou seu trabalho como um artigo de 13 páginas e uma formalização Lean completa, ambos hospedados no GitHub sob a organização de superinteligência física.
Por que o Lean está fazendo o trabalho pesado
Lean é uma linguagem de programação construída para matemática. Em vez de depender de um árbitro humano para ler e verificar cada passo, você escreve a prova como código e um programa pequeno e confiável chamado kernel verifica se cada passo segue logicamente o anterior.
IA, tecnologia e os mercados que eles movimentam – em um briefing diário.
Diário. Livre. Junte-se a mais de 34.000 leitores de criptografia, finanças e política.
Respeitamos sua privacidade. Cancele a inscrição a qualquer momento.
A escala aqui é substancial. A formalização do PSI chega a 9.454 linhas e 648 teoremas, sem adição de axiomas ou espaços reservados.
Os resultados da pesquisa também observam que a formalização foi verificada novamente de forma independente usando vários kernels.
Essa camada de verificação é exatamente o motivo pelo qual Aaronson está disposto a aprovar algo que não entende completamente. Ele diz acreditar que a prova está correta porque foi autoformalizada em Lean e explicada por uma equipe de pesquisadores de ponta com quem a PSI compartilhou o resultado.
Um resultado negativo e por que isso é útil
A descoberta não revela um algoritmo quântico mais rápido. Fecha uma porta.
Turturean descreveu isso ao TechCrunch em termos práticos:
“É um resultado negativo que permite que as pessoas saibam, ok, não estamos mais olhando para lá.”
O resultado também tem limites claros. Os resultados da pesquisa especificam que isso não afeta acelerações estruturadas, como o algoritmo de Shor. A prova restringe a vantagem quântica a insumos não estruturados, e não a todos os tipos de vantagem quântica.
Quem é PSI, afinal
PSI é uma empresa de utilidade pública com sede em Cambridge, Massachusetts. Foi lançado em setembro de 2026 com US$ 58 milhões em financiamento inicial liderado pela Breakthrough Energy Ventures.
Essa linha do tempo é notável. Uma empresa que levantou sua primeira rodada em setembro divulgou no início de novembro o resultado de um problema em aberto de quase duas décadas.
O ângulo antrópico também chama a atenção. A PSI utilizou um modelo antrópico não público como parte do seu sistema, o que significa que o resultado veio em parte das capacidades de IA que os investigadores externos não conseguem aceder atualmente.
Divulgação: Este artigo foi editado por Diego Almada Lopez. Para obter mais informações sobre como criamos e revisamos conteúdo, consulte nossa Política Editorial.
As notícias sobre o que você segura
Siga suas ações e criptografia. Leia as notícias sobre eles de centenas de editores no Pro.
Política de Privacidade
