A própria Anthropic não espera que as técnicas do Claude provem a hipótese de Riemann. A conjectura de que todos os zeros não triviais da função zeta de Riemann ficam na linha crítica, onde a parte real é um meio, continua sem prova. A afirmação mais estreita da Anthropic ainda é importante. Uma versão de pesquisa não lançada do Claude produziu uma prova incondicional que eleva de 41.6% para 67.2% a cota inferior conhecida para a parcela dos zeros nessa linha. É uma cota sobre uma proporção assintótica, não uma prova de que todos os zeros estão ali nem uma afirmação sobre onde está o restante.
A escala do salto é a notícia. O artigo da Anthropic diz que o recorde de 41.6% permanecia desde 2020. Pelos números arredondados do anúncio, o Claude o moveu 25.6 pontos percentuais em um único resultado. Nada na progressão histórica apresentada no artigo chega perto desse salto isolado. A prova se apoia fortemente no trabalho de correlação de pares de Baluyot, Goldston, Suriajaya e Turnage-Butterbaugh, além de trabalhos anteriores de Bombieri. O movimento novo é uma leitura por álgebra linear dessa estrutura, tratando juntos os zeros dentro e fora da linha por meio de uma forma quadrática. O resultado amplia a matemática humana; não apareceu sem ela.
A verificação é mais forte do que uma transcrição de modelo que parece convincente. A Anthropic publicou uma formalização em Lean 4 baseada na definição da função zeta do Mathlib e afirma que ela passa pelo comparador padrão sem marcadores de prova inacabada. Os matemáticos da Anthropic Levent Alpöge e Ralph Furman estudaram e validaram o resultado. Brian Conrey e Dan Goldston examinaram o artigo externamente em pouco tempo. O trabalho do próprio Conrey aparece na história clássica das cotas da linha crítica, o que dá peso ao exame. Ainda é importante nomear o limite: a Anthropic publicou o modelo, o artigo e o relato de validação. Exame externo não é o mesmo que publicação independente revisada por pares.
A faísca humana foi excepcionalmente pequena e específica. Jarred Sumner, criador do Bun e não matemático, pediu ao Claude que tentasse seriamente a hipótese. Segundo a Anthropic, o modelo primeiro testou 650 ideias sem sucesso e depois passou um dia e meio coordenando cerca de 60 subagentes. Ao longo de 31 milhões de tokens de saída, eles executaram 2,400 comandos de shell, verificaram argumentos candidatos e revisaram o trabalho uns dos outros. A participação de Sumner foi principalmente enviar mensagens de incentivo. Depois, Claude procurou contraexemplos, baixou 54 artigos para verificar a novidade e refez a prova de forma independente. Esses números descrevem uma execução de pesquisa cara, não um benchmark repetível.
A parte consequente não é a anedota motivacional nem a marca do modelo. É um teorema concreto que move uma cota centenária, chega com um artefato verificável por máquina e traz um limite explícito de seu fabricante. Como o modelo de pesquisa não foi lançado, pesquisadores externos ainda não podem testar se a capacidade se generaliza. Como a divulgação vem de uma única fonte, a Anthropic, a comunidade matemática mais ampla ainda precisa examinar a prova e sua novidade. Se o resultado sobreviver a esse processo, ele pertence ao registro da teoria dos números. Isso não deixa a hipótese de Riemann menos sem solução.