越来越抽象。一个新的定理，翻来覆去的推论，总共需要写上几千个步骤，甚至上百万字……这种情况并不罕见。”

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

“为了应付这种无以伦比的复杂，我们渐渐采用一种数学机械化的办法，每前进一步之后，都有一个确定的、必须选择的下一步。这样沿着一条有规律的、刻板的道路，一直达到结论。”

“数学机械化克服了一定的困难，做出了一系列成绩，特别是关于几何方面，但它依旧有局限性……”

“因为电脑是很死板的，如果某一步，得出了看上去比较不错的结果，却不是最终结果，它并不会显示出来。在这种有上千万甚至上亿步骤的情况下，我们作为人，不可能一个个校对过去，也就把这些比较不错的结果给错过了。”

“但接受大脑硅基化改造后，我能够使用自己的脑袋，进行全方位机械化的运算，甚至在执行到某一步后，突然来了灵感，然后跳出程序。”

“我可以从这一步的结论，改变继续往下推论……”这个教授说的比较多，但是意思还是很好懂的，安装了辅助大脑，人们可以理解推导更加更加复杂的东西。

“人机结合，相当于把人直接改造成了强人工智能。”

在他最新的论文中，其中的一个机械化运算，执行了……2400万个步骤！然后突然跳出循环，换了一种方式进行推导，然后才得到了最终的定律。

这种方法，对于普通新人类而言是不可能做到的。一个普通人怎么可能知道，最终的结论，恰好隐藏在2400万个机械运算之中？

……

再接下来，这位数学家下台后，一位又一位的试验者，上台发言……

这一系列的试验者，几乎涵盖了各个职业。台下的观众，也一浪又一浪地开始讨论，羡慕的