Prove2Me

Trece millones de líneas en el margen: qué hace que éste sea el buen caso

Claude formalizó en once días la primera demostración del último teorema de Fermat verificada por computadora. Lo interesante no es el teorema: es que ese dominio tenía un …