Désormais, certains mathématiciens vérifient leurs théorèmes grâce à des logiciels informatiques

Pendant trois millénaires, les mathématiciens ont travaillé seuls, armés de papier et de crayon.

Aujourd'hui, des logiciels comme Lean vérifient leurs théorèmes ligne par ligne et détectent des erreurs que nul humain ne pourrait repérer.