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