Modelo não lançado da Anthropic avança em problema matemático aberto há mais de 150 anos
A Anthropic, empresa de inteligência artificial responsável pela família de modelos Claude, anunciou que uma versão ainda não publicada de seu modelo conseguiu um progresso inesperado em um dos maiores problemas em aberto da matemática: a hipótese de Riemann. A conjectura, formulada há mais de 150 anos, continua sem solução, mas o trabalho realizado pelo modelo representa um avanço concreto em um problema diretamente relacionado.
A hipótese de Riemann, proposta pelo matemático Bernhard Riemann em 1859, está entre os chamados Problemas do Milênio, uma lista de questões matemáticas fundamentais que ainda não foram resolvidas. Ela trata do comportamento da função zeta de Riemann, um objeto central na teoria dos números, e questiona a distribuição de certos valores especiais dessa função. A importância do problema é tanta que está diretamente ligado à compreensão da distribuição dos números primos, considerados os blocos fundamentais da aritmética.
Embora o modelo Claude não tenha conseguido resolver a hipótese em si, ele conseguiu melhorar um limite inferior de longa data. Esse limite representa a fração mínima de zeros da função zeta de Riemann que se sabe estarem na chamada linha crítica, ou seja, na região onde a hipótese afirma que todos os zeros não triviais deveriam estar localizados. O modelo elevou esse limite de 41,6% para 67,2%, um salto expressivo considerando a dificuldade histórica do tema.
De acordo com a própria empresa, a conquista surgiu como um subproduto do processo de tentativa de resolver a conjectura completa. O modelo teria testado cerca de 650 ideias iniciais sem obter sucesso direto, mas ao longo desse processo acabou identificando uma abordagem que permitiu o avanço no problema correlato. O progresso foi possível a partir da revisão de extensa literatura matemática acumulada ao longo de décadas, aproveitando técnicas já existentes e combinando-as de uma forma que não havia sido explorada anteriormente.
O trabalho foi conduzido por uma versão de pesquisa ainda não divulgada do Claude, que operou de forma coordenada com múltiplos subagentes. Essa estrutura permitiu que o sistema testasse centenas de hipóteses em paralelo, revisasse literatura especializada, desafiasse suas próprias conclusões e, por fim, formalizasse o resultado em um formato matematicamente verificável. A Anthropic destaca que dois matemáticos da própria empresa estudaram e validaram o documento produzido pelo modelo, além de elaborar uma nota técnica resumindo a contribuição para especialistas da área.
Especialistas externos também foram consultados para examinar o resultado. A empresa agradeceu publicamente Brian Conrey e Dan Goldston, dois matemáticos de referência no estudo da função zeta de Riemann, que analisaram o trabalho de forma independente. O novo limite apresentado pelo modelo está em forma fechada, o que significa que pode ser expresso por uma expressão matemática definida, sem depender de cálculos computacionais extensos para ser descrito.
Apesar do avanço, é importante destacar que a hipótese de Riemann permanece sem solução. O resultado obtido pelo modelo da Anthropic não constitui uma prova da conjectura, mas amplia o conhecimento sobre uma questão intimamente ligada a ela. A própria empresa reconhece que anos de evidência numérica sobre o comportamento da função zeta nunca foram suficientes para uma demonstração formal, já que contraexemplos teóricos poderiam existir em regiões ainda fora do alcance computacional.
O caso ilustra um aspecto emergente da pesquisa em inteligência artificial aplicada à matemática. Modelos de linguagem de grande escala, quando combinados com ferramentas de verificação formal e com a capacidade de coordenar múltiplos agentes de raciocínio, podem contribuir para problemas que exigem criatividade e domínio técnico aprofundado. Ainda que a conjectura completa esteja longe de ser resolvida, o progresso anunciado pela Anthropic sugere um caminho promissor para o uso de inteligência artificial como ferramenta de apoio à descoberta científica.
A divulgação também reforça o debate sobre o papel da inteligência artificial na produção de conhecimento técnico. Ao apresentar um resultado validado por matemáticos humanos e formalizado em linguagem verificável, a Anthropic busca demonstrar que seus modelos podem atuar como colaboradores em pesquisa de fronteira, e não apenas como ferramentas de uso geral. O limite superior alcançado por Claude representa, portanto, não apenas um número, mas um marco sobre o que sistemas de inteligência artificial podem oferecer quando direcionados a desafios intelectuais de alta complexidade.
