千米小说网

九（第1页）

九

就在我们一起寻找来时乘坐的那辆出租车的时候，艾玛收到了伯明翰大学的人发来的邮件。一路上，她都在用卷轴电脑浏览那篇七百页的论文。我从旁边瞥了一眼，只看到了整页的公式。到了机场，艾玛又在候机厅读了一会儿，总算赶在登机的一小时前翻到了最后一页。

她收起电脑，却没有抬起头来。

“我大概知道莫妮卡为什么会自杀了。”艾玛说，“可能她觉得太讽刺了。”

我屏住呼吸，等待她说下去，艾玛却一时陷入了沉默。

“讽刺？”

“她写这篇论文是想证明人工智能并不是万能的，它们至少在理论上存在能力的极限，甚至可以说是缺陷。为了证明这一点，她构建了一套全新的离散范畴理论，远比之前形式语义学界使用的数学工具更抽象，我可能需要一两年的时间才能完全掌握这套理论。但语言学会的人却只是让墓碑系统去检测了这篇论文之后，就彻底否定了它。这真的太讽刺了。自己的多年心血不仅被否定了，否定自己的竟然还不是同行，而是很可能并不完美的人工智能，明明这篇文章就是想论证人工智能的缺陷……”

听到这里，我忽然有某种不祥的预感。

“莫妮卡的论文到底写了什么？”

“她想证明，在有限维Kat-Sgouros完备空间中，存在一个语义向量集具有Mikolov良序性，却不是Kobrin可测的。”艾玛解释道，“Mikolov良序性，通俗点来说，就意味着一句话是有意义的，并且强调的是在当前语境下有且仅有一种语义，不存在歧义。Kobrin测度是词义消歧的一种数学表达，除此之外还有好几种等价的表达方式，不过Kobrin测度只适用于Kat-Sgouros完备空间……”

说到这里，她忽然停顿了片刻，像是想到了更简单易懂的说明方式。

“如果莫妮卡的论文能成立，这将成为‘爱丁堡猜想’的一个弱证明。虽然Kat-Sgouros完备空间只是比较特殊的一类语义向量空间，但是，一旦在这类空间里证明了这个结论，就有希望找到办法推广到所有的语义向量空间中去。换句话说，莫妮卡踏出了解决‘爱丁堡猜想’的第一步。当然，前提是这个证明能成立……”

“我听她提起过‘爱丁堡猜想’。八年前，在圣詹姆斯的那家小酒吧，当时你在旁边睡着了。”

“她从那个时候就开始研究这个问题了吗？我从没听她提起过。”

“不，她那个时候应该还没有开始研究。莫妮卡当时只是想安慰我，所以才提起了这个猜想。当时我问她，是不是技术再进步一些，我就会失去工作。她安慰我说有些句子机器会翻错，但人能通过直觉明白是什么意思，至少有这么一个假说……”

我想忍住溢出眼眶的泪水，却失败了。

莫妮卡也许是为了我才开始研究“爱丁堡猜想”的，而这个猜想耗尽了她的精力，最终把她逼上了绝路。

“她会关注这个问题可能是出于某种焦虑。”艾玛说，“就像二十世纪，流水线上的工人被自动化设备取代，如今翻译的工作渐渐被软件取代，也许有一天，我和莫妮卡的工作也会被机器取代，人工智能会代替人类来进行科学研究。所以她才会那么迫切地想要证明‘爱丁堡猜想’，仿佛只要‘爱丁堡猜想’能成立，人类就永远不会被机器取代一样。结果，她没有想到，自己的焦虑那么快就成真了，语言学会的人用墓碑系统审读了她的论文，那本该是由她的同行来完成的工作。莫妮卡是我见过的最纯粹的研究者。她也有最纯粹的求知欲，希望能尽可能地理解、阐释这个世界。可是，技术的发展方向和她理想中的科学是背道而驰的。包括我在内的很多学者所做的研究，也许只是在加剧世界的‘黑箱’化。”

“‘黑箱’化？”

“科技越进步，技术背后的原理就会变得越难理解。前工业时代的技术，能通过简单的说明让任何人理解。而随着时代的推移，让研发者之外的人理解技术背后的原理，只会越来越难。我们在接触科技制品的时候，不会去追问背后的原理，只是使用它。如今的科技制品，就算去追问原理，也不是那么容易就能说清楚的。”

说到这里，她又从包里取出了压缩之后的卷轴式电脑。

“就像这个卷轴式电脑一样，你不明白里面的原理，它对你来说是个‘黑箱’，但这并不妨碍你使用它。不过，至少有人明白里面的原理，对于全人类来说它仍具有可解释性。但是，那些使用了马里亚纳大学的学习技术而产生的‘黑箱’却不是这样的。比如说出租车的自动驾驶功能、墓碑系统，还包括我开发的Pasithea系统和Hesiod系统。数据是如何在隐藏层里完成计算的，没有人知道，也无法解释，对于所有人来说它们都是‘黑箱’。”