Como o Claude Code formalizou o Último Teorema de Fermat

Em 1637, o matemático Pierre de Fermat fez uma afirmação relativamente simples.

Considere a equação x n + y n = z n , em que as letras x, y, z e n são números positivos e inteiros (Ou seja, os números que mais usamos no dia a dia, como 1, 2 e 3.

Nada de negativos ou vírgulas).

Fermat escreveu que não haveria nenhuma solução válida para essa equação caso n fosse maior que 2 .

Em outras palavras: não há nenhuma combinação de números que você possa colocar no lugar de x, y e z que resulte em uma afirmação verdadeira.

Segundo Fermat, a soma de x n com y n jamais resultaria em z n .

Ninguém nasce ruim em matemática: o problema é como ela é ensinada Continua após a publicidade Por que n precisa ser maior que 2? Ora, pense na equação x 2 + y 2 = z 2 .

Esse é o Teorema de Pitágoras: a soma dos quadrados dos catetos é igual ao quadrado da hipotenusa.

A equação 3 2 + 4 2 = 5 2 , por exemplo, é verdadeira.

Isso já prova que a negação de Fermat não se aplica quando n é 2.

Mas n não poderia ser 3? 4? 5? Fermat dizia que não.

Mas ele jamais provou isso.

O matemático disse que tinha a prova em mente, mas nunca a anotou no papel.

Esse é conhecido como o Último Teorema de Fermat.