Modelo não lançado da Anthropic avança na Hipótese de Riemann, um dos maiores problemas da matemática
Versão de pesquisa do Claude elevou de 41,6% para 67,2% o limite inferior comprovado de zeros da função zeta que obedecem à Hipótese de Riemann, usando enxame d
A Anthropic anunciou na segunda feira que um modelo ainda não lançado, uma versão de pesquisa do Claude, fez progresso real em um dos problemas abertos mais famosos da matemática: a Hipótese de Riemann. O modelo não provou a hipótese, mas elevou de forma significativa o limite inferior comprovado da fração de zeros da função zeta de Riemann que satisfazem a hipótese, saltando de 41,6% para 67,2%. É o maior avanço numérico já registrado nesse tipo de resultado.
O que é a Hipótese de Riemann
Formulada em 1859, a Hipótese de Riemann afirma que todos os zeros não triviais da função zeta de Riemann estão sobre uma única linha crítica no plano complexo. A função zeta codifica informações profundas sobre a distribuição dos números primos, os blocos fundamentais da aritmética e a base da criptografia moderna que sustenta o comércio eletrônico. O problema é um dos sete Problemas do Milênio do Clay Mathematics Institute, com prêmio de 1 milhão de dólares para quem resolver. Antes do trabalho do Claude, o melhor resultado estabelecido garantia que pelo menos 41,6% dos zeros considerados estavam na linha prevista por Riemann.
Como o modelo trabalhou
O resultado veio de um processo longo e nada mágico. Em uma primeira sessão no Claude Code, o modelo gerou cerca de 650 ideias e nenhuma prova. Na segunda tentativa, trabalhou por cerca de 36 horas coordenando aproximadamente 60 subagentes, que executaram cerca de 2.400 comandos de shell, escreveram centenas de scripts em Python e fizeram milhares de validações numéricas contra zeros conhecidos, além de revisarem o trabalho uns dos outros. O custo total das duas sessões foi de cerca de 31 milhões de tokens de saída. Um detalhe curioso: quem operava o processo não era matemático e contribuiu com encorajamento, não com direção técnica.
O avanço não veio de matemática nova, e sim da conexão entre dois artigos existentes de subáreas diferentes, algo que humanos não tinham percebido. Depois do resultado numérico, o modelo ainda ajudou a formalizar o argumento em Lean, o assistente de provas, e a prova formal está disponível publicamente.
Os limites do resultado
A própria Anthropic foi direta ao colocar o pé no freio: a empresa afirmou que não espera que as técnicas usadas pelo Claude levem à prova completa da Hipótese de Riemann. Provar 67,2% e provar 100% são problemas de natureza diferente, e a distância entre eles não se resolve com mais do mesmo esforço computacional. Também não é possível reproduzir a busca original no sentido tradicional de um periódico científico, o que mantém o resultado no território de demonstração de capacidade, ainda que com prova formal verificável.
O valor do anúncio está menos na matemática em si e mais no método: um modelo de linguagem coordenando dezenas de agentes por um dia e meio, testando hipóteses, descartando centenas de caminhos errados e entregando no final um argumento formalizado e checável por máquina.
Como isso pode ser útil para você
Para quem desenvolve software, a lição prática é o padrão de trabalho: um agente coordenador, dezenas de subagentes em paralelo, validação numérica automatizada e revisão cruzada entre agentes. Esse mesmo desenho serve para tarefas do dia a dia, como refatorar bases grandes de código, auditar dependências, gerar e rodar suítes de teste ou explorar hipóteses de análise de dados. Ferramentas como o Claude Code já permitem montar fluxos parecidos hoje. Para quem busca renda, o caso mostra demanda crescente por quem sabe orquestrar agentes e verificar resultados de forma rigorosa, uma habilidade que vale em consultoria e em produtos próprios de automação. E para projetos pessoais, a prova formal em Lean é pública e pode ser estudada como exemplo real de verificação assistida por IA.