Claude projeta circuitos quânticos que batem benchmarks em até 10x+

Introdução

Claude projeta circuitos quânticos que superam benchmarks publicados em até 10x em sete de oito tarefas avaliadas, segundo a Anthropic em 16 de outubro de 2026, com validação por um avaliador programático e paper completo no arXiv. O resultado inclui uma arquitetura reversível inédita para modular inversion e um decodificador Reed, Solomon aproximadamente 12x mais barato, pontos que deslocam a fronteira de custo entre qubits e portas para algoritmos chaves. (anthropic.com)

Esse avanço importa porque circuitos quânticos eficientes são o gargalo prático entre provas teóricas e aplicações reais. A equipe mostrou Claude trabalhando em loop fechado, propondo, testando e refinando implementações, com menos intervenção humana e foco explícito na métrica qubits vezes portas. Em um caso, uma família de designs para aritmética elíptica obteve até 17x menos portas com pequeno aumento de qubits, ampliando o conjunto de compromissos possíveis. (anthropic.com)

O que exatamente a Anthropic publicou

A Anthropic descreve um procedimento claro. Primeiro, especificações em linguagem natural para oito primitivas de computação, cobrindo química, otimização, simulação, teoria dos números e computação numérica. Segundo, um avaliador automático que verifica correção e atribui nota baseada na multiplicação qubits por portas. Terceiro, Claude, em iterações sucessivas, gera implementações em código, recebe feedback numérico do avaliador e usa isso para melhorar a próxima tentativa, sem intervenção humana entre rodadas. No agregado, as soluções resultantes bateram designs publicados em sete de oito tarefas, reduzindo simultaneamente contagem de Toffoli e qubits na maior parte dos casos. (anthropic.com)

O artigo no arXiv, assinado por Andi Gu, Alek Kemeny, Susanne Yelin e Mikhail Lukin, formaliza a moldura de busca evolutiva orientada por avaliador. A oitava tarefa, modular inversion em campos primos, motivou uma nova arquitetura reversível baseada em divsteps sem histórico de branches armazenado, algo antes considerado impraticável em aritmética reversível. Essa mudança destrava um novo regime de trade, off entre tempo e espaço. (arxiv.org)

Por que isso é relevante agora para computação quântica útil

A distância entre o hoje e um computador quântico útil é, em grande parte, uma questão de orçamento de recursos. Mesmo com avanços em correção de erros, a moeda de troca continua sendo qubits e portas em grande escala. A própria Anthropic lembra como a estimativa de portas Toffoli para simular FeMoco, um cluster ferro, enxofre central na nitrogenase, caiu de 50 trilhões em 2017 para cerca de 340 milhões em 2025, uma redução de 150 mil vezes que custou oito anos de pesquisa incremental em múltiplos grupos. A capacidade de Claude de encontrar designs melhores em horas ou dias muda a velocidade desse ciclo de otimização. (anthropic.com)

Dois destaques do post técnico exemplificam o impacto prático. Primeiro, a família de designs para point addition em curvas elípticas, núcleo de algoritmos de log discreto, ofereceu pontos na fronteira de Pareto antes indisponíveis, incluindo um circuito que usa 12 por cento mais qubits mas 17x menos portas do que o menor design anterior. Segundo, na otimização via decoded quantum interferometry, Claude substituiu uma abordagem baseada no algoritmo euclidiano estendido por uma estrutura baseada em Berlekamp, Massey, uniformizando o fluxo de operações e simplificando reversibilidade, o que levou a uma redução de cerca de 12x no passo de decodificação. (anthropic.com)

Como Claude chegou a 12x, o caso Reed, Solomon

Decodificação Reed, Solomon é o passo dominante em DQI. O design anterior, baseado no euclidiano estendido, precisava simular todos os fluxos de execução possíveis, já que circuitos quânticos não podem ramificar condicionalmente como programas clássicos. Isso inflou a contagem de operações e a profundidade. Claude migrou para Berlekamp, Massey, que executa o mesmo tipo de passo em número de rodadas fixo, encaixando melhor o requisito de sequência única de portas. O modelo, então, atacou a reversibilidade não pela pilha de estados, e sim por reconstrução do histórico a partir do estado corrente, reservando memória real apenas para poucos casos excepcionais. Essas decisões reduziram a necessidade de armazenamento e a quantidade de recomputações, derrubando o custo do decodificador em um fator de aproximadamente 12. (anthropic.com)

