第118节 (第2/6页)

位新来的同事解释了一遍智能助手的用法。

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

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

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

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

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

    “嘿嘿，吃惊吧？”

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

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

    “哈哈，所以我建议你认真的看一遍那篇论文，也许你就不会这么大惊小怪了。尤其是我们课题组的群智系统还增加了情绪判断模块，那篇论文还没发，不过乔泽说了，我也是三作。等那篇论文发了之后，我建议你也仔细研究一下。”

    陈艺文得意的笑着说道。

    随着开学日越来越近，他的心情也变