Pular para o conteúdo
ReviewRamble

A newsletter semanal

IA, analisada, na sua caixa de entrada.

  • Novas análises de ferramentas, modelos, servidores MCP e repositórios, com o veredicto logo no início
  • Preços e notas reconferidos quando algo muda
  • Novos artigos de análise assim que são publicados

Modelos, agentes, servidores MCP e as ferramentas que realmente valem seu tempo.

Um e-mail por semana. Cancele pelo link em qualquer edição. Como usamos seu e-mail

Notícias e pesquisa de IA

Pesquisa ·

Claude Mythos 5 projeta circuitos quânticos mais enxutos para oito blocos básicos

A Anthropic diz que o Claude Mythos 5, trabalhando em um ciclo automático com um avaliador que dá notas, projetou circuitos para oito blocos básicos quânticos que usam menos qubits e portas do que as melhores versões publicadas. Um projeto de soma de pontos em curvas elípticas usa 12% mais qubits, mas 17 vezes menos portas que o menor anterior, e um decodificador DQI precisa de 12 vezes menos portas que o projeto do Google.

Faltam duas coisas aos computadores quânticos: qubits e tempo. As máquinas atuais têm de centenas a milhares de qubits, e eles são frágeis, então boa parte do avanço rumo a uma computação quântica útil veio não do hardware, mas do redesenho dos circuitos em que os algoritmos rodam. A Anthropic relata que o Claude Mythos 5 já consegue fazer parte desse redesenho sozinho e, nos testes, superou os melhores projetos publicados.

A montagem era um ciclo fechado. O Claude recebia uma instrução em linguagem comum descrevendo o que o circuito devia calcular, escrevia um projeto em código e recebia de volta uma checagem de correção e uma nota pelos qubits e portas usados, sem intervenção humana entre as rodadas. Em oito blocos básicos usados em química, otimização, simulação quântica, teoria dos números e computação numérica, a Anthropic diz que ele encontrou projetos com menos qubits e menos portas do que as melhores versões publicadas. Os ganhos vieram de estrutura nova, não de ajuste fino; ao simular uma molécula de sulfeto de ferro, por exemplo, o Claude notou que a simetria dela permitia calcular alguns resultados uma vez e reaproveitá-los.

Dois resultados se destacam. Na soma de pontos em curvas elípticas, um benchmark padrão e o passo central dos ataques quânticos à criptografia de curvas elípticas, o Claude trabalhou 53 horas a partir de uma instrução de um parágrafo e adaptou o divsteps, um método clássico de inversão modular que nunca tinha rendido um circuito quântico prático porque precisa guardar o registro de cada ramificação. O Claude achou um jeito de deduzir esse registro a partir dos próprios números. Um circuito da família resultante usa 12% mais qubits, mas 17 vezes menos portas do que o menor projeto anterior, e a fórmula foi conferida com grandes simulações e depois formalizada em Lean. Na interferometria quântica decodificada, um algoritmo de otimização, ele reduziu em 12 vezes as portas do decodificador em relação à construção anterior do Google.

O contexto ajuda. Avanços em algoritmos já reduziram o número estimado de portas para simular o FeMoco, o núcleo da enzima que as bactérias usam para fixar nitrogênio, de cerca de 50 trilhões em 2017 para cerca de 340 milhões. A busca automática de circuitos pode acelerar esse tipo de trabalho, e o resultado da soma de pontos lembra que o mesmo avanço que ajuda a química também barateia quebrar a criptografia atual em máquinas futuras.

A cautela é que se trata do relato da própria Anthropic. Alguns projetos têm provas em Lean e outros, simulações, e nenhum rodou em hardware quântico, que ainda não existe na escala necessária. A Anthropic observa que o Claude tendia a preferir abordagens conhecidas até ser empurrado, e que o projeto de circuitos é só uma peça de um computador quântico funcional, ao lado da correção de erros e do hardware de controle. Verificações independentes de pesquisadores da área quântica serão o que mais importa.

Nossa opinião: O número de portas define o custo de rodar algoritmos no hardware quântico futuro, então a busca automática de circuitos é um uso crível de um modelo forte. Os resultados vêm do próprio relato da Anthropic, apoiado em simulações e algumas provas em Lean, e verificações independentes de pesquisadores de computação quântica vão importar.

Fonte: Anthropic

Mais matérias