连接通道。
宁晨在脑海中，叫起了小智的名字。
看到系统信息的提示，宁晨一下子反应了过来。
只是在刚接触这些语言的时候，小智的说话方式还有些怪异，就像刚刚学说话的孩子一样。
想到这，宁晨开始尝试着在这个软件上，编写起相关的学习程序。
输入了程序运行的指令之后，宁晨笔记本电脑的风扇再次全速运行了起来。
在信息学学科等级达到lv1之后，宁晨的编程能力还是够用的，很快便写出了针对于小智学习人类语言的程序。
阿比·莫伊尔在完成了宁晨论文的初审之后，将宁晨的论文交给三位数学界顶级的专家进行审稿。
现在宁晨需要做的，就是通过程序的编辑，来让人工智能获得一些比较简单的能力。
在图标的下方，对应的正是“小智”的程序名。
宁晨也不急着对小智进行干预，觉得给它足够的时间，它应该会渐渐成熟起来的。
宁晨对于这个要求倒是没有什么意见，因为宁晨自己也清楚，为了压缩论文的页数，宁晨把很多需要证明的过程，都用“易得”、“显然”之类的词语替代了。
宁晨找出自己原始版的论文，进行一番详细的审核和校对之后，向米国数学会杂志的邮箱发送了过去。
莫伊尔在收到宁晨发来的原始版论文后，把这篇论文转发给了唐纳森，并在邮件中写上了有关这篇论文的附注。