Claude elevou para 67,2% a parcela comprovada dos zeros de zeta na reta crítica — e o método importa mais do que o número

Em 10 de agosto, a Anthropic publicou uma nota de pesquisa cujo autor é um modelo de linguagem de grande porte. O resultado: pelo menos 67,2% dos zeros não triviais da função zeta de Riemann estão na reta crítica Re(s) = 1/2. Incondicionalmente. O recorde comprovado anterior era 41,6% (5/12), um número que havia sobrevivido a quatro décadas de refinamentos do método de Levinson.

Claude não provou a hipótese de Riemann. A própria nota diz isso, duas vezes. O que ele fez — e esta é a parte que merece uma pausa — foi transformar um 67% condicional em um 67% incondicional com um método genuinamente novo: sem estimativas de densidade de zeros, sem região livre de zeros, sem mollifier. A entrada aritmética é exatamente a avaliação de Montgomery, no lado dos primos, do segundo momento da correlação de pares com largura de banda ≤ 1, que é incondicional desde 1973. Tudo o que antes exigia a RH para ser interpretado foi substituído por álgebra linear em uma matriz finita.

Por que este número tem peso

A hipótese de Riemann afirma que todo zero não trivial tem parte real exatamente igual a 1/2. Não provada desde 1859, ela é um Problema do Milênio do Clay Mathematics Institute, com um prêmio de um milhão de dólares. Os resultados parciais são limites inferiores para a fração de zeros na reta, e vale a pena apresentar toda a linhagem:

Hardy (1914): infinitos zeros na reta.
Selberg (1942): uma proporção positiva.
Levinson (1974): pelo menos 1/3, pelo método do mollifier.
Conrey (1989): 2/5, refinando Levinson.
Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler: 5/12, o recorde vigente até esta semana.

Cada número dessa lista vem da mesma família de técnicas — o método de Levinson e seus descendentes. O novo 2/3, não. Ele vem do círculo de ideias da correlação de pares de Montgomery, que antes só podia ser usado condicionalmente à RH. É uma ruptura estrutural, não um incremento: é a primeira vez que as “consequências da correlação de pares condicionadas à RH” foram separadas da própria RH nessa intensidade.

O número 2/3 tem uma história própria. Montgomery mostrou em 1973 que, sob a RH, pelo menos 2/3 dos zeros são simples (mais tarde, Goldston e outros elevaram esse valor para 67,9%). O 2/3 aqui é a mesma constante, agora incondicional — mas para zeros na reta, contados como zeros distintos, não como “simples” no sentido de Montgomery. Essa distinção importa: N₀* conta zeros distintos na reta crítica, portanto as multiplicidades não são contadas contra você. A nota também prova que pelo menos 5/6 de todos os zeros são distintos, o que decorre da mesma maquinaria.

Mais dois pontos estruturais. Primeiro, o teorema trata de intervalos diádicos [T, 2T] com um erro o(1); o liminf quando T→∞ é pelo menos 2/3, e a nota informa que a razão para T finito fica abaixo do limite porque a convergência é lenta (ver a Observação 5.9). Segundo, o método não está preso a 2/3: com a janela ótima de Montgomery–Taylor, a constante se torna 0,67250…, que é exatamente a constante de Montgomery–Taylor condicional à RH. 2/3 é a formulação limpa; o método consegue fazer um pouco melhor sem esforço adicional.

Um motor diferente

É aqui que o resultado deixa de ser um recorde e se torna uma técnica. A fórmula explícita de Weil transforma uma afirmação de positividade sobre funções teste em uma afirmação sobre zeros: o funcional quadrático associado é positivo semidefinido se e somente se a RH for verdadeira. Essa equivalência é ao mesmo tempo a força e a armadilha — toda abordagem ingênua de “provar a RH pela positividade” morre nela, e o agente coordenador de Claude relata que, na sessão anterior com mil agentes, o primeiro passo substantivo de cada caminho proposto acabou sendo a positividade de Weil ou um equivalente disfarçado.

O truque é parar de perguntar sobre a forma inteira de dimensão infinita. Claude restringe o pareamento a um espaço finito-dimensional de funções teste — um “sistema de Gabor” de janelas moduladas, com aproximadamente d ≈ λN(T,2T) funções — e analisa a matriz real simétrica finita resultante. Agora:

