“刘，这个助手怎么使用？”
“哦，比如你看到这些证明过程很麻烦对吧？如果你需要把步骤简化，就可以直接截图，然后提交过去，把你需要解答的部分尽量准确的描述出来，就像这样……然后就等待反馈结果……诶，你看结果这不就出来了。”
刘尘风探过半年身子，给这位新来的同事解释了一遍智能助手的用法。
“这是lean？”汉娜诧异的问道。
lean是微软研究院在2013年推出的一款数学智能辅助证明软件。让数学家可以把数学公式转换成代码，再输入到软件中，最后由程序来验证定理是否正确。
“怎么可能？lean你应该用过吧？能有这么智能？而且lean只支持程序输入，我们的智能助手可以支持图片跟公式的直接输入，还有一个版本，甚至可以陪你聊天。”
汉娜看了刘尘风一眼，满脑子的问号。
这不符合常理，如此好用的软件，她竟然从没听说过。
“嘿嘿，吃惊吧？”
坐在汉娜另一边的陈艺文扭头看了眼，献宝式的解释道：“这就是群智，乔泽之前那篇论文你应该看过吧？就是那套理论。用因果解耦来让智能平台不
-->>(第2/8页)（本章未完，请点击下一页继续阅读）