一个符号错误，让三份证明全部落空

霍奇猜想是数学中最深刻的未解问题之一。本文所用的表述取自克莱数学研究所《千禧年大奖难题》（The Millennium Prize Problems）一书中皮埃尔·德利涅（Pierre Deligne）撰写的一章。粗略地说，它断言：在由多项式方程定义的几何空间的拓扑结构中，隐藏着某些“形状”，它们总可以由一些本身也由方程定义的更小部件拼成。

2026年9月和10月，OpenAI发布了三份署名为“OAI”的文件，声称在特殊情形下证明了这一猜想：针对某些被称为K3曲面的曲面、它们的乘积，以及某些八维空间。OpenAI后来撤回了全部三份文件。伦敦帝国理工学院的扬克·莱基利（Yankı Lekili）和爱丁堡大学的尼克·谢里丹（Nick Sheridan）如今准确解释了它们错在哪里。

一条穿过镜子的有效路径

这些文件走了一条优雅的路线。由马克西姆·孔采维奇（Maxim Kontsevich）提出猜想的一个强大思想——同调镜像对称，把一个几何空间X与一个类型截然不同的“镜像”空间Y联系起来，后者属于辛几何的研究对象——辛几何源自运动的物理学，度量的是面积而不是长度。一旦这种联系得以建立，关于X的问题就可以换成关于Y的问题。

在这里，要解决X的霍奇问题，只需在镜像Y中构造一个特定对象：一种类似曲面的形状，称为拉格朗日浸入（Lagrangian immersion），它还必须是无阻碍的（unobstructed）——这是一个技术条件，使它成为镜像工具箱中的合法成员。莱基利和谢里丹同意这是一条有效的途径。难点在于：构造无阻碍的拉格朗日子流形本身就是一个难题。三份文件恰恰都在这里出了问题。

交叉点登场

浸入允许与自身相交，每个交叉点都带有一个数，即它的次数（degree）。在这里，奇数次的交叉点无害；次数为2的交叉点则可能产生阻碍。

这些文件先用一种灵活的技术——格罗莫夫（Gromov）和利斯（Lees）的h原理——构造出一个粗糙的浸入。然后它们援引托比亚斯·埃克霍尔姆（Tobias Ekholm）、雅科夫·埃利亚什贝格（Yakov Eliashberg）、埃米·墨菲（Emmy Murphy）和伊万·史密斯（Ivan Smith）2013年的一条定理来加以整理，使得每一个交叉点都具有奇数次数。既然不再有偶数次的交叉点，无阻碍性便随之成立。

本该是减号的加号

2013年的那条定理是正确的。但它在计数交叉点时采用的是与标准约定相反的符号约定。其作者从未明确说明这一点；他们始终如一地使用自己的约定，这可以从他们的公式和证明中推断出来。而OpenAI的文件采用的是标准约定——一个符号被翻转了。这一点至关重要，因为定理的结论取决于交叉点的某个带正负号的总计数是否为负。这些文件构造浸入时，使这个总数为负——他们认为在这种情形下可以让每个交叉点都变成奇数次。而按照定理自身的符号，同一个总数是正的：也就是另一种情形。这个问题最早似乎是由内森·汉弗莱（Nathan Humphrey）发现并报告给OpenAI的。

正确解读符号后，这条定理讲的是另一回事。它的构造总会留下一个次数为2的交叉点，莱基利和谢里丹称之为p。其他所有交叉点都可以变成奇数次；唯独p留了下来。而p足以让证明失效。

情况比一个漏洞更糟。作者证明，以这种方式产生的浸入通常是有阻碍的：一个小小的“刚性”圆盘——一个孤立、无法变形的曲面，其边缘落在浸入上并经过p——会产生一个阻碍，它在某个区间内不可能消失——而在该区间之外，也没有理由认为它会被抵消。用他们的话说，这个交叉点是“灵活性的代价”。

刚性与灵活性

这一领域的数学家把问题区分为灵活的和刚性的：前者可以用微分拓扑中的通用工具解决，后者则不能。无阻碍的拉格朗日子流形一般是刚性的，而且通常可以从刚性走向灵活，却不能反过来。这种直觉使得好几位研究人员在这些文件撤回之前就对其持怀疑态度。不过作者也补充了一句谦逊的话：直觉可能出错，而2013年的那条定理本身就曾违背人们的预期。

留下了什么

莱基利和谢里丹没有分析论证的其余部分，并列出了三项积极成果。整体策略——通过镜像对称攻克霍奇猜想——很有意思，值得继续探索；如果有人克服了拉格朗日这一障碍，这些文件或许能为剩余的技术步骤提供指引。2013年那篇论文中隐藏的符号约定如今已经厘清。它的浸入究竟能否做到无阻碍，这个问题也已厘清。