A Hipótese de Riemann, um mistério matemático que intriga mentes brilhantes há mais de 150 anos, acaba de ganhar um novo capítulo. E o protagonista? Uma inteligência artificial da Anthropic, ainda não lançada ao público. Este avanço surpreendente na distribuição dos números primos está gerando um burburinho no mundo da ciência e da tecnologia.

Por anos, a Hipótese de Riemann permaneceu como um dos grandes desafios da matemática, com uma recompensa de US$ 1 milhão para quem conseguir prová-la de forma geral. Embora os modelos de IA contemporâneos ainda não a tenham resolvido completamente, o progresso alcançado pelo modelo da Anthropic é notável e levanta questões fascinantes sobre o potencial da IA na descoberta científica e matemática.

Como a IA fez esse progresso?

A Anthropic revelou que um de seus modelos, ainda em desenvolvimento, conseguiu aumentar significativamente o limite inferior das soluções para as quais a hipótese é válida. O mais impressionante é a metodologia: um membro da equipe da Anthropic, sem formação matemática aprofundada, simplesmente pediu ao modelo para "tentar resolver" a hipótese. O modelo, então, trabalhou por um dia e meio, explorando 650 ideias diferentes.

Para isso, a IA coordenou 60 subagentes, consumindo 31 milhões de tokens de saída. Desses, dois subagentes foram cruciais para desenvolver as ideias matemáticas principais, 13 contribuíram com insights, 30 tentaram desenvolver novas ideias sem sucesso, 13 atuaram como validadores para verificar a correção dos argumentos e os dois finais ajudaram a redigir o artigo inicial. O resultado foi validado por matemáticos internos da Anthropic e formalizado usando o assistente de prova de código aberto Lean.

Por que isso importa?

Este feito não é um caso isolado. Modelos de linguagem grandes (LLMs) têm feito uma série de avanços matemáticos recentemente. Problemas de Erdos foram resolvidos por IAs este ano, e o OpenAI, por exemplo, divulgou 10 resultados importantes provados por seu modelo "Astra". A Anthropic também desmentiu a conjectura jacobiana com outro esforço. Esses avanços mostram que a IA está se tornando uma ferramenta poderosa, capaz de auxiliar na resolução de problemas complexos que antes eram domínio exclusivo da mente humana.

E o impacto na comunidade matemática?

O crescimento desses resultados tem gerado tanto entusiasmo quanto preocupação na comunidade matemática. Em junho, um grupo de matemáticos proeminentes assinou uma declaração expressando receios de que a IA possa minar valores críticos do campo, especialmente o padrão de que as provas matemáticas devem ser atribuíveis a autores específicos que assumem a responsabilidade por sua correção.

No entanto, o campo está dividido sobre como abordar essas novas técnicas de pesquisa. Timothy Gowers, vencedor da Medalha Fields, questionou se a influência da IA pode, na verdade, transformar a matemática de uma forma mais complexa e positiva. Ele sugere que, se os teoremas matemáticos não forem mais associados a matemáticos, isso pode não ser mais problemático do que o fato de as estrelas não serem nomeadas em homenagem a astrônomos. A discussão está aberta e o futuro da matemática, com a ajuda da IA, parece mais intrigante do que nunca.