为什么就开心不起来。”
“你啊。”
许青山笑着又揉了揉她的脑袋，就把手收进口袋里。
明明在外面放了一小会就变得很凉的手捂到少女温热的柔荑，可她并没有什么动静，而是反手握住自己，十指相扣，似乎想竭力把温度传给自己。
“我们以后会做到的。”
许青山轻声说道。
“去改变它。”
“走吧，先把项目做好。”
“嗯！”
两人走到一半的时候，天上又下起了碎屑一般的雪。
不大。
刚刚好能把人脑袋上落上星碎雪花。
若是远了看，就像是校道里有两个头发泛白的夫妻在散着步。
雪天路滑，夏日里走十分钟的路，他们走了快半小时。
进了信科中心给戴维斯教授他们团队准备的实验室，可比数研所看起来先进多了，还有电控门。
“许！江！你们来了！”
奥莉薇娅戴着口罩，哪怕声音听起来有些虚弱也还是扯着嗓子喊道，并且第一时间凑过来迎接他们。
江浣溪认真地问道。
“奥莉薇娅小姐，你这是感冒了？”
“嗯......我以为这边不会比多伦多更冷的，所以穿得少了点，结果就感冒了。”
奥莉薇娅吸了吸鼻子，说话瓮声瓮气的。
“戴维斯教授呢？”
许青山举了举手里的文件夹和U盘。
“关键节点完成了，接下来就看你们团队的实力了。”
“正在看你的论文呢，放心吧，我们团队不比卡梅隆那帮家伙差。”
奥莉薇娅有小小的骄傲，抬头挺胸，却又咳嗽了一声。
“抱歉，我先去喝口水，老师在第三间办公室，你们过去就知道了，门没关。”
奥莉薇娅匆匆离开，许青山带着江浣溪朝着戴维斯的方位过去。
到了办公室门口，许青山就看到了戴维斯教授正伏案计算，一边看论文，一边在推导着什么。
几日不见，他总觉得戴维斯教授的发际线似乎又往上窜了不少。
“哦！许！”
还没等许青山先开口，戴维斯就感觉到门口有人了。
“你可真是一个天才！你就是我的唐纳德·克努斯！”
戴维斯不吝啬自己的溢美之词。
许青山耸了耸肩。
“我可不觉得克努斯教授的数学会比我更好。”
语气中的那种自信很有渲染力，就连戴维斯教授都愣了一下，才哈哈大笑起来。
“那当然，我也觉得你拿菲尔兹奖应该要比拿图灵奖更早。”
江浣溪在一旁眨巴眼。
英文她是听懂了，可他们在聊什么，她并不是很懂。
“唐纳德·克努斯，图灵奖得主，就是我们平时写论文在用的LaTeX的基础宏语言TeX的开发者，LaTeX是TeX的宏包，你就当做快捷键设定就好了。”
许青山转过头来贴心地给江浣溪解释了一下。
“许，你忘了补充了，克努斯教授最为人称赞的，是他为计算机，为计算科学所塑造的美感，他就是计算机领域的维纳斯。”
从戴维斯教授脸上那种陶醉的表情就能看得出来他对于唐纳德·克努斯的推崇，当然，也能从这样看得出他对于许青山的推崇。
江浣溪明白了个中逻辑，一双笑眼好看得很。
“行了，先不扯这些别的，戴维斯教授，先看看这个吧，不知道你的实验进行到哪个阶段了，我这边可差不多了。”
许青山笑着把手里的资料递给戴维斯。
“你现场看看，有缺的部分反馈一下，我们做一下收尾的补充。”
“OK。”
戴维斯暂时搁置了继续看论文的安排，先翻看起了打印出来的资料。
许青山瞥了一眼电脑里的论文。
果然是自己发在arXiv上的那篇关于布尔函数敏感度猜想的论文。
“许。”
戴维斯一边看着资料，突然开口道。
“嗯？”
许青山顿住。
“我想当年他们在弄出具体复杂性理论的时候，都没有想过那么快就会被解决。”
“上次我朋友，嗯，他是Quanta杂志的主编，私下聚会的时候还在跟我说呢，德克萨斯大学奥斯汀分校的斯科特·阿尔龙撒在给他们发邮件的时候就抱怨过，说这是组合论和理论计算机科学中最令人沮丧和难堪的问题之一，后来他还在博客里说试图解决它而失败的学者们就是离散数学和理论计算机科学的名人堂。”
“有这么夸张的吗？”
许青山知道戴维斯的话是什么意思。
只不过哥们都已经证明了孪生素数猜想了，倒也是没必要因为一个猜想就大惊小怪。
“当然。”
戴维斯抬起头来，扶了扶自己的眼镜。
“你要是不相信的话，等你那篇论文登刊之后，你看看计算机领域的学者们都是对你怎么评价的。”
“说实话，许，你真的不考虑全力冲刺一下图灵奖吗？我想我们可以一起继续做