Inteligencia IASep 4, 2026Video
Artigo
O Claude da Anthropic trabalhou em grande parte de forma autônoma por 11 dias para formalizar a prova do Último Teorema de Fermat...
Na linguagem de programação Lean, marcando um marco significativo na pesquisa matemática assistida por IA.
Editorial Data Cube AIFonte: AI Explained
01
Brief da fonte
O Claude da Anthropic trabalhou em grande parte de forma autônoma por 11 dias para formalizar a prova do Último Teorema de Fermat na linguagem de programação Lean, marcando um marco significativo na pesquisa matemática assistida por IA.
02