、思维推断的层面，却根本没有取得任何实质性的突破。

直到今天，任何一个数学猜想，仍然需要由人来证实、或者证伪；

倘若某些猜想，可以被计算机严密的证明、或者证伪，那必定是人的智慧在幕后操纵，计算机，则只是用来节约时间、节约生命的有力工具。

现实情形如此，但，未来又会如何；

智慧，逻辑思维，分析、理解、洞察，这一切为人所垄断的时间，还有多久……

每天工作到深夜，十一点准时离开电脑、洗漱就寝，方然的脑海差不多被模型、架构和分析测试所充斥，但稍有闲暇时，他还是会被脑海中萦绕的念头所吸引。