Um modelo de inteligência artificial não anunciado da Anthropic obteve progresso em um dos problemas matemáticos não resolvidos — a Hipótese de Riemann. Embora a IA tenha aumentado significativamente o limite inferior das soluções para as quais a hipótese é considerada verdadeira, uma prova definitiva ainda não foi encontrada.
O apelo deste resultado reside no método utilizado. Um funcionário da Anthropic, sem formação matemática significativa, pediu ao modelo para tentar provar a hipótese, permitindo que a IA coordenasse o trabalho por cerca de um dia e meio.
A Hipótese de Riemann é um dos maiores mistérios da matemática e está relacionada à distribuição dos números primos. Atualmente, há uma recompensa de 1 milhão de dólares americanos oferecida pelo seu provamento geral, o que equivale a aproximadamente 5,16 milhões de reais brasileiros.
Assim como outros sistemas de inteligência artificial, o sistema da Anthropic não conseguiu resolver definitivamente este problema. No entanto, o progresso alcançado demonstra que tais ferramentas são capazes de explorar problemas matemáticos complexos muito mais profundamente do que apenas fornecer respostas baseadas em conhecimentos existentes.
Todo o processo começou com um pedido direto do funcionário à IA para realizar uma 'tentativa de verdade' de provar a hipótese. Depois disso, o modelo começou a gerenciar a tarefa por aproximadamente 36 horas.
O trabalho incluiu um grande número de tentativas e verificações: trinta agentes secundários tentaram desenvolver novas ideias, mas não conseguiram encontrar abordagens originais. Outros 13 agentes foram designados para verificar os argumentos, e os dois últimos ajudaram a preparar a versão inicial do artigo.
Uma nota de rodapé no trabalho indica que 'dos 60 agentes secundários, dois foram responsáveis pelo desenvolvimento das principais ideias matemáticas'. O resultado foi confirmado por dois matemáticos da Anthropic e formalizado usando o Lean, um assistente de provas de código aberto.
Este caso faz parte de uma série de avanços relacionados aos grandes modelos de linguagem. Neste ano, vários sistemas de IA já ajudaram a resolver problemas de Erdős. Além disso, a Anthropic apresentou um trabalho refutando a antiga hipótese de Jacobi, enquanto a OpenAI divulgou dez resultados confirmados por seu modelo interno chamado Astra.
Saiba mais:
No entanto, a evolução gera controvérsias. Em junho, matemáticos expressaram preocupação sobre o impacto da IA nos princípios tradicionais da área, especialmente na ideia de que as provas devem ser atribuídas aos autores que assumem a responsabilidade por suas descobertas e sua correção.
O medalhista Fields Timothy Bowers apresentou uma visão diferente. Na sua opinião, a crescente presença da IA pode transformar a matemática de maneira mais complexa — e possivelmente positiva.
Bowers escreveu em seu blog: 'Se chegarmos a um mundo onde os teoremas matemáticos não forem mais associados a matemáticos, talvez não seja tão problemático quanto o fato de as estrelas não receberem nomes de astrônomos, e a maioria delas não ter nome algum.'
O caso da Anthropic mostra que a IA ainda não resolveu a Hipótese de Riemann, mas já é capaz de explorar caminhos que seriam difíceis de verificar manualmente em tal escala.
