Modelo não lançado da Anthropic avança em problema matemático-chave

A Hipótese de Riemann, um dos problemas não resolvidos mais famosos da matemática sobre a distribuição dos números primos, permanece sem solução há mais de 150 anos, com um prêmio de um milhão de dólares para quem prová-la. A Anthropic anunciou que um modelo não lançado alcançou um progresso notável, elevando significativamente o limite inferior das soluções para as quais a hipótese é conhecida por ser verdadeira. Um funcionário com formação limitada em matemática sugeriu que o modelo tentasse o problema e depois o deixou para coordenar a tarefa ao longo do dia e meio seguinte. Durante esse período, o modelo tentou 650 caminhos de solução, coordenando 60 subagentes e consumindo 31 milhões de tokens de saída. Entre os subagentes, 2 desenvolveram soluções matemáticas principais, 13 geraram novas variantes para esses agentes, 30 tentaram, mas falharam em produzir novas ideias, 13 serviram como validadores e 2 ajudaram a escrever o artigo inicial. O resultado foi verificado por dois matemáticos da equipe e formalizado no assistente de prova Lean. Nos últimos anos, modelos de IA resolveram vários problemas de Pál Erdős, com o modelo Astra da OpenAI resolvendo dez e outro modelo da Anthropic refutando uma hipótese jacobiana de longa data. Essas conquistas geram tanto entusiasmo quanto preocupação na comunidade matemática em relação à autoria e à responsabilidade pela correção, com alguns argumentando que os teoremas não precisam ser associados a pesquisadores específicos.