A Anthropic revelou na segunda-feira que um modelo de linguagem grande interno, ainda não lançado, fez progressos mensuráveis na hipótese de Riemann, o problema de 150 anos que subjaz à distribuição de números primos. O modelo aumentou o limite inferior comprovado de números para os quais a hipótese se mantém, um passo que impulsiona a fronteira da matemática assistida por IA.

Esförço coordenado de IA da Anthropic

O experimento começou quando um membro da equipe que não possui treinamento formal em matemática solicitou que o modelo "desse uma tentativa real" na conjectura. O pesquisador então deixou o sistema funcionar por um dia e meio, durante o qual ele orquestrou 60 sub-agentes para testar 650 ideias distintas. No total, os agentes produziram cerca de 31 milhões de tokens de saída.

De acordo com uma nota de rodapé no artigo acompanhante, dois dos sub-agentes geraram as principais ideias matemáticas. Treze outros forneceram ideias de apoio, enquanto trinta tentaram, mas não conseguiram desenvolver novos conceitos. Outros treze atuaram como validadores, verificando a consistência lógica dos argumentos, e os dois últimos ajudaram a redigir o manuscrito inicial.

Dois matemáticos da Anthropic revisaram a saída e confirmaram os resultados. Os resultados foram formalizados no assistente de prova de código aberto Lean, fornecendo um registro verificado por máquina do progresso.

Reações da comunidade matemática

O anúncio chega em meio a uma onda de avanços impulsionados por IA na matemática pura. No início deste ano, modelos de linguagem grande resolveram vários problemas de Erdős, o modelo Astra da OpenAI publicou dez teoremas importantes, e a Anthropic anteriormente refutou a conjectura de Jacobian de longa data.

Nem todos estão celebrando. Em junho, uma coalizão de matemáticos proeminentes assinou uma declaração pública alertando que a IA poderia erodir os valores centrais da disciplina, especialmente o princípio de que as provas devem ser atribuídas a autores identificáveis que assumam a responsabilidade pela correção. O medalhista Fields Timothy Gowers respondeu em um post de blog, questionando se a perda de atribuição de autor é necessariamente prejudicial. Ele escreveu: "Se chegarmos a um mundo onde os teoremas matemáticos não estão mais associados a matemáticos, talvez isso não seja mais problemático do que o fato de as estrelas não serem nomeadas após os astrônomos e a maioria não ter nome algum".

A hipótese de Riemann permanece sem solução, e um prêmio de $1 milhão oferecido pelo Instituto de Matemática Clay ainda aguarda uma prova geral. Embora o modelo da Anthropic não tenha resolvido o problema diretamente, a extensão do limite inferior verificado marca um avanço tangível que pode inspirar novas linhas de investigação.

A Anthropic não divulgou quando o modelo será lançado publicamente, mas a empresa disse que o experimento destaca a capacidade crescente da IA de contribuir para pesquisas científicas de alto nível. À medida que os sistemas de IA se tornam mais capazes de gerar e verificar argumentos complexos, a comunidade matemática pode precisar reavaliar como o crédito, a verificação e a colaboração são definidos na era da inteligência de máquina.

Este artículo fue escrito con la asistencia de IA.
News Factory APP - noticias agénticas para impulsar tu SEO y AEO.