……
八月二十九日，华夏，西林工业大学。
汉娜打死都没想到，她花费了一个月时间，加入了乔泽的项目组，第一天的任务竟然是——读论文。
她更想不到的是，课题组的电脑里竟然还给她配备了一个的论文智能助手。
“刘，这个助手怎么使用？”
“哦，比如你看到这些证明过程很麻烦对吧？如果你需要把步骤简化，就可以直接截图，然后提交过去，把你需要解答的部分尽量准确的描述出来，就像这样……然后就等待反馈结果……诶，你看结果这不就出来了。”
刘尘风探过半年身子，给这位新来的同事解释了一遍智能助手的用法。
“这是lean？”汉娜诧异的问道。
&是微软研究院在2013年推出的一款数学智能辅助证明软件。让数学家可以把数学公式转换成代码，再输入到软件中，最后由程序来验证定理是否正确。
“怎么可能？lean你应该用过吧？能有这么智能？而且lean只支持程序输入，我们的智能助手可以支持图片跟公式的直接输入，还有一个版本，甚至可以陪你聊天。”
汉娜看了刘尘风一眼，满脑子的问号。
内容未完，下一页继续阅读