zeros na reta crítica contribuem com blocos positivos semidefinidos de posto um;
zeros fora da reta se agrupam como {ρ, 1−ρ̄} pela equação funcional e contribuem com blocos indefinidos (1,1) — uma assinatura de espaço de Kreĭn, não de espaço de Hilbert;
a lei da inércia de Sylvester limita a assinatura da forma inteira;
uma desigualdade posto–traço, provada por meio da desigualdade de traço de von Neumann, conecta a assinatura a momentos de traço computáveis;
os próprios traços são avaliados incondicionalmente a partir dos primos até X = (T/2π)^λ, usando Montgomery–Vaughan.

O lado dos zeros e o lado dos primos são ligados por uma identidade de soma de Poisson que fornece exatamente o núcleo de amostragem, sem aliasing. Numericamente, os dois lados concordam até 10⁻⁸ em alturas pequenas. O passo mais importante é conceitual: classicamente, era necessário usar a RH para ler o lado dos zeros como uma soma positiva sobre ordenadas reais. Aqui, a indefinição dos pares fora da reta é absorvida pela álgebra linear — você nunca precisa saber quão longe da reta um zero está, apenas que seu bloco (1,1) é limitado em posto. O índice negativo é tratado pelo teorema da inércia, em vez de ser zerado por uma hipótese não provada.

É também por isso que o artigo de Bombieri de 2000, “Remarks on Weil’s quadratic functional in the theory of prime numbers, I”, é o ancestral correto a citar: ele estudou os truncamentos finitos da forma de Weil e mostrou que, se a RH falhar com apenas um número finito de zeros problemáticos, o número de autovalores negativos de um truncamento suficientemente grande será igual à metade do número de zeros problemáticos. A assinatura da compressão finita codifica como a RH falha. A contribuição de Claude é mostrar que se pode extrair dessa assinatura a contagem de zeros na reta sem jamais resolver a questão de quais zeros fora da reta existem.

O que isso não diz e onde está o teto

A nota é excepcionalmente explícita sobre seus limites. Nenhum certificado desse tipo pode ultrapassar 0,68185 — as informações de primeiro e segundo momentos na largura de banda λ ≤ 1 impõem um teto rígido, e λ ≤ 1 é essencial para o argumento (além disso, seriam necessárias informações que o lado incondicional dos primos não fornece). Chegar a 0,70/0,80/0,90 exigiria suporte da correlação de pares até aproximadamente 1,04/1,26/1,70, o que significa uma entrada aritmética genuinamente nova, não uma álgebra linear mais engenhosa.

Portanto, a leitura honesta é: isto não é um passo rumo à prova da RH, e os autores não afirmam que seja. É um passo rumo ao projeto mais antigo e possivelmente mais tratável — o programa de tornar incondicionais as “consequências da RH”, no espírito do trabalho de Bombieri e outros sobre primos em intervalos curtos. E demonstra que a maquinaria da correlação de pares, uma vez libertada da RH, é mais forte do que a maquinaria dos mollifiers nesta tarefa específica.

A sessão de 54 horas por trás disso

O apêndice é a leitura mais interessante e deve ser lido como um artigo sobre fluxo de trabalho, não como uma história colorida. Um agente coordenador executou cerca de 60 subagentes isolados durante um dia e meio: 2.400 comandos de shell, centenas de scripts Python, 31 milhões de tokens de saída. O coordenador fez pouquíssima matemática por conta própria; seu papel foi dar direção, fazer triagem e verificar.

Dois subagentes produziram as ideias principais. E2 provou que o caminho do índice negativo estava vazio — o índice negativo finito honesto é identicamente zero — e então inverteu a ideia, limitando inferiormente o índice positivo a partir dos traços do lado dos primos para afirmar que pelo menos metade dos zeros está na reta. E2-pairs passou 91 minutos pensando, executou experimentos numéricos que contradiziam seu próprio briefing e escreveu o lema posto–traço que elevou 1/2 para 2/3. Quatro minutos depois de escrevê-lo, uma falha de infraestrutura matou a execução no meio de uma frase. O coordenador leu o diretório do agente morto, reconheceu o resultado como “a coisa mais importante que aconteceu naquela noite”, conferiu linha por linha a prova de cinco linhas e retomou o mesmo agente com uma checklist.

