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

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

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

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

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

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

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

        “怎么可能？lean你应该用过吧？能有这么智能？而且lean只支持程序输入，我们的智能助手可以支持图片跟公式的直接输入，还有一个版本，甚至可以陪你聊天。”

        汉娜看了刘尘风一眼，满脑子的问号。

        这不符合常理，如此好用的软件，她竟然从没听说过。

        “嘿嘿，吃惊吧？”

        坐在汉娜另一边的陈艺文扭头看了眼，献宝式的解释道：“这就是群智，乔泽之前那篇论文你应该看过吧？就是那套理论。用因果解耦来让智能平台不需要太多的数据就能具备极高程度的智能。如果你有注意的话，那篇论文我是三作哦。”

        汉娜瞥了陈艺文一眼，认真的说道：“其实我没太仔细研究那篇论文本身，因为跟我博士研究的方向不匹配。只是我的导师希望我能帮他找到隐藏在论文里的水印。”

        内容未完，下一页继续阅读