Claude Avança em Problema de Matemática de 167 Anos: 31 Milhões de Tokens, 60 Agentes e um Salto de 41,6% para 67,2%

O modelo Claude da Anthropic tirou do beco sem saída um problema matemático de 167 anos, alcançando um avanço significativo. O problema, proposto em 1859, está enraizado na teoria analítica dos números e envolve a natureza dos números primos. O desempenho de Claude nesse problema saltou de 41,6% para 67,2% após a aplicação de um novo regime de treinamento. O modelo consumiu 31 milhões de tokens, o que equivale a aproximadamente 25,6 milhões de palavras, e durante o processo gerou 650 gigabytes de dados. Para enfrentar o problema, Claude utilizou 60 agentes especializados, cada um analisando cerca de 2.400 artigos, incluindo 54 artigos relevantes do arXiv, para garantir que seu raciocínio fosse sólido. O uso de aprendizado por reforço e a verificação por meio do Lean, um assistente de prova, foram cruciais. A Anthropic atribui o sucesso a essa combinação de computação em larga escala e verificação formal, marcando um novo marco na descoberta matemática assistida por inteligência artificial.