En mathématiques, certaines démonstrations font plusieurs centaines de pages, voire plus. Comment s'assurer qu'elles sont dépourvues de toute erreur ? L'ordinateur devient dans ce domaine un précieux assistant.

En concevant la démonstration comme une discussion entre deux personnes et non plus comme un cours magistral, les preuves sans transfert de connaissance accomplissent de petits miracles.