Uma versão de pesquisa inédita de Claude da Anthropic melhorou um resultado matemático de longa data vinculado à hipótese de Riemann, elevando o limite inferior conhecido para a fração de zeros conformes de 41,6% para 67,2%. A descoberta, publicada pela Anthropic em 10 de agosto de 2026, surgiu não como um projeto de pesquisa direcionado, mas como o subproduto inesperado de um desafio casual: tentar resolver um dos mais famosos problemas não resolvidos de toda a matemática. Para obter os desenvolvimentos mais recentes em descobertas orientadas por IA, siga AI Buzz Wire para obter cobertura contínua.
A hipótese de Riemann, proposta pela primeira vez por Bernhard Riemann em 1859, diz respeito à distribuição de números primos e traz uma recompensa de um milhão de dólares do Clay Mathematics Institute. Ainda não foi comprovado. Embora Claude não tenha resolvido a hipótese em si, o trabalho do modelo num subproblema relacionado representa um avanço genuíno na teoria dos números - um avanço que os matemáticos humanos validaram.
Como o desafio começou
O esforço começou quando Jarred Sumner, um membro da equipe da Anthropic que não é matemático, levou Claude a "dar uma verdadeira facada" na hipótese de Riemann, deixando todas as decisões matemáticas para o modelo. A tentativa inicial de Claude envolveu gerar e testar aproximadamente 650 ideias, nenhuma das quais produziu resultados. Depois que Sumner incentivou o modelo a tentar novamente, Claude passou cerca de um dia e meio coordenando aproximadamente 60 subagentes que exploraram o problema mais profundamente.
Foi durante esta segunda tentativa que Claude descobriu uma maneira de superar o limite inferior do estado da arte anterior. O modelo descobriu que a combinação dos resultados dos matemáticos Baluyot, Goldston, Suriajaya e Turnage-Butterbaugh com trabalhos anteriores de Bombieri forneceu um caminho para empurrar a proporção conhecida de zeros que satisfazem a hipótese de 41,6% para 67,2%.
Um sistema de autoverificação e dúvida
O que torna o resultado particularmente impressionante é o rigor com que Claude verificou a sua própria descoberta antes de a apresentar. O modelo despachou subagentes para revisar as provas, procurar contra-exemplos, baixar 54 artigos do arXiv para confirmar que o resultado ainda não havia sido publicado e reprovar de forma independente a descoberta do zero. Todo o esforço consumiu 31 milhões de tokens de saída em duas sessões no Claude Code.
Talvez o mais notável seja o fato de Claude inicialmente ter ficado cético em relação ao seu próprio resultado. O modelo aprendeu com os dados de treinamento sobre a extrema dificuldade dos problemas abertos em matemática e as limitações conhecidas dos sistemas de IA. Segundo consta, foram necessárias sugestões encorajadoras antes de Claude aceitar que a sua conclusão era válida. Como observou a Anthropic em seu anúncio: “Talvez Claude, como muitos de nós, subestime a taxa de progresso da IA”.
Validação Humana e Verificação Formal
A descoberta não se baseou apenas na palavra de Claude. Dois matemáticos da Anthropic – Levent Alpöge e Ralph Furman – estudaram o trabalho de Claude e produziram uma nota técnica informal para especialistas. Alpöge já havia sido manchete por usar Claude para refutar a conjectura jacobiana de 87 anos, um avanço matemático separado relatado no início de agosto.
Claude também produziu uma prova formal de seu resultado verificada por máquina usando Lean, um assistente de prova que verifica argumentos matemáticos com software. A formalização, criada com Eric Easley, membro da equipe da Anthropic, passa pela ferramenta de validação padrão chamada comparador.
Os especialistas externos Brian Conrey e Dan Goldston, ambos autoridades reconhecidas no estudo da função zeta de Riemann, examinaram o artigo em curto prazo e validaram a abordagem.
O que o resultado significa
A função zeta de Riemann descreve a distribuição de números primos: cada zero da função contribui com detalhes sucessivamente mais precisos para a sequência de números primos. A hipótese de Riemann prevê que todos os zeros que determinam os primos estão ao longo de uma única linha vertical no plano complexo. Provar isso tornou-se uma das conjecturas mais importantes da matemática, com centenas de resultados dependendo dela como suposição.
Embora ninguém tenha provado ou refutado a hipótese completa, os matemáticos fizeram progressos incrementais ao quantificar a proporção mínima de zeros que estão na reta. Ao longo de décadas de pesquisa, essa constante conhecida foi elevada para 41,6%. A melhoria de Claude para 67,2% é o maior salto nesta medida em anos.
A Anthropic alertou que é improvável que as técnicas usadas por Claude levem a uma prova completa da hipótese de Riemann. No entanto, o resultado demonstra que os modelos de IA podem alargar o alcance das ideias dos matemáticos em direções novas e por vezes surpreendentes.
Um padrão de descobertas matemáticas de IA
O avanço zeta de Riemann segue uma lista crescente de avanços matemáticos assistidos por IA. No início de 2026, um modelo OpenAI chamado Astra resolveu dez problemas matemáticos há muito não resolvidos com provas verificadas por máquina. O próprio Claude Fable 5 da Anthropic havia refutado a conjectura jacobiana semanas antes. Estes resultados sugerem que os modelos de IA de fronteira estão a ir além do reconhecimento de padrões e da geração de texto para o território da investigação matemática genuína.
A descoberta zeta de Riemann de Claude destaca-se num aspecto: não foi o produto de um programa de investigação dirigido. Surgiu quando um não-matemático fez uma pergunta irracional a um modelo de IA, e o modelo respondeu com algo que nenhum ser humano havia encontrado antes.
Fique à frente da IA
Para obter as últimas notícias sobre IA, avanços em pesquisas e análises do setor, visite AI Buzz Wire.
Leia mais notícias sobre IA
