Um modelo de IA ainda não lançado da Anthropic conseguiu avançar em um dos grandes problemas não resolvidos da matemática: a Hipótese de Riemann. A IA aumentou significativamente o limite inferior de soluções para as quais a hipótese é válida, mas ainda não encontrou uma prova definitiva.
O resultado chama atenção pelo método usado. Um funcionário da Anthropic sem formação matemática significativa pediu que o modelo tentasse provar a hipótese e, depois, deixou a IA coordenar o trabalho por cerca de um dia e meio.
Um desafio que dura mais de 150 anos
A Hipótese de Riemann é um dos grandes mistérios da matemática e está relacionada à distribuição dos números primos. Uma prova geral da hipótese vale atualmente US$ 1 milhão, cerca de R$ 5,16 milhões.
Assim como outros modelos de inteligência artificial, o sistema da Anthropic ainda não conseguiu solucionar definitivamente o problema. Mesmo assim, o avanço mostra que essas ferramentas podem explorar problemas matemáticos complexos de maneira bem mais profunda do que simplesmente fornecer respostas baseadas em conhecimentos existentes.
Tudo começou com um pedido direto. O funcionário solicitou que a IA desse uma “tentativa de verdade” de provar a hipótese. A partir daí, o modelo passou a coordenar a tarefa durante aproximadamente 36 horas.
)