蒂姆·库克停下了真在切鹅肝的动作，拿起精致的餐巾，擦了擦嘴，才问道：“宁邀请你去的？”
“是啊，我猜你这次去华夏大概也要跟他见面，所以约你见面。是的，我也看了有为集团的那场发布会，毫无疑问在人工智能的研究方面，他走在了前面。事实上，这次他邀请我去是希望双方能合作，探讨一些关于人工智能理论方面的问题。”科南·拉马尔解释道。
蒂姆·库克问道：“更具体呢？”
科南·拉马尔想了想道：“用于大数据环境重建的基础算法。”
蒂姆·库克沉默，随后展开了笑颜：“好吧，那么拉马尔教授，你订好了机票吗？不如就坐我的专机一起去华夏吧，旅途上我们正好可以好好聊聊。”
“额……方便吗？”
“当然，没什么不方便的。不过按照我的行程安排，明天就要出发，已经申请了航线，跟你的安排冲突吗？”
“这到不冲突，我也是打算参加完这次会议之后就动身……早一天晚一天到是无所谓。”
“那就这么决定了，明天早上八点整，我们在酒店门口见。”
“如你所愿，库克先生。”
“那么说真心话，拉马尔教授，我想你们已经做过一些学术方面的交流，你认为他关于这方面的研究已经做到哪一步了？”
“蒂姆，答案是非常悲观的。也许你只看到了有为集团发布会上那些奇妙的对话。当然苹果也许已经拿到了M10的样机，甚至做过分析。但我要告诉你的是，那只是表向。或者说只是他愿意展现给我们看的成就。事实上，他的研究成果绝对不止于此。比如湍流算法，在路上我也可以跟你谈谈我的一些研究成果。”
“嗯……”
“知道吗？我专门写了一封推荐信，推荐宁拿明年的图灵奖。这封信完成是在他帮助有为集团设计语音人工助手之前，但我一直犹豫要不要寄给ACM，不过在看完有为集团的发布会后，我将那封信修改了一些，然后寄出去了。”
“我能理解。事实上，我也觉得他大概有资格拿这个奖。好吧，让我们一起期待明天的旅程。”
“当然，嗯，要加些红酒吗？”
“好！”
……
华夏，燕北体大。
早上六点，宁孑准时从梦中醒来。
昨晚他睡得也挺好，醒来后自然神清气爽。唯一的问题是昨晚的睡梦中，没有了梦中的书房，没有了实验室，也没有了解决不完的问题，只剩下几个模糊的身影。
然后还有些不太好说的事情。
总之从床上爬起来第一件事，就是去冲了个澡，换了身衣服，这才清清爽爽的坐到电脑前。
小猫给了他一个“懂了吧”的眼神，宁孑默然。
然后如同往常一般打开电脑，他打算在早餐前先解决掉昨天遗留的一个问题。
难得今天思路特别清晰。
尤其是针对量子跃迁过程的计算。
目前还没人知道为什么量子态是个分立的过程，从初态到末态的变化是跳跃式的。
中间过程到底是怎样？又发生了什么。
三月给出了多种假设，宁孑正在做的就是通过数学分析从假设中找到最可能的原因。
这其中涉及到的任何一种假设，其计算过程都是极为复杂的。
需要用到许多还没问世的复杂公式。
其实这个世界一直有个对普通人来说极为反直觉的科学常识，现代科学理论越是前沿的研究方向，其实越不靠谱。大家其实都在玩一个猜猜猜的游戏。
比如在夜空中，普通人随便指一颗闪亮的恒星，猜中这颗恒星有多少卫星的概率大概是万分之一，最顶级的天文学家使用最尖端的天文设备，然后经过种种科学的复杂计算，最后得到的数字正确率大概也只有千分之一。
准确率提高了十倍，但其实大家都知道，这并没什么卵用。
如果具体到微观世界，很多原理大家同样都是不懂的，只能靠瞎猜。
比如人人都知道量子纠缠，但量子为什么会出现纠缠态，任何回答都是在瞎扯，不管是普通人还是顶级量子学家……无非就是普通人可以随便扯，科学家多少要给出点猜测的依据。
没办法，主要理论尚不完备，深层次隐性规律还没被发现，最后便只能归咎为这是上帝在投骰子。
现在宁孑需要做的是将数种猜想通过数学形式来表达，然后选择一个理论上最可能的一种，难度自然极大。
这也是他跟许多数学家都没法聊到一块去的原因。
NS方程可以跟大家聊，P=NP？也有得聊，但研究这玩意，真没几个人能聊。
这就好像人家还在想办法怎么登陆月球的时候，他已经在考虑火星上有没有水的问题了。
当然，这也不算拔苗助长。
因为宁孑能感觉到，通过对这些可能性进行数学验证，他已经隐隐找到了证明P=NP？的脉络，这种感觉很玄妙，比如在量子理论中，每一个物理量都是离散的，时间、长度、质量、能量……所以量子系统的演化是否可以视为离散的优化问题？
甚至还能推导出更进阶的问题，量子系统演化过程是否由所有可能的状态空间轨迹上的最小作用原理支配？更进阶的问题则可以直接还原成，是否有来自实验数学的已知数值证据支持或反对NP完全问题？
逻辑环路就此形成。
从一个世纪数学难题转到量子物理，再从量子物理重新绕回到数学难题。
换了一般人大概已经被绕晕，事实上宁孑也觉得最近他的进度慢了许多，不过今天早上如有神助，他竟然真在早餐之前得出了一个重要定理的结论。
量子跃迁初态跟末态之间存在一个空间干扰公式。换句话说，整个过程也许是可以精确计算的……
如果继续推广的话，大概就是具体到每颗粒子的轨迹都是可以精准确定的，而不是只能用波函数来表示。
