
Último Teorema de Fermat: o problema que levou 358 anos
O Último Teorema de Fermat foi proposto em 1637 e só provado em 1995, por Andrew Wiles. Agora, uma IA formalizou essa prova em linguagem de computador. Entenda o enunciado, a história e por que essa verificação importa.










