格格党

手机浏览器扫描二维码访问

三（第6页）

她摇了摇头，“是语言学会的人发来的邮件。

他们解释了为什么会驳回莫妮卡的论文。

这太荒谬了！

他们仅仅是用墓碑系统检验了莫妮卡的论文，就认定她的证明不能成立……”

“墓碑系统？”

“是三一学院的人开发的人工智能，能用来检验数学证明是否成立。

现在很多学术期刊都在用这套系统。”

艾玛沮丧地说，“其实我早就猜到了。

七百多页的论文，这么快就被驳回了，肯定不是人工检验的。”

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

“不能全怪他们。

莫妮卡的论文太长了，还用了很多全新的数学工具。

她的博士论文就已经很艰涩难懂了。

我不知道这次她具体用了什么方法，但我能想象，要掌握她使用的数学工具肯定得花费不少时间，是我的话至少也要一两年。

语言学会应该没几个人精通离散范畴理论，可能需要更长的时间来学习这些知识，然后才能开始检验，而检验的过程也绝对不轻松。

我还听说有一些解析数论方面的论文，人工检验需要十年以上的时间，所以三一学院的人才开发了这个系统。”

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

“这就是我最不能接受的地方。”

她揉搓着太阳穴，说道，“学会的人没有说明理由。

实际上，墓碑系统也没有给出理由，它只是判定论文不能成立。”

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

“很遗憾，不能。

墓碑系统没有可解释性。

如果强行解读，可能会花费很多时间—比人工检验莫妮卡的论文所需时间更长。”

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

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

“墓碑系统是一个‘黑箱’。

他们只是把莫妮卡的论文输入到里面，而墓碑系统给出了一个结论，然后他们相信了这个结论，驳回了那篇论文。

没人知道论文到底错在哪里。

不，说不定论文是对的，只是它太复杂了，无法在多项式时间内检验，这种情况下墓碑系统也有可能会判定论文不能成立……”

艾玛松开手，电脑滑落到沙发上，向着靠背与坐垫之间的缝隙滚去。

她转过脸来，直视着我的眼睛补了一句：

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