A boa notícia do dia
Aube
.
IA
Segundo a Anthropic: Último Teorema de Fermat formalizado em Lean
A demonstração inclui 13 milhões de linhas de código Lean e cerca de 29 500 teoremas intermédios.
Ler em Aube →
Redigido por IA