“嗨。”李东升从隔壁走了出来，他正在参与新的项目，“面色怎么这么差？”
“被打击，当然面色差。”杨明的语气中带着怨气，是对自己的愤恨，没能在麻省理工刻苦努力的学习。
“谁能打击到我们的杨教授？”
“你还是让数学局尽快看看吧。”
“很难吗？”李东升感觉自己的幽默没能得到应有的回应。
“他们愿意泄露，我现在才明白。”
“什么？”李东升翻了几页，简直是天书。
“我猜数学界没人能看懂。”
“没这么离谱吧，老弟。”
“我敢保证，我们的基础学科太落后了。”
“别忘了，还有人工智能，我们有秘密武器。”李东升想化解此刻的尴尬。
“你是说推理模型？”杨明突然恢复了精神。
“市面上的都是模式推理，我们有真正的基于公理的数理逻辑推理模型。”
“真的吗，他们真的实现了吗？”杨明显得很激动，脸色突然变得潮红。
“现在你也是其中的一员了，上级的命令。”
“等等。”
“怎么了？”
“给我一个安静的地方，我想再默写一边。”
“好，烟酒管够。”