Modelo interno da Anthropic avança em problema matemático sem solução há mais de 160 anos

O sistema demonstrou que a Hipótese de Riemann, que busca explicar uma regularidade na distribuição dos números primos, é verdadeira para uma quantidade muito maior de casos do que era possível anteriormente, mas ainda não conseguiu comprová-la por completo. A tarefa foi proposta por Jarred Sumner, criador do Bun, enquanto ele praticava corrida, e o modelo levou quase um dia e meio para completar a tarefa usando 60 subagentes em paralelo. Os resultados foram verificados por especialistas da Anthropic e formalizados com o Lean, um sistema que verifica provas matemáticas.