Inteligencia IASep 4, 2026Inteligencia IA
Artigo
O Claude, da Anthropic, trabalhou de forma majoritariamente 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.
Gerado por IA: resumos escritos por IA a partir das fontes indicadas. Como usamos a IA
Gerado por IAFonte: Techmeme
01
Brief da fonte
O Claude, da Anthropic, trabalhou de forma majoritariamente 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