一段ChatGPT对话截图这两天在社交平台流传,标题很唬人:AI"独立验证"了雅可比猜想的反例。对话里确实有硬货——ChatGPT一步步构造出一个三元多项式映射,雅可比行列式恒为常数-2,和数学界流传的"原始反例"公式对得上号。
但对得上号,不等于猜想被推翻。真正决定这是不是反例的那一步证明,对话里根本没出现。
速读:三步算对了,第四步没做
对话的构造分三步,每一步都是可核验的符号代数:
第一步,构造一个五维代数簇X,给出X与三维仿射空间A³之间的显式多项式同构Φ、Ψ,并验证Ψ∘Φ和Φ∘Ψ都等于恒等映射。这个X≅A³的同构,是后面所有构造的起点。
第二步,把Φ和另一映射F复合、去掉一个恒为常数的坐标,得到三元多项式映射G。符号求导算出det DG≡-1,处处非零。这种雅可比行列式恒为非零常数的多项式映射,数学上叫Keller映射。
第三步,做一次线性坐标变换(A、B两个线性映射),验证F_orig=B∘G∘A,并算出det DF_orig=-2,跟"原始反例"公式给出的常数对上。
这三步计算本身没问题。展开、代入、化简,ChatGPT干的是符号代数,不难核实,也确实核实得上。
缺的那一步,行业几十年没跨过去
雅可比猜想说的是:一个多项式映射,如果雅可比行列式处处是非零常数,它就必须有多项式逆,也就是整体可逆。要推翻它,得找一个雅可比常数、但没有多项式逆的映射。
F_orig=B∘G∘A这一步,只证明了G和F_orig是同一个映射的两种坐标写法。这叫线性等价,不叫反例。真正的反例还得补上决定性一环:证明这个映射不是单射,或不是满射,或压根不存在多项式逆。这一步,对话全程没有出现,ChatGPT本身也没声称自己做了。
| 项目 | 状态 |
|---|---|
| X≅A³显式同构 | 已验证 |
| det DG≡-1 | 已验证 |
| G与F_orig线性等价 | 已验证 |
| 是否存在非单射证明 | 未验证 |
| 是否存在多项式逆的判定 | 未验证 |
| 是否有第三方同行核验、论文或代码 | 未验证 |
雅可比猜想从1939年提出到现在,复数域上三维及以上情形一直悬而未决。不是因为没人会算行列式,是因为"雅可比常数"和"整体可逆"之间那道坎,几十年没人跨过去。这段对话里,那道坎照样立在那儿。
这事该怎么看,谁该留意什么
对关注AI可靠性的读者,这条消息的价值不在雅可比猜想本身,在于提醒一件事:ChatGPT做符号代数,靠谱;但它嘴里的"独立检查""符号确认",不等于第三方验证。看到"AI解决XX难题"这类截图流传时,先问一句有没有论文、有没有可复现代码,而不是先转发。
对了解雅可比猜想或计算机代数的数学读者,值得盯住的是那道还没补上的证明:有没有人给出这个映射的非单射证据,或者证明它不存在多项式逆。这才是判断这段构造有没有价值的唯一标准,公式对不对早已经不是问题。
至于对话截图是不是陶哲轩本人所发——一段共享链接,证明不了参与者是谁。这件事本身不影响上面的判断,但也不该被当作论据来加持这个反例的可信度。
我的判断
公式核验这种事,交给AI挺合适。展开、代入、化简,ChatGPT干得又快又准,这说明符号计算工具在数学研究里确实能省时间。
但开放难题的结论,不能靠一段自证式的聊天记录落槌。没有论文,没有可复现的代码仓库,也没有同行评审,一段共享链接什么都证明不了。
行百里者半九十。这段对话走完了九十里——同构、行列式、坐标变换都算对了。剩下那十里,恰恰是雅可比猜想七十多年没人跨过去的那十里。它没跨过去,不丢人;把这九十里当成一百里来传播,才是问题。
雅可比猜想要是真被推翻,会是过去几十年代数几何里最大的新闻之一。值得等一篇正式论文,不该靠一段截图定案。