直至廿世紀為止，學界一般都仲係覺得原則上任何嘅數學證明都可以由能力夠高嘅數學家嚟幫手肯定佢嘅有效性（Validity）但係家嚇數學界成日都會用電腦輔助證明（Computer-assisted proof）－即係用電腦幫手證明一啲定理，又或者用電腦做一啲長得滯搞到用人手計唔到嘅運算，例如四色定理（Four-color theorem）嘅第一個證明就係由電腦輔助做嘅。