Claude levou o cálculo de uma amplitude de oito para nove loops, informa a Anthropic

A Anthropic informou que o Claude realizou um cálculo de nove loops. O resultado publicado anteriormente para essa amplitude terminava em oito loops. Isso representa mais uma ordem da expansão perturbativa, e cada nova ordem custa bem mais que a anterior. O texto a que tivemos acesso não traz detalhes do cálculo em si. Em compensação, há uma longa análise no Habr, em que o autor transformou a notícia num experimento prático de controle de código científico escrito por IA.

O que significam «nove loops»

Na teoria quântica de campos, a precisão de uma previsão aumenta ordem a ordem da teoria de perturbações. Cada ordem corresponde a um loop nos diagramas de Feynman. A cada novo loop, crescem o número de diagramas, a dimensão das integrais e o volume de álgebra. Em termos de trabalho, passar de oito para nove loops não se compara a passar de um para dois.

A tarefa é pesada tanto para humanos quanto para código. Um erro de sinal, de fator de simetria ou no cancelamento de divergências se esconde com facilidade entre milhares de termos. Por isso, dizer que «o modelo calculou nove loops» não informa nada sobre a confiabilidade do resultado enquanto o esquema de verificação não for descrito. O texto do Habr não traz o cálculo em si nem sua verificação, então a confirmação independente da publicação ainda terá de esperar.

O trabalho de conclusão sobre grafeno como campo de provas

O autor da análise não se limitou a repetir o press release. Com ajuda de IA, ele reconstruiu os cálculos do seu trabalho de conclusão sobre grafeno e encontrou um erro que permaneceu após a defesa. É o episódio mais valioso do material: aqui a IA atuou como revisora de um trabalho humano antigo.

Desse episódio, o autor passa a um método que chama de decomposição por processo. O cálculo é dividido em etapas, e para cada uma são definidos:

• entradas e saídas;
• contratos: o que exatamente a etapa deve garantir;
• verificações independentes do resultado, feitas por outro caminho;
• verificações das próprias verificações;
• defeitos introduzidos de propósito, para confirmar que o controle os detecta.

O último item se aproxima do teste de mutação na engenharia de software. Se o controle não percebeu um erro deliberado, não dá para confiar no seu status «verde».

O que há no material

• Resultado declarado: cálculo de amplitude em 9 loops, contra 8 na publicação anterior.
• Volume: 95 ilustrações, parte delas animações.
• Código: código completo em Python e 7 experimentos reproduzíveis.
• Percurso da exposição: da equação de Schrödinger e de um loop até os métodos de bootstrap e os símbolos (symbols).
• Conceito: o «pictorialismo quântico» como possível base para código científico em teoria quântica.
• Fato verificado: foi encontrado um erro no trabalho de conclusão, que sobreviveu à defesa.

O último ponto da lista de conceitos o autor apresenta como hipótese, e não como padrão consolidado. A linguagem de diagramas é proposta como uma estrutura em que o código fica mais fácil de ler e verificar.

Como adotar a abordagem

Se você entrega cálculos, simulações ou código analítico para uma IA, comece por três passos:

1. Divida a tarefa em etapas e registre por escrito o contrato de cada uma: entradas aceitas, formato das saídas, invariantes. 2. Para cada etapa, crie pelo menos uma verificação por outro caminho: um caso-limite conhecido, cálculo numérico contra analítico, comparação com um valor publicado. 3. A cada ciclo, introduza no código um defeito deliberado e veja se os testes o detectam. Se não detectarem, é preciso reescrever as verificações.

E um alerta à parte: ao avaliar a declaração de «N loops», ou de qualquer outro recorde, veja se o código, os contratos e os métodos de verificação independente foram publicados. Sem eles, é por enquanto o anúncio de um resultado, e não o resultado em si.