Anthropic diz que Claude elevou para 67,2% um limite inferior dos zeros zeta de Riemann

A Anthropic diz que uma versão inédita de pesquisa do Claude melhorou um antigo limite da teoria analítica dos números, elevando de 41,6% para 67,2% a proporção conhecida de zeros da função zeta de Riemann na linha crítica. O resultado veio após um funcionário pedir uma tentativa séria da hipótese de Riemann. Claude não resolveu o famoso problema aberto, e a empresa diz que as técnicas não devem produzir tal prova.

A hipótese de 1859 trata da posição dos zeros não triviais da zeta e tem ligação estreita com a distribuição dos primos. Ela afirma que todos estão numa linha vertical específica do plano complexo. Não foi provada nem refutada, mas uma proporção mínima na linha foi estabelecida. Antes do resultado descrito, o limite publicado era 41,6%.

Claude usou décadas de matemática existente. A Anthropic diz que combinou trabalhos recentes de Siegfred Alan Baluyot, Daniel Goldston, Ade Irma Suriajaya e Caroline Turnage-Butterbaugh com artigo de Enrico Bombieri de 2000. Utilizou uma forma quadrática induzida por André Weil e subespaços definidos positivos e negativos ligados a zeros dentro e fora da linha, derivando desigualdade de posto de informações de primeiro e segundo momentos.

A verificação é central. Dois matemáticos da Anthropic estudaram e validaram o artigo e prepararam nota para especialistas; Brian Conrey e Daniel Goldston também o examinaram com pouco tempo. Claude produziu em Lean uma prova formalmente verificável, permitindo que um assistente conferisse a lógica em vez de depender só da prosa. Artigo, nota, apêndice e formalização foram publicados com o anúncio.

O cálculo foi substancial. O modelo trabalhou em duas sessões do Claude Code e gerou 31 milhões de tokens de saída. Decompôs o problema, explorou trabalhos anteriores e revisou a abordagem em execução longa. Não foi um chatbot comum respondendo a um prompt, mas processo caro com ferramentas, grande contexto e posterior revisão de matemáticos humanos.

O caso mostra por que o enquadramento preciso é essencial em problemas científicos abertos. Claude não provou a hipótese, não mostrou que 67,2% é final nem eliminou o escrutínio por pares. Alegou melhorar um limite relacionado ao sintetizar técnicas estabelecidas; a própria Anthropic diz que a abordagem dificilmente leva à conjectura completa. Publicação e exame pela comunidade serão teste mais forte que a validação interna.

Mesmo com limites, o resultado indica que sistemas de pesquisa prolongada podem contribuir onde correção é muito exigente. Provas formais separam objeto lógico verificável de explicação persuasiva, mas não garantem automaticamente definições, suposições e importância bem formuladas. Falta saber se especialistas independentes confirmam, se o método generaliza e se é reproduzido com eficiência. Para laboratórios, verificação com ferramentas e revisão especializada podem importar tanto quanto gerar ideias.