千米小说网

三（第3页）

“所以结论就是，不说话最好，如果一定要说话也不能太逼真？”

“对，就是这么回事。最新的语音合成技术很少投入应用，因为会让人害怕。同理，就算有人开发了特别逼真的机器人，也一定不会有销路。”说到这里，艾玛坐了起来，“我先去洗个澡。”

说着，她起身朝浴室走去，又在门口停了下来，扭过头来交代了一句：“如果我的卷轴电脑响了，不用管它，只是邮件通知而已。”说完这句话，她就走进去关上了门。大约一分钟之后，浴室里响起了水声。

我从包里取出袖珍阅读器，读起了一位瑞士的德语作家的新作。几年前润色过这位作家的处女作，印象很深。结果那本书在英国的销售成绩不太理想，从此以后再没有哪家出版社打算引进他的小说。上周刚刚发售的这本《纳沙泰尔湖畔的牧羊人》，写的是裴斯泰洛齐（5）的教育事业。我刚刚读到他兴建孤儿院的部分，可以想见，这本书被引进到英国的可能性几乎为零。

水声仍断断续续地从浴室那边传来，然后我听到了一段属七和弦的琶音—是艾玛的卷轴电脑响了。我没有理会，继续读那本书，又读了大约三百行，身着白色浴袍的艾玛从浴室里走了出来。

见她的头发还在不断滴水，我便很自觉地找到吹风机递给了她。

艾玛放下吹风机时，我忽然想起刚刚听到的属七和弦，跟她提了一句：“刚才你的电脑好像响了一下。”

“应该是伯明翰大学的人把莫妮卡的论文发过来了。”说着，她把手伸向卷轴电脑。

“那我也去洗澡了。”

我来到浴室门口，只见里面有个大得出奇的浴缸—不，或许应该说是浴池才对。莫妮卡脱下的衣服全都放在了进门处的筐里，镜子旁边挂着一件浴袍，还有没用过的毛巾。

“开什么玩笑！”

听到艾玛充满怒火的自言自语，我转过身去，却见她抱起已经硬化的卷轴电脑，把它狠狠地丢向地面。受到冲击之后，电脑立刻柔软地收缩了起来。

我过去捡起收缩成软木塞大小的电脑，来到艾玛身边，准备等她情绪平复下来再把电脑递给她。她抬起头，看了我一眼，眼中仍满是怒意，嘴角不停地抽搐着。

“伯明翰大学的人说了什么？”

“不是大学的人，”她摇了摇头，“是语言学会的人发来的邮件。他们解释了为什么会驳回莫妮卡的论文。这太荒谬了！他们仅仅是用墓碑系统检验了莫妮卡的论文，就认定她的证明不能成立……”

“墓碑系统？”

“是三一学院的人开发的人工智能，能用来检验数学证明是否成立。现在很多学术期刊都在用这套系统。”艾玛沮丧地说，“其实我早就猜到了。七百多页的论文，这么快就被驳回了，肯定不是人工检验的。”

“为什么要靠电脑来检验呢？他们也太不负责任了！”

“不能全怪他们。莫妮卡的论文太长了，还用了很多全新的数学工具。她的博士论文就已经很艰涩难懂了。我不知道这次她具体用了什么方法，但我能想象，要掌握她使用的数学工具肯定得花费不少时间，是我的话至少也要一两年。语言学会应该没几个人精通离散范畴理论，可能需要更长的时间来学习这些知识，然后才能开始检验，而检验的过程也绝对不轻松。我还听说有一些解析数论方面的论文，人工检验需要十年以上的时间，所以三一学院的人才开发了这个系统。”

“莫妮卡的论文到底哪里出了问题？”

“这就是我最不能接受的地方。”她揉搓着太阳穴，说道，“学会的人没有说明理由。实际上，墓碑系统也没有给出理由，它只是判定论文不能成立。”

“没有给出理由？不能查看判定的过程吗？”

“很遗憾，不能。墓碑系统没有可解释性。如果强行解读，可能会花费很多时间—比人工检验莫妮卡的论文所需时间更长。”

说到这里，艾玛垂下头叹了一口气。

我坐下，把卷轴式电脑放在了她的掌心。

“墓碑系统是一个‘黑箱’。他们只是把莫妮卡的论文输入到里面，而墓碑系统给出了一个结论，然后他们相信了这个结论，驳回了那篇论文。没人知道论文到底错在哪里。不，说不定论文是对的，只是它太复杂了，无法在多项式时间内检验，这种情况下墓碑系统也有可能会判定论文不能成立……”

艾玛松开手，电脑滑落到沙发上，向着靠背与坐垫之间的缝隙滚去。她转过脸来，直视着我的眼睛补了一句：

“……也许就是那个‘黑箱’害死了莫妮卡。”