还没等许青山先开口，戴维斯就感觉到门口有人了。
“你可真是一个天才！你就是我的唐纳德·克努斯！”
戴维斯不吝啬自己的溢美之词。
许青山耸了耸肩。
“我可不觉得克努斯教授的数学会比我更好。”
语气中的那种自信很有渲染力，就连戴维斯教授都愣了一下，才哈哈大笑起来。
“那当然，我也觉得你拿菲尔兹奖应该要比拿图灵奖更早。”
江浣溪在一旁眨巴眼。
英文她是听懂了，可他们在聊什么，她并不是很懂。
“唐纳德·克努斯，图灵奖得主，就是我们平时写论文在用的LaTeX的基础宏语言TeX的开发者，LaTeX是TeX的宏包，你就当做快捷键设定就好了。”
许青山转过头来贴心地给江浣溪解释了一下。
“许，你忘了补充了，克努斯教授最为人称赞的，是他为计算机，为计算科学所塑造的美感，他就是计算机领域的维纳斯。”
从戴维斯教授脸上那种陶醉的表情就能看得出来他对于唐纳德·克努斯的推崇，当然，也能从这样看得出他对于许青山的推崇。
江浣溪明白了个中逻辑，一双笑眼好看得很。
“行了，先不扯这些别的，戴维斯教授，先看看这个吧，不知道你的实验进行到哪个阶段了，我这边可差不多了。”
许青山笑着把手里的资料递给戴维斯。
“你现场看看，有缺的部分反馈一下，我们做一下收尾的补充。”
“OK。”
戴维斯暂时搁置了继续看论文的安排，先翻看起了打印出来的资料。
许青山瞥了一眼电脑里的论文。
果然是自己发在arXiv上的那篇关于布尔函数敏感度猜想的论文。
“许。”
戴维斯一边看着资料，突然开口道。
“嗯？”
许青山顿住。
“我想当年他们在弄出具体复杂性理论的时候，都没有想过那么快就会被解决。”
“上次我朋友，嗯，他是Quanta杂志的主编，私下聚会的时候还在跟我说呢，德克萨斯大学奥斯汀分校的斯科特·阿尔龙撒在给他们发邮件的时候就抱怨过，说这是组合论和理论计算机科学中最令人沮丧和难堪的问题之一，后来他还在博客里说试图解决它而失败的学者们就是离散数学和理论计算机科学的名
…。。