Claude ajuda a transformar o Último Teorema de Fermat em prova verificável por computador
A Anthropic afirma que um conjunto de agentes do Claude produziu uma formalização completa e verificável em Lean para o Último Teorema de Fermat, cuja prova humana original exigiu décadas de avanços matemáticos. O sistema trabalhou por cerca de 11 dias, gerando milhões de linhas de código e milhares de teoremas intermediários.
Conheça a ideia e descubra por que ela está chamando atenção.