Renforcer la confiance qu’on a dans la démonstration d’un théorème difficile 
est possible. Il faudrait le faire pour le grand théorème de Fermat. 


http://www.pourlascience.fr/ewb_pages/a/article-quand-considere-t-on-qu-un-theoreme-est-definitivement-prouve-38378.php