O detalhe curioso é o pragmatismo do processo. Para calibrar o espaço de memória necessário, Claude escreveu um simulador e rodou centenas de milhões de amostras para medir frequência de exceções. Com base nos dados, reservou apenas 19 qubits para o pior caso prático, aceitando falhas raríssimas dentro da tolerância do algoritmo. Esse é o tipo de engenharia de custo que aproxima a teoria do chão de fábrica. (anthropic.com)

Modular inversion e a nova arquitetura reversível

Em aritmética modular, a operação de inversão é intensiva em portas quando traduzida para o domínio reversível. A equipe relata uma arquitetura inédita que torna viável aplicar divsteps sem guardar o histórico de branches, removendo o fardo que antes tornava essa via impraticável. O ganho não é meramente cosmético, ele altera a inclinação da curva custo, desempenho de uma primitiva recorrente em criptografia e algoritmos de curvas elípticas. O efeito colateral saudável é ampliar a família de escolhas, incluindo combinações com um pouco mais de qubits e muito menos portas, como o 17x citado. (anthropic.com)

No quadro maior, isso ecoa uma tendência de 2026, com trabalhos independentes mostrando LLMs e RL acelerando síntese de circuitos quânticos para química e outras áreas, às vezes reduzindo o tempo de geração de circuitos em ordens de magnitude e superando a qualidade do próprio conjunto de treino. Pesquisas recentes de grupos industriais e acadêmicos reportaram circuitos gerados por IA executados em hardware comercial e estruturas evolutivas parecidas com a da Anthropic, nas quais um avaliador independente guia a busca por projetos de ponta. (quantum-brief.com)

Como o avaliador independente evita armadilhas comuns

O desenho do pipeline evita dois problemas frequentes quando se usa LLMs para engenharia. Primeiro, evita overfitting a feedback textual subjetivo, pois a nota é uma função objetiva de qubits e portas. Segundo, testa correção com um verificador determinístico por entrada, quando possível, reduzindo o risco de regressões invisíveis. Essa abordagem, formalizada no arXiv em 15 de outubro de 2026, incorpora exatamente a separação entre gerador e juiz que a comunidade vem defendendo para co, design de algoritmos orientado por IA. (arxiv.org)

Além da verificação local de correção, o uso de benchmarks conhecidos dá lastro externo. Em tarefas como point addition, há literatura recente com designs de referência que servem de base para comparação. A Anthropic também relata datas, autores e fontes desses designs nas tabelas do post, algo indispensável para a comunidade reproduzir as medições. O resultado é uma avaliação que, embora feita com um avaliador automatizado, se ancora em padrões familiares para quem compara contagens de Toffoli e qubits. (anthropic.com)

Limitações e como a equipe mitigou

O próprio relato técnico admite comportamento conservador durante as buscas. Claude por vezes revisita e revalida resultados já sólidos, preferindo caminhos conhecidos. Para contornar isso, os pesquisadores exigiram múltiplas abordagens qualitativamente distintas perseguidas em paralelo e, quando necessário, injetaram prompts para ampliar o espaço de busca. A arquitetura de modular inversion, por exemplo, não veio de micro, otimizações sobre um design legado, e sim da exploração de um método que dependia de resultados matemáticos que o próprio sistema derivou e formalizou em Lean, antes de consolidar a implementação. (anthropic.com)

Esse padrão sugere um papel claro para engenheiros humanos no laço: estruturar o espaço de busca, planejar a diversidade de estratégias e ajustar incentivos do avaliador. Em termos práticos, times podem acelerar ciclos de P, D, C, A definindo métricas de custo congruentes com hardware alvo, criando suites de validação determinísticas e projetando funis de geração, triagem e auditoria que preservem variação suficiente para descobertas estruturais, não apenas polimento incremental. (arxiv.org)

