了改造的数学家开始发言：“接受了实验后，我现在想通了原先非常困难的问题……”

他比划着双手，侃侃而谈：“现在的数学发展，越来越慢，也越来越抽象。一个新的定理，翻来覆去的推论，总共需要写上几千个步骤，甚至上百万字……这种情况并不罕见。”

“在这种情况下，只要一个环节没有想到，定理也就没有办法推出来……”

“为了应付这种无以伦比的复杂，我们渐渐采用一种数学机械化的办法，每