Modelo não lançado da Anthropic faz progresso na Hipótese de Riemann

A Anthropic anunciou que um modelo ainda não lançado fez um progresso significativo na Hipótese de Riemann, um dos principais problemas não resolvidos em matemática há mais de 150 anos. O modelo aumentou significativamente o limite inferior de soluções para as quais a hipótese é válida. O progresso foi alcançado de forma notável: um membro da equipa da Anthropic sem formação matemática significativa pediu ao modelo que 'tentasse de verdade' provar a hipótese e depois deixou o modelo a coordenar a tarefa durante um dia e meio. O modelo testou 650 ideias diferentes, coordenando 60 sub-agentes e utilizando 31 milhões de tokens de saída no total. Das 60 sub-agentes, dois foram responsáveis por desenvolver as ideias matemáticas-chave. O resultado foi confirmado por dois matemáticos internos da Anthropic e formalizado utilizando o assistente de prova Lean. Esta descoberta segue-se a uma série de avanços matemáticos liderados por modelos de linguagem de grande escala este ano.