Central da TI
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.
Muita gente conhece a equação de Pitágoras: em um triângulo retângulo, a² + b² = c². Ela tem infinitas soluções com números inteiros, como 3, 4 e 5 (9 + 16 = 25). Fermat se perguntou o que acontece...
Pierre de Fermat era um jurista francês que fazia matemática nas horas vagas e se tornou um dos nomes mais importantes da teoria dos números. Ele costumava escrever observações nas margens de seu e...
O próprio Fermat deixou uma prova para o caso do expoente 4. No século 18, Leonhard Euler apresentou uma demonstração para o expoente 3. Ao longo do século 19, outros matemáticos, como Sophie Germa...
A virada veio por um caminho inesperado. Nos anos 1980, ficou demonstrado que o teorema de Fermat seria verdadeiro se outra afirmação, ligada a objetos chamados curvas elípticas e formas modulares,...
Uma prova matemática no papel é verificada por especialistas que leem cada argumento. Em demonstrações longas e complexas, como a de Wiles, esse processo leva meses e depende de poucas pessoas capa...