江扶月突然抬眼，看向谢定渊——
“其实我不认为一定等于。虽然现在已经有很多计算机科学家和数学家在朝这个方向努力，试图证明等式成立。”
这个想法，已经不能用“大胆”来形容，它甚至有些疯狂。
就像一个人突然跳出来说：我觉得牛顿力学有问题。
这样的做法俨然站到主流对立面，吃力不讨好。
这也是为什么刚才谢定渊问她，江扶月却三缄其口、不肯明说的重要原因。
但现在她改主意了。
在见过这个男人对科研的认真与专业之后，她突然很好奇，面对学术悖论，他会持什么态度。
说实话，江扶月不是太乐观。
虽然两人接触时间很短，但不难发现谢定渊是个非常自主、有想法的人。
骨子里的高傲在一定程度上也意味着“专断独行”，而这样的人大多固执，他们对既定事物的看法很难被改变。
这也是为什么科学家，尤其是那些学术地位高、成就不俗的科学家，往往给人一种脾气古怪、不好相处的刻板印象。
但事实上，谢定渊的反应比江扶月想象中平静得多，甚至在听完这样一种近乎“异端”的想法后，他连一丝外露的惊讶都没有。
“倘若不等于，那就意味着不能用自动化的方法解决所有问题。”他如此说道。
江扶月点头，目光灼灼，不错过对方脸上任何一个表情。
那一刻女孩儿眼里的专注，又一次令男人心跳加速。
然而出口的声音却依然保持着平静与自持：“那也没关系，”他说，“知道哪些工具不好用也有助于人们找到更好用的工具，不是吗？”
江扶月惊讶于他的眼界与格局。
一个人能接受同类，可赞一句心胸宽广；但若能同时包容异类，那他的志向必定不在方寸之间。
上帝会管蚂蚁打架吗？
不会。
因为他的高度决定了他只能放眼天下——看的是大地苍生，观的是人间百态。
蚂蚁算什么？
打不打架又有什么要紧？
谢定渊：“为什么这样看我？”
江扶月倏地回过神，唇畔漾开浅笑：“突然发现了一件有趣的事。”
“我能知道吗？”
她摇头：“不能。”
“……哦。”听起来有点闷闷的。
谢定渊：“倘若你要证明不等于，就要证明不存在能解决某些问题的算法，甚至包括那些未被发现的算法。但实际上，你很难去证明不可能做成某件事，尽管这在逻辑上并非不可能[1]。”
江扶月：“既然并非不可能，那就说明存在这种可能，不是吗？”
而科学研究的魅力正在于此。
毕竟，当爱因斯坦说牛顿力学存在问题，只适用于低速运动的时候，相对论也就诞生了。
谢定渊点头，看她的眼神欣赏中涌动着别样情绪，粒粒光辉闪动。
“最后一个问题，”江扶月迎上他的视线，清澈通明，仿佛能照见一切，“你既然赞同我的想法，又看过我的思路，还在此基础上进行了发散，那为什么不自己证明？”
谢定渊从第一句话，到后面每一句，都在试图引导她去解决这个问题。
本章未完，点击下一页继续阅读。
