首页 时空订制

字体:16+-

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

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

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

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

“讽刺?”

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

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

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

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

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

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

下一页