Skip to content
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.