O que você precisa saber
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 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.
A divisão das funções também foi curiosa. Trinta subagentes tentaram desenvolver novas ideias, mas não conseguiram chegar a abordagens inéditas. Outros 13 ficaram encarregados de validar os argumentos. Os dois últimos ajudaram a preparar a versão inicial do artigo.
Entre para comentar.