A Anthropic ainda tem um grande trunfo!
Um momento histórico se repete: o modelo interno da Claude decifrou uma conjectura aberta de 18 anos na computação quântica.
Em apenas 3 dias, um modelo não público da Claude decifrou a conjectura de Aaronson-Ambainis, que permanecia sem solução desde 2008!
Internautas especulam: este modelo interno parece ser a versão não pública do modelo, o Claude Model 4.
O teorema e os corolários foram concluídos na formalização em Lean, e a questão de exatamente quanta vantagem a computação quântica tem sobre a computação tradicional finalmente tem uma resposta.
Claude fura o mito da supremacia quântica
Em 1994, Peter Shor propôs o algoritmo de Shor, que causou um enorme rebuliço pelo mundo.
Ele consegue fatorar grandes números inteiros em tempo polinomial, enquanto computadores comuns precisariam de tempo exponencial para essa tarefa.
A pedra angular do sistema de criptografia moderno foi, assim, abalada.
O algoritmo de Shor soou o clarim, e depois disso o termo "Supremacia Quântica" varreu o mundo tecnológico global e os mercados de capital.
Um projeto que fazia o sangue ferver parecia estar bem diante dos nossos olhos: superposição quântica, emaranhamento quântico, aceleração exponencial.
Era como se, desde que aqueles qubits frágeis fossem bem controlados, a humanidade pudesse lançar um ataque dimensional por todos os lados e instantaneamente entrar em uma nova era de poder computacional quase ilimitado.
Uma ilusão cognitiva cega começou a se espalhar:
Desde que haja um estado de superposição quântica, parece que, para a maioria dos problemas difíceis, os computadores quânticos também podem percorrer instantaneamente todas as possibilidades e alcançar um acerto crítico exponencial.
Felizmente, físicos e cientistas da computação logo perceberam: a razão pela qual o algoritmo de Shor pode produzir um "esmagamento exponencial" é que por trás da fatoração de inteiros existe uma forte estrutura periódica. E os computadores quânticos são bons em capturar esse tipo de padrão repetitivo.
Mas se os dados de entrada forem completamente aleatórios, sem qualquer padrão ou estrutura especial, os computadores quânticos ainda podem alcançar superioridade exponencial?
Em 2008, dois importantes estudiosos no campo da computação quântica—Scott Aaronson e Andris Ambainis—abstraíram esse problema de física e algoritmo em um problema de matemática pura.
Eles compararam o processo de um computador ler dados de entrada a uma "observação".
Cada vez que um computador clássico lê um bit, ele vê um "0" ou "1" exato; um computador quântico, usando estados de superposição, pode espalhar uma única observação por um número massivo de estados.
Os dois estudiosos descobriram que a probabilidade de um computador quântico produzir "sim" após T observações pode, essencialmente, ser rigorosamente caracterizada como um "polinômio de baixo grau limitado".
Se for possível provar que tal polinômio deve ter uma mudança suficientemente grande quando alguma variável é invertida, ou seja, que existe uma variável com influência significativa, então é possível provar que: um computador clássico precisa apenas de um custo adicional em nível polinomial para simular perfeitamente o comportamento de um computador quântico.
Esta é a famosa conjectura de Aaronson-Ambainis.
Agora, esta conjectura foi provada pela IA, e no futuro talvez precise ser chamada de "teorema de Aaronson-Ambainis":
Nas palavras deles:
A computação quântica ainda tem muitos mistérios não resolvidos, mas agora, há um a menos.
Deve-se notar que a supremacia quântica não desapareceu, mas este teorema matou a "superstição cega" da computação quântica e esclareceu o "território legítimo" P da vantagem quântica.
O Momento Oppenheimer da Computação Quântica
A Superinteligência Física que agiu desta vez não é a primeira a agir—
No mês passado, eles resolveram cinco problemas de longa data não resolvidos na teoria da informação quântica.
Anteriormente, Guy Blanc, Jordan Docter, Carmen Strassle do MIT e Li-Yang Tan da Universidade de Stanford resolveram um caso especial de um corolário de simulação clássica desta conjectura.
Eles estavam lendo a nova prova e a consideraram apenas um "grande resultado":
Ela resolveu uma conjectura de décadas e tem implicações importantes para a essência de quais problemas podem alcançar aceleração quântica.
Esta pesquisa envolve várias direções de pesquisa em análise de funções booleanas e combinatória probabilística.
E esta prova de modo algum é "repetição"—não se trata absolutamente de simplesmente pesquisar a literatura para resolver o problema, mas sim de uma "maneira bastante maravilhosa" que reuniu todo o conteúdo.
Talvez especialistas de múltiplas áreas trabalhando juntos pudessem eventualmente provar esta conjectura, mas a velocidade da IA está além do alcance humano!
Segundo relatos, depois que o sistema Harness construído em torno do modelo interno da Anthropic foi concluído, a primeira prova foi finalizada três dias depois.
Em seguida, ela foi imediatamente enviada ao assistente de provas Lean para verificação.
Mas isso não foi o fim.
Quando foi pedido às instâncias do modelo que usassem esses resultados intermediários para atacar problemas não resolvidos, elas, por sua vez, aperfeiçoaram esses resultados intermediários, reduzindo o expoente de 22 para 11, depois para 7, baixando-o continuamente.
Isso também é um microcosmo do próprio processo de descoberta: a prova não é um súbito lampejo de inspiração, mas uma aproximação passo a passo da fronteira ótima por meio do repetido aperfeiçoamento dos resultados intermediários.
A física e a matemática permanecem vastas, o universo permanece imenso, e ainda há muitos mistérios não resolvidos que a humanidade precisa explorar.
Mas uma coisa já é certa:
Na equipe de expedição que explora a fronteira racional, a humanidade não está mais sozinha, solitária e acompanhada apenas pela própria sombra.
Referências:
https://psi.inc/research/oqp-batch-2026/
https://psi.inc/research/aaronson-ambainis/
Este artigo é da conta pública do WeChat "Xin Zhi Yuan", autor: ASI Revelation
