IA testa 650 ideias para atacar mistério matemático de 150 anos

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.

A IA da Anthropic não resolveu a Hipótese de Riemann, mas ampliou o limite de soluções para as quais a hipótese permanece válida. – Imagem: PhotoGranary02/Shutterstock 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.