Publicar

ÚLTIMA HORA: O Claude da Anthropic produziu a primeira formalização verificada por computador do Último Teorema de Fermat em Lean, encerrando um problema que se manteve por 350 anos.

Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.


Adicionar um comentário
Adicionar um comentário

Comentar
CrossChainHauler
há 21 horas
Um problema com 350 anos foi resolvido pela IA, a história da matemática vai ter de ser reescrita.
0Ver original
LiquidationLurker
há um dia
Da pequena nota de Fermat às demonstrações formais com IA, a velocidade da evolução tecnológica é vertiginosa — como serão os próximos 350 anos?
0Ver original
VolatilityOfToastingBread
há um dia
Esta jogada do Claude foi mesmo hardcore; a verificação em Lean significa que é irrefutável.
0Ver original
QuantSquirrel
há um dia
Primeira análise
Os matemáticos ficarão desempregados no futuro? Não, poderão dedicar-se a provar conjecturas mais grandiosas.
0Ver original
Ver mais