IA não lançada da Anthropic avança limite da Hipótese de Riemann
Uma versão de pesquisa ainda não lançada do Claude testou 650 ideias e coordenou 60 subagentes para elevar de 41,6% para 67,2% o limite inferior conhecido de zeros da função zeta que satisfazem a hipótese matemática em aberto há mais de 150 anos.
Por Letícia Prado · Repórter de Ciência
Pra escala humana: a Hipótese de Riemann é um dos sete "Problemas do Milênio" — enigmas matemáticos tão difíceis que resolver qualquer um deles rende um prêmio de US$ 1 milhão do Clay Mathematics Institute. Ela está em aberto desde 1859, mais de 150 anos, e nenhum ser humano (ou máquina) a resolveu até hoje. É nesse território que a Anthropic diz ter dado um passo — não uma solução, mas um avanço mensurável.
O que é confirmado
Segundo anúncio da própria Anthropic, publicado em 11 de agosto de 2026, uma versão de pesquisa não lançada do Claude, operando via Claude Code, foi instruída por um funcionário da empresa — sem formação matemática avançada — a "dar uma chance de verdade" à Hipótese de Riemann, e então deixada trabalhando de forma autônoma por cerca de um dia e meio.
Foto: reprodução/x.com
Os números divulgados: o modelo testou 650 ideias diferentes (as primeiras tentativas não funcionaram), coordenou 60 subagentes numa segunda rodada, executou cerca de 2.400 comandos de shell, consultou 54 artigos do arXiv e consumiu 31 milhões de tokens de saída no processo. O resultado concreto foi elevar o limite inferior conhecido da fração de zeros da função zeta de Riemann que satisfazem a hipótese de 41,6% para 67,2% — um salto de 25,6 pontos percentuais sobre um limite que estava estagnado havia tempo, segundo a Anthropic.
A empresa diz que o resultado foi verificado por dois matemáticos internos, Levent Alpöge e Ralph Furman, formalizado no assistente de prova Lean, e está agora em revisão por especialistas externos — entre eles Brian Conrey e Dan Goldston, citados pela Anthropic como avaliadores.
O que é hipótese e limitação, não conquista final
Aqui a distinção importa: a Anthropic é explícita ao afirmar que não espera que a técnica usada pelo Claude leve à prova completa da Hipótese de Riemann. O modelo não resolveu o problema — melhorou um limite relacionado, um resultado técnico específico dentro de um campo muito maior. A revisão por pares externos ainda está em curso, o que significa que o número de 67,2% não deve ser tratado como validado de forma definitiva até essa checagem terminar.
Por que importa
Independente do resultado matemático em si, o episódio chama atenção pela escala de autonomia: um modelo ainda não público operando por 36 horas, coordenando dezenas de subagentes e navegando literatura acadêmica sem supervisão humana constante. É esse aspecto — capacidade de pesquisa matemática assistida por IA em larga escala — que a comunidade científica deve escrutinar nas próximas semanas, tanto quanto o resultado numérico.