Claude formaliza el Teorema de Fermat: 11 días, 13M líneas Lean
Por qué el Último Teorema de Fermat sigue siendo el examen perfecto En algún momento alrededor de 1637, Pierre de Fermat escribió al margen de su copia de la Aritmetica de Diofanto que no existían enteros positivos a, b, c que satisficieran aⁿ + bⁿ = cⁿ para n > 2. Junto a la afirmación …









