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 progressos significativos na hipótese de Riemann, um famoso problema não resolvido sobre números primos que persiste há mais de 150 anos. Um funcionário da Anthropic, sem formação matemática significativa, pediu ao modelo que tentasse uma prova e depois o deixou coordenar a tarefa por um dia e meio. O modelo testou 650 ideias diferentes, coordenando 60 subagentes e gastando um total de 31 milhões de tokens. Dois dos subagentes desenvolveram as ideias matemáticas principais, enquanto outros contribuíram com ideias, tentaram e falharam em desenvolver novas, serviram como validadores ou ajudaram a escrever o artigo. Dois matemáticos internos da Anthropic confirmaram os resultados, e a prova foi formalizada usando o assistente de provas de código aberto Lean. Isso faz parte de uma série de avanços matemáticos por grandes modelos de linguagem, incluindo problemas de Erdos resolvidos e outros resultados do modelo 'Astra' da OpenAI e a refutação da conjectura de Jacobian pela Anthropic. O crescente corpo de resultados tem provocado tanto entusiasmo quanto preocupação, com alguns matemáticos preocupados com a atribuição e responsabilidade pelas provas, enquanto o vencedor da Medalha Fields, Timothy Gowers, sugere que a mudança pode ser menos problemática do que parece.