超神级学霸 第118节

“再见！”

挂上了电话，卢宁·切尔斯曼抬头看向了坐在他对面一直很安静的施耐德·布林克，说道：“你都听到了？”

施耐德点了点头，然后又摇了摇头。

“我不信任他们。”

“但的确没有确切的证据。”

“我知道，但这正是我疑惑的。”

“好了，施耐德，虽然我也并不太相信美国人，但是刚刚他有句话其实没错，数据不会骗人。不是吗？”

“也许吧！”

“好了，我们的人也在了解相关信息了。他们用了一个月都没找到这个所谓的实验室基地，你不觉得这是很可笑的一件事吗？一篇论文而已，让我们暂时先放下吧。你现在要做的是告诉工程部的那些人，不要被外在的不实信息打乱了我们的研发进度。”

“放心吧，我会的。”

“就这样吧。”

……

八月二十九日，华夏，西林工业大学。

汉娜打死都没想到，她花费了一个月时间，加入了乔泽的项目组，第一天的任务竟然是——读论文。

她更想不到的是，课题组的电脑里竟然还给她配备了一个的论文智能助手。

“刘，这个助手怎么使用？”

“哦，比如你看到这些证明过程很麻烦对吧？如果你需要把步骤简化，就可以直接截图，然后提交过去，把你需要解答的部分尽量准确的描述出来，就像这样……然后就等待反馈结果……诶，你看结果这不就出来了。”

刘尘风探过半年身子，给这位新来的同事解释了一遍智能助手的用法。

“这是lean？”汉娜诧异的问道。

lean是微软研究院在2013年推出的一款数学智能辅助证明软件。让数学家可以把数学公式转换成代码，再输入到软件中，最后由程序来验证定理是否正确。

本章未完，请点击下一页继续阅读！ 第1页 / 共5页