Como isso conversa com o estado da arte em 2026

O anúncio da Anthropic se soma a uma sequência de resultados onde modelos de linguagem e agentes com reforço produzem circuitos quânticos de alta qualidade. Em agosto de 2026, um consórcio industrial reportou um transformer que escreveu circuitos para uma molécula alvo, depois executados em um computador quântico de íons aprisionados, com velocidades de geração três a quatro ordens de magnitude maiores que o algoritmo iterativo do qual aprenderam e com acurácia melhorada via RL. Outros trabalhos exploram molduras além do RL clássico para síntese rápida e escalável, bem como avaliadores autônomos que garantem reprodutibilidade. O fio condutor é o mesmo, a separação entre proponente e avaliador. (quantum-brief.com)

Cobertura secundária também destacou números, como ganhos de 12x a 17x em partes específicas e a natureza de loop fechado sem humanos entre rodadas, reforçando a leitura do post original. Esses relatos ajudam a fixar a mensagem para públicos não acadêmicos, embora o paper de referência continue sendo a fonte decisiva para métodos e medições. (modelsatwork.news)

Implicações práticas para times de produto e pesquisa

Para equipes que trabalham com problemas mapeáveis a primitivas testáveis, dá para começar agora com uma rotina simples:

• Definir a métrica de custo, por exemplo, qubits vezes portas, ponderando pesos quando a meta for estilo NISQ ou correção de erros.
• Implementar um avaliador independente, idealmente com verificação determinística por entrada e score objetivo.
• Gerar múltiplos candidatos em paralelo, forçando diversidade de técnicas em cada rodada.
• Medir, selecionar non, dominated e re, injetar variações estratégicas nas próximas rodadas.
• Registrar tudo com seeds, versões de libs quânticas e parâmetros do simulador, para reprodutibilidade plena.

A Anthropic relata até sessões únicas de 53 horas gerando famílias inteiras de designs úteis. Em ambientes corporativos, isso se traduz em janelas de fim de semana para produzir fronteiras de Pareto novas, seguidas por revisões formais na segunda, feira. O ganho de cadência, mais do que qualquer número isolado, é o que muda a curva de adoção. (anthropic.com)

Onde ficar atento, ceticismo produtivo

Resultados de síntese automática dependem profundamente do que se mede e de como se mede. É essencial verificar se as comparações usam o mesmo modelo de ruído, a mesma base de portas e os mesmos custos relativos de Toffoli, Clifford e T, entre outros detalhes. Também vale checar contaminação de benchmarks e controles de vazamento de respostas de internet em avaliações com navegação, um tema que a própria Anthropic discutiu em outros contextos recentes. O estudo dos autores, porém, emprega um avaliador programático fechado para cada tarefa, o que limita esse risco e ancora as melhorias em medições de custo básicas. (anthropic.com)

Para leitores técnicos, o melhor caminho é ir direto ao paper, reproduzir uma das oito tarefas em simulador local, verificar contagens e confirmar os fatores de redução reportados. Em seguida, experimentar perturbações nos objetivos, como penalizar profundidade de T ou restringir largura máxima, para ver como a família de soluções se desloca. Essa prática local dá confiança para transportar a moldura a domínios proprietários.

Conclusão

Resultados como modular inversion mais enxuta e decodificação Reed, Solomon 12x mais barata mostram que LLMs já conseguem gerar avanços estruturais em circuitos quânticos, não só polimento de última milha. Ao colocar o avaliador como árbitro único e objetivo, a Anthropic demonstra um caminho replicável para transformar problemas de design de algoritmos em ciclos de otimização com cadência de engenharia. (anthropic.com)

O próximo passo lógico é expandir o escopo além de primitivas individuais. Se avaliadores análogos puderem orquestrar co, design do stack inteiro, do algoritmo à correção de erros e aos controladores físicos, fica mais plausível antecipar aplicações úteis em química, materiais e otimização industrial. A lição prática é clara, quando a tarefa pode ser escrita em código, testada automaticamente e medida por custo objetivo, a chance de Claude encontrar um atalho aumenta bastante. (anthropic.com)