还没等许青山先开口，戴维斯就感觉到门口有人了。



“你可真是一个天才！你就是我的唐纳德·克努斯！”



戴维斯不吝啬自己的溢美之词。



许青山耸了耸肩。



“我可不觉得克努斯教授的数学会比我更好。”



语气中的那种自信很有渲染力，就连戴维斯教授都愣了一下，才哈哈大笑起来。



“那当然，我也觉得你拿菲尔兹奖应该要比拿图灵奖更早。”



江浣溪在一旁眨巴眼。



英文她是听懂了，可他们在聊什么，她并不是很懂。



“唐纳德·克努斯，图灵奖得主，就是我们平时写论文在用的tex的基础宏语言tex的开发者，tex是tex的宏包，你就当做快捷键设定就好了。”



许青山转过头来贴心地给江浣溪解释了一下。



“许，你忘了补充了，克努斯教授最为人称赞的，是他为计算机，为计算科学所塑造的美感，他就是计算机领域的维纳斯。”



从戴维斯教授脸上那种陶醉的表情就能看得出来他对于唐纳德·克努斯的推崇，当然，也能从这样看得出他对于许青山的推崇。



江浣溪明白了个中逻辑，一双笑眼好看得很。



“行了，先不扯这些别的，戴维斯教授，先看看这个吧，不知道你的实验进行到哪个阶段了，我这边可差不多了。”



许青山笑着把手里的资料递给戴维斯。



“你现场看看，有缺的部分反馈一下，我们做一下收尾的补充。”



“ok。”



戴维斯暂时搁置了继续看论文的安排，先翻看起了打印出来的资料。



许青山瞥了一眼电脑里的论文。



果然是自己发在arxiv上的那篇关于布尔函数敏感度猜想的论文。



“许。”



戴维斯一边看着资料，突然开口道。



“嗯？”



许青山顿住。



“我想当年他们在弄出具体复杂性理论的时候，都没有想过那么快就会被解决。”



“上次我朋友，嗯，他是quanta杂志的主编，私下聚会的时候还在跟我说呢，德克萨斯大学奥斯汀分校的斯科特·阿尔龙撒在给他们发邮件的时候就抱怨过，说这是组合论和理论计算机科学中最令人沮丧和难堪的问题之一，后来他还在博客里说试图解决它而失败的学者们就是离散数学和理论计算机科学的名人堂。”



“有这么夸张的吗？”



许青山知道戴维斯的话是什么意思。



只不过哥们都已经证明了孪生素数猜想了，倒也是没必要因为一个猜想就大惊小怪。



“当然。”



戴维斯抬起头来，扶了扶自己的眼镜。



“你要是不相信的话，等你那篇论文登刊之后，你看看计算机领域的学者们都是对你怎么评价的。”



“说实话，许，你真的不考虑全力冲刺一下图灵奖吗？我想我们可以一起继续做更多更深的问题。”



戴维斯教授跃跃欲试，摩拳擦掌。



“很多问题之前我一个人的话根本不敢考虑，但是现在有你在的话，我觉得自己强得可怕！”



“戴维斯，我们还是先处理好手里的工作吧，我希望你最后项目出产的那部分电路设计理论模型是可靠的。”



许青山避而不谈。



“好吧。”



戴维斯也不难过。



这是他早有预料的答案。



只不过，也没关系，反正他目前都是要留在京大的，如果许青山未来一直待在京大的话，那他也不建议就这么天天找许青山合作。