电脑协助证明

电脑协助证明是一种部分或全部内容以电脑协助之数学证明。由于大部分的电脑协助证明计算量庞大，无法以人手验证，很多数学家不接受电脑协助证明，并表示那只是计算而非证明。他们表示，美丽的数学证明应像首诗，而电脑证明则看似电话簿。