Le théorème de Fermat et la conjecture de Kepler ont attendu plus de trois siècles avant de faire l'objet d'une démonstration rigoureuse.