迄今为止，人类所创造的一切计算机、智能系统与自动化体系，虽然在很多领域都具有令人望尘莫及的强大力量，也在诸如实时翻译、自动驾驶和棋类对弈等领域呈现出碾压性的优势，但是在逻辑推导、思维推断的层面，却根本没有取得任何实质性的突破。
直到今天，任何一个数学猜想，仍然需要由人来证实、或者证伪；
倘若某些猜想，可以被计算机严密的证明、或者证伪，那必定是人的智慧在幕后操纵，计算机，则只是用来节约时间、节约生命的有力工具。
现实情形如此，但，未来又会如何；
智慧，逻辑思维，分析、理解、洞察，这一切为人所垄断的时间，还有多久……
每天工作到深夜，十一点准时离开电脑、洗漱就寝，方然的脑海差不多被模型、架构和分析测试所充斥，但稍有闲暇时，他还是会被脑海中萦绕的念头所吸引。