Algumas coisas se destacam na forma como isso funcionou. As duas previsões criativas do próprio coordenador estavam erradas — ele apontou o mecanismo na direção errada no passo de um meio e deu uma alavanca de recuperação errada no passo de dois terços — enquanto sua arquitetura de árbitros se manteve firme. Os subagentes foram deliberadamente isolados: não podiam ver a conversa nem uns aos outros, o que manteve seus erros independentes e tornou significativa a revisão adversarial. E a contribuição humana foi um punhado de prompts de uma linha: “Retome seu trabalho”, “Leve isso a 2/3”, “Continue”. Claude inicialmente subestimou a si mesmo; a persistência veio de fora.

O protocolo de verificação é a verdadeira descoberta

É aqui que o resultado importa para além da teoria dos números. O problema da confiança na matemática feita por IA não é “um modelo consegue encontrar uma prova?”, mas “por que alguém deveria acreditar nele?”. O pipeline aqui é um modelo para responder a isso:

Agentes revisores hostis e cegos, cada um encarregado de uma lacuna disjunta e de um plano de ataque, proibidos de ler uns aos outros. Eles encontraram um erro real — uma premissa falsa sobre a matriz de massa — e propuseram a correção que acabou no artigo. Um ciclo adversarial detectou uma alucinação; é o sistema funcionando.
Um agente de rederivação cego provou o resultado sem ler a prova, além de casos de controle em que se sabe que a RH falha. Ambos são formas baratas de reprodutibilidade.
Um agente de literatura baixou 54 artigos do arXiv para verificar a novidade — o coordenador recusou-se explicitamente a confiar na própria memória.
Uma formalização em Lean 4 / Mathlib dos Teoremas A–E, sem sorry, dependendo apenas dos três axiomas padrão (propext, Classical.choice, Quot.sound). Isso inclui a fórmula explícita de Weil, a contagem de Riemann–von Mangoldt, estimativas de Stirling, Chebyshev–Mertens e Montgomery–Vaughan — a estrutura analítica também foi formalizada, não apenas o teorema principal.
Especialistas humanos: os matemáticos internos da Anthropic, Levent Alpöge e Ralph Furman, validaram o resultado; os especialistas externos Brian Conrey e Dan Goldston o examinaram em curto prazo.

As próprias ressalvas do coordenador são a parte mais instrutiva. “Não estou dizendo que metade dos zeros está na reta. Estou dizendo que um agente produziu um argumento com essa conclusão.” “O resultado precisa de um especialista humano.” O veredito da versão final: “O próximo leitor deve ser uma pessoa.”

Essa é a divisão correta do trabalho, e vale a pena nomeá-la: geração e execução podem ser paralelizadas; a verificação é em camadas e adversarial; a formalização é a verdade de referência; o julgamento permanece com as pessoas. O erro encontrado pelos revisores é o motivo pelo qual o pipeline existe — um modelo que gera uma prova plausível é precisamente o caso em que um leitor acrítico se queima.

As ressalvas honestas

Este é um artefato de pesquisa em nível de preprint, lançado na mesma semana em que foi escrito. A própria nota de especialistas sinaliza termos de erro não expandidos (as caudas O(T^δ log T) e O(T^{1/2−2δ}) são esboçadas, em vez de detalhadas por completo). A formalização em Lean é um artefato estático de pesquisa, não uma biblioteca mantida. E os comportamentos observados no nível da sessão — um coordenador cujas previsões estavam erradas duas vezes, um agente que precisou de uma falha da infraestrutura para ser notado — ainda não constituem um processo reproduzível; são um dado sobre o que esse fluxo de trabalho pode produzir quando funciona.

A matemática foi verificada com mais rigor do que a maioria dos preprints: uma prova em Lean verificada por máquina, um ciclo de revisão adversarial e duas leituras independentes de especialistas. O julgamento final ainda pertence à comunidade, como deve ser. Mas o formato do resultado — um teorema gerado por IA, formalmente verificado, revisado por especialistas, com seu método honestamente relacionado aos ancestrais Bombieri e Montgomery — é novo. Os 67,2% são a parte menos surpreendente do anúncio.