肋。相信我，当他们发现很多技术根本无法攻克的时候，他们会做出正确的选择。现在的损失在不久的未来将会换来成倍的回报。占据优势的我们，可以比华夏人拥有更多的耐心。知道吗？华夏有个词，叫外强中干。用来形容现在，恰如其分。”
“好的，那么再见吧。”
“再见！”
挂上了电话，卢宁·切尔斯曼抬头看向了坐在他对面一直很安静的施耐德·布林克，说道：“你都听到了？”
施耐德点了点头，然后又摇了摇头。
“我不信任他们。”
“但的确没有确切的证据。”
“我知道，但这正是我疑惑的。”
“好了，施耐德，虽然我也并不太相信美国人，但是刚刚他有句话其实没错，数据不会骗人。不是吗？”
“也许吧！”
“好了，我们的人也在了解相关信息了。他们用了一个月都没找到这个所谓的实验室基地，你不觉得这是很可笑的一件事吗？一篇论文而已，让我们暂时先放下吧。你现在要做的是告诉工程部的那些人，不要被外在的不实信息打乱了我们的研发进度。”
“放心吧，我会的。”
“就这样吧。”
……
八月二十九日，华夏，西林工业大学。
汉娜打死都没想到，她花费了一个月时间，加入了乔泽的项目组，第一天的任务竟然是——读论文。
她更想不到的是，课题组的电脑里竟然还给她配备了一个的论文智能助手。
“刘，这个助手怎么使用？”
“哦，比如你看到这些证明过程很麻烦对吧？如果你需要把步骤简化，就可以直接截图，然后提交过去，把你需要解答的部分尽量准确的描述出来，就像这样……然后就等待反馈结果……诶，你看结果这不就出来了。”
刘尘风探过半年身子，给这位新来的同事解释了一遍智能助手的用法。
“这是lean？”汉娜诧异的问道。
lean是微软研究院在2013年推出的一款数学智能辅助证明软件。让数学家可以把数学公式转换成代码，再输入到软件中，最后由程序来验证定理是否正确。
“怎么可能？lean你应该用过吧？能有这么智能？而且lean只支持程序输入，我们的智能助手可以支持图片跟公式的直接输入，还有一个版本，甚至可以陪你聊天。”