天才一秒记住【热天中文网】地址：https://www.rtzw.net
她摇了摇头，“是语言学会的人发来的邮件。
他们解释了为什么会驳回莫妮卡的论文。
这太荒谬了！
他们仅仅是用墓碑系统检验了莫妮卡的论文，就认定她的证明不能成立……”
“墓碑系统？”
“是三一学院的人开发的人工智能，能用来检验数学证明是否成立。
现在很多学术期刊都在用这套系统。”
艾玛沮丧地说，“其实我早就猜到了。
七百多页的论文，这么快就被驳回了，肯定不是人工检验的。”
“为什么要靠电脑来检验呢？他们也太不负责任了！”
“不能全怪他们。
莫妮卡的论文太长了，还用了很多全新的数学工具。
她的博士论文就已经很艰涩难懂了。
我不知道这次她具体用了什么方法，但我能想象，要掌握她使用的数学工具肯定得花费不少时间，是我的话至少也要一两年。
语言学会应该没几个人精通离散范畴理论，可能需要更长的时间来学习这些知识，然后才能开始检验，而检验的过程也绝对不轻松。
我还听说有一些解析数论方面的论文，人工检验需要十年以上的时间，所以三一学院的人才开发了这个系统。”
“莫妮卡的论文到底哪里出了问题？”
“这就是我最不能接受的地方。”
她揉搓着太阳穴，说道，“学会的人没有说明理由。
实际上，墓碑系统也没有给出理由，它只是判定论文不能成立。”
“没有给出理由？不能查看判定的过程吗？”
“很遗憾，不能。
墓碑系统没有可解释性。
如果强行解读，可能会花费很多时间—比人工检验莫妮卡的论文所需时间更长。”
说到这里，艾玛垂下头叹了一口气。
我坐下，把卷轴式电脑放在了她的掌心。
“墓碑系统是一个‘黑箱’。
他们只是把莫妮卡的论文输入到里面，而墓碑系统给出了一个结论，然后他们相信了这个结论，驳回了那篇论文。
没人知道论文到底错在哪里。
不，说不定论文是对的，只是它太复杂了，无法在多项式时间内检验，这种情况下墓碑系统也有可能会判定论文不能成立……”
艾玛松开手，电脑滑落到沙发上，向着靠背与坐垫之间的缝隙滚去。
她转过脸来，直视着我的眼睛补了一句：
“……也许就是那个‘黑箱’害死了莫妮卡。”
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！