A Anthropic publicou, em 10 de agosto, um resultado no qual uma versão de pesquisa não lançada do Claude elevou um limite inferior em teoria analítica dos números: a proporção de zeros não triviais da função zeta de Riemann provados estar na linha crítica passou de 41,6% para 67,2%.
A contabilidade dos subagentes
O trabalho foi executado como um enxame de 60 subagentes dentro do Claude Code. A Anthropic detalha o que cada um fez: 2 produziram as ideias-chave, 13 contribuíram com ideias de apoio, 30 perseguiram abordagens que não levaram a nada, 13 validaram argumentos e 2 ajudaram a escrever o artigo. Foram consumidos 31 milhões de tokens de saída e 2.400 comandos de shell em cerca de um dia e meio.
Quem verificou
Os próprios matemáticos da Anthropic, Levent Alpöge e Ralph Furman, validaram o argumento, com revisão externa dos teóricos dos números Brian Conrey e Dan Goldston. Essa etapa externa é o que diferencia isso da alegação habitual de matemática gerada por máquina.
O que não é
Isso não é um avanço rumo à prova da hipótese de Riemann, e a Anthropic diz isso diretamente: não espera que essas técnicas levem a uma prova. A melhoria do limite foi um subproduto da tentativa de resolver um problema diferente. Coberturas de segunda mão também acrescentaram números que não constam do texto da Anthropic, incluindo "650 abordagens de solução" e "36 horas", e deram ao problema 150 ou 160 anos — o artigo de Riemann é de 1859.
O ponto interessante é o registro
Trinta de sessenta agentes falharam, e essa proporção foi publicada. É a primeira vez que um laboratório mostra a taxa interna de acerto de um enxame de pesquisa, em vez de apenas seu resultado.
Ninguém consegue repetir
O sistema que produziu isso não foi lançado, e a Anthropic não disse se irá disponibilizá-lo. O resultado não é reproduzível fora da empresa: os revisores externos verificaram a matemática, não a alegação sobre como ela foi gerada.