格格党

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

九（第1页）

九

banner"

>

就在我们一起寻找来时乘坐的那辆出租车的时候，艾玛收到了伯明翰大学的人发来的邮件。

一路上，她都在用卷轴电脑浏览那篇七百页的论文。

我从旁边瞥了一眼，只看到了整页的公式。

到了机场，艾玛又在候机厅读了一会儿，总算赶在登机的一小时前翻到了最后一页。

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

“我大概知道莫妮卡为什么会自杀了。”

艾玛说，“可能她觉得太讽刺了。”

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

“讽刺？”

“她写这篇论文是想证明人工智能并不是万能的，它们至少在理论上存在能力的极限，甚至可以说是缺陷。

为了证明这一点，她构建了一套全新的离散范畴理论，远比之前形式语义学界使用的数学工具更抽象，我可能需要一两年的时间才能完全掌握这套理论。

但语言学会的人却只是让墓碑系统去检测了这篇论文之后，就彻底否定了它。

这真的太讽刺了。

自己的多年心血不仅被否定了，否定自己的竟然还不是同行，而是很可能并不完美的人工智能，明明这篇文章就是想论证人工智能的缺陷……”

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

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

“她想证明，在有限维Kat-Sgouros完备空间中，存在一个语义向量集具有Mikolov良序性，却不是Kobrin可测的。”

艾玛解释道，“Mikolov良序性，通俗点来说，就意味着一句话是有意义的，并且强调的是在当前语境下有且仅有一种语义，不存在歧义。

Kobrin测度是词义消歧的一种数学表达，除此之外还有好几种等价的表达方式，不过Kobrin测度只适用于Kat-Sgouros完备空间……”

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

“如果莫妮卡的论文能成立，这将成为‘爱丁堡猜想’的一个弱证明。

虽然Kat-Sgouros完备空间只是比较特殊的一类语义向量空间，但是，一旦在这类空间里证明了这个结论，就有希望找到办法推广到所有的语义向量空间中去。

换句话说，莫妮卡踏出了解决‘爱丁堡猜想’的第一步。

当然，前提是这个证明能成立……”

“我听她提起过‘爱丁堡猜想’。

八年前，在圣詹姆斯的那家小酒吧，当时你在旁边睡着了。”

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

“不，她那个时候应该还没有开始研究。

莫妮卡当时只是想安慰我，所以才提起了这个猜想。

当时我问她，是不是技术再进步一些，我就会失去工作。

她安慰我说有些句子机器会翻错，但人能通过直觉明白是什么意思，至少有这么一个假说……”