Previa: Um novo modelo de inteligência artificial da Anthropic fez avanços significativos na Hipótese de Riemann, um dos problemas mais desafiadores da matemática. Embora não tenha encontrado uma prova definitiva, a IA testou 650 ideias em um esforço inovador para resolver esse mistério de 150 anos.
A Hipótese de Riemann, que investiga a distribuição dos números primos, é um dos grandes desafios da matemática moderna. Com uma recompensa de US$ 1 milhão para quem conseguir provar a hipótese, a busca por uma solução se intensifica. Recentemente, um modelo de IA da Anthropic, ainda não lançado, conseguiu ampliar o limite inferior de soluções válidas, embora não tenha alcançado uma prova conclusiva.
Um método inovador
O que chama atenção nesse avanço é o método utilizado. Um funcionário da Anthropic, sem formação matemática significativa, pediu à IA que tentasse provar a hipótese. O modelo, então, coordenou o trabalho por aproximadamente 36 horas, testando uma variedade de abordagens.
Durante esse período, a IA testou 650 ideias diferentes, envolvendo 60 subagentes que contribuíram para a tarefa. O trabalho resultou em 31 milhões de tokens de saída, demonstrando a capacidade da IA de explorar problemas complexos de maneira mais profunda do que simplesmente fornecer respostas baseadas em dados existentes.
Resultados e divisão de funções
A divisão de funções entre os subagentes foi notável. Enquanto 30 deles tentaram desenvolver novas ideias, outros 13 se dedicaram a validar os argumentos apresentados. Dois subagentes foram responsáveis pelas principais inovações matemáticas, que foram confirmadas por matemáticos da própria Anthropic.
Esse esforço coletivo mostra como a inteligência artificial pode ser uma ferramenta poderosa na investigação matemática, mesmo que ainda não tenha conseguido resolver a Hipótese de Riemann. O uso de assistentes de provas, como o Lean, para formalizar os resultados também destaca a integração da tecnologia no campo da matemática.
Impacto na comunidade matemática
O episódio levanta questões sobre o papel da IA na matemática. Embora tenha contribuído para o avanço do conhecimento, a crescente dependência de modelos de IA gera preocupações sobre a atribuição de autoria e a responsabilidade pelas descobertas. Matemáticos expressaram receios sobre como isso pode afetar os princípios tradicionais da disciplina.
Por outro lado, alguns especialistas, como o medalhista Fields Timothy Gowers, acreditam que a presença da IA pode transformar a matemática de maneira positiva. Ele sugere que a evolução dos teoremas pode não ser problemática, assim como as estrelas não têm nomes de astrônomos.
Embora a IA da Anthropic ainda não tenha resolvido a Hipótese de Riemann, seu trabalho demonstra que essas ferramentas podem explorar caminhos que seriam difíceis de testar manualmente. O futuro da matemática pode ser moldado por essa colaboração entre humanos e inteligência artificial, abrindo novas possibilidades para a resolução de problemas complexos.
