Modelo da Anthropic Impulsiona Limite da Hipótese de Riemann
Um modelo de inteligência artificial não lançado da Anthropic, conhecido como Claude, alcançou um avanço significativo em um problema relacionado à Hipótese de Riemann, uma das questões matemáticas mais célebres e complexas. Embora o modelo não tenha resolvido a hipótese em si, ele conseguiu elevar o limite inferior conhecido para a proporção de zeros não triviais da função zeta de Riemann que se encontram na linha crítica, passando de 41,6% para 67,2%. Este progresso, anunciado pela Anthropic, destaca o rápido avanço das capacidades da IA na descoberta matemática e na conexão de ideias complexas.
O Enigma da Hipótese de Riemann
A Hipótese de Riemann, formulada em 1859 pelo matemático Bernhard Riemann, é uma conjectura sobre a distribuição dos números primos. Ela postula que todos os zeros “não triviais” da função zeta de Riemann possuem uma parte real igual a 1/2, ou seja, estão localizados em uma linha específica no plano complexo, conhecida como “linha crítica”. A resolução desta hipótese é um dos sete Problemas do Prêmio Millennium do Clay Mathematics Institute, com uma recompensa de um milhão de dólares para quem a provar ou refutar.
Por mais de 160 anos, matemáticos têm buscado desvendar este mistério, com avanços incrementais na compreensão das propriedades da função zeta. O resultado obtido pelo modelo Claude representa o maior salto percentual único na elevação desse limite inferior na história da matemática.
Veja também:
A Contribuição Inesperada do Claude
O avanço surgiu quando um engenheiro da Anthropic, sem formação matemática especializada, instruiu uma versão de pesquisa não divulgada do Claude a “tentar seriamente” a Hipótese de Riemann. O modelo operou de forma autônoma por cerca de 36 horas, coordenando um “enxame” de aproximadamente 60 subagentes de IA. Durante esse período, o sistema avaliou cerca de 650 abordagens teóricas distintas, consumindo aproximadamente 31 milhões de unidades computacionais ou tokens.
A chave para o progresso foi a capacidade do Claude de combinar pesquisas existentes de matemáticos renomados, como Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh e Bombieri, conectando diferentes subcampos da matemática. Essa habilidade de sintetizar e aplicar conhecimentos de diversas fontes para gerar novas percepções é um testemunho da crescente sofisticação dos modelos de linguagem grandes em tarefas de raciocínio complexo.
Validação e Repercussão
O resultado gerado pelo modelo Claude foi submetido a um rigoroso processo de revisão. Dois matemáticos da Anthropic, Levent Alpöge e Ralph Furman, examinaram e verificaram o trabalho. Além disso, a prova foi formalizada usando o Lean, um assistente de prova de código aberto projetado para garantir o rigor matemático. Especialistas externos, Brian Conrey e Dan Goldston, também revisaram o artigo em um curto espaço de tempo, conferindo credibilidade ao achado.
Apesar do entusiasmo, a Anthropic foi clara ao afirmar que as técnicas utilizadas pelo Claude não são esperadas para levar a uma prova completa da Hipótese de Riemann. A importância do feito reside mais na demonstração das capacidades de descoberta e raciocínio matemático da IA do que na resolução final da conjectura.
Desdobramentos e o Futuro da IA na Matemática
Este avanço se insere em uma tendência mais ampla de modelos de IA fazendo progressos significativos em áreas da matemática em 2026. Outros exemplos incluem a resolução de problemas de Erdos, a refutação da conjectura Jacobiana (também por um modelo Claude Fable 5 da Anthropic) e a geração de provas importantes pelo modelo Astra da OpenAI. Isso levanta debates importantes na comunidade acadêmica sobre os padrões de validação, autoria e reprodutibilidade em um cenário onde a IA desempenha um papel cada vez mais ativo na pesquisa científica.
Uma preocupação levantada é a recusa da Anthropic em liberar o ponto de verificação do modelo ou as transcrições completas do processo, o que impede a reprodução independente da reivindicação de capacidade da IA, embora a prova final em Lean seja pública. No entanto, o resultado do Claude serve como um marco, ilustrando como a colaboração entre humanos e máquinas pode abrir novas fronteiras na pesquisa matemática, mesmo que a Hipótese de Riemann continue sendo um desafio para as mentes mais brilhantes do mundo.