先对齐一下：这一个月圈里到底发生了什么
稍微关注代数几何圈的人都知道，这个领域平时上热搜的概率约等于零。但过去二十多天，两枚"AI反例"让圈子里持续低烧：87年的雅可比猜想（Jacobian Conjecture，Keller 1939年提出）在7月19日前后被曝出三维多项式反例；几天后，镜像对称里近30年的Batyrev猜想也被宣布找到反例。这篇不喊"AI神了"，也不喊"数学死了"。我把B站、知乎、小红书、微博的信息来回对了一遍，整理成三份清单：哪些已经确认，哪些还只是传闻，哪些值得继续盯。
确认清单：反例本身已经被"验麻了"
先是反例的存在性。圈内流传的官宣截图发于7月20日，语气极其随意，“hello there the jacobian conjecture is false”，顺带感谢"close friend fable"在"world cup final"期间加班——发布时间正好和世界杯决赛撞车。映射本身也一并公开：一个三分量的三元多项式映射，雅可比行列式为常数-2，三个明确不同的输入(0,0,-1/4)、(1,-3/2,13/2)、(-1,3/2,13/2)被映到同一个输出(-1/4,0,0)。一位B站UP主的感叹基本代表了圈内的第一反应：吃饭的时候看到这个新闻，太震惊了。B站
其次是验证成本，这也是整件事最魔幻的地方：构造极难，验证极易。代入、通分、展开，有本科微积分功底的人就能验完，用Mathematica更是几分钟的事。知乎公告发出后几天，各平台评论区和回答区挤满了"手算验完"的人，有人直接贴出了自己的验算记录。
然后是波及范围。三维反例一旦成立，给高维情形追加几个"不动坐标"，就能把碰撞原样保留下去，n≥3的所有维数直接全体阵亡。知乎
剩下的只有二维这座最后的堡垒，也是雅可比猜想最初面对的版本。二维情形目前仍未解决，社区里"人肉验算""Mathematica复现"的热闹，到这条边界前都暂时安静下来。知乎
传闻清单：这部分，先听个乐
发现者身份。社区把官宣账号对到了Levent Alpoge——传闻是Anthropic员工，原本是做数论的；文案里的"fable"则被怀疑指Anthropic的内部模型，连版本号都有更具体的说法。但这些信息没有任何官方背书，官宣本身也只写了"fable"没写模型名，全部按二手传闻处理。
连锁式突破就更悬了。民间似乎有人已经在用AI冲击菲奖级难题，甚至给出了初步证明，该难题疑似希尔伯特第16问题的第二部分——而发帖人自己给这句话加了免责括号。知乎至于8月11日在圈内流传的"黎曼猜想方向巨大突破"，信噪比更低，这里不展开。
为什么AI能找到，人类87年没找到
很多人看到反例的第一反应是不敢信：雅可比行列式恒为非零常数，保证的是每个点附近都存在局部逆（反函数定理），直觉上"不该撞车"。但局部可逆不等于全局单射——就像一张地图每个街区都能导航，却不排除两条相隔很远的巷子通向同一个终点。这个反例把碰撞藏进了一个三次方程：固定输出、反解输入，会得到一个三次方程，参数选得特殊时它有三个不同的根，对应三个不同的输入。评论区有人用Wolfram Mathematica复算后感叹，这个多项式和雅可比矩阵都太逆天了，行列式居然是个常数。B站
人类87年没找到，不是因为验不出，而是因为没人知道"往哪儿挖"。多项式映射的空间太大，人类既没有耐心也没有直觉去里面穷举，AI恰好擅长这种"结构性差、靠搜索"的活。这个判断在后面ICBS现场被一位菲尔兹级数学家换了种方式说了出来。
ICBS现场：大佬们的反应比热搜更值得看
8月9日，2026国际基础科学大会（ICBS）在北京雁栖湖开幕。这个由丘成桐发起并担任主席的大会，已经成全球基础科学领域标杆性的学术盛会，今年正好撞上"AI反例"的浪头。微博基础科学奖章的名单里，代数几何圈的克莱尔·瓦赞（Claire Voisin）排在首位；张寿武则拿下了安德鲁·怀尔斯数学奖章。
张寿武的回应非常"数学家"：他承认AI在解决简单的、结构性较差的数学问题上思考速度比人类快，甚至能给雅可比猜想提供反例。微博
但他紧接着泼了盆冷水：目前AI提供的证明都在两张纸左右，这意味着它在深度思考方面仍与人类有巨大差距。微博他甚至还补了一句更私人的：自己的研究要对AI有所保留，要有"自留地"。
丘成桐在开幕式上的表态更鲜明：人类原创思想不会被代替。微博一边是"两页纸"的冷静判断，一边是"原创思想"的底线宣言，这大概是目前学术前排对"AI反例"最完整的态度样本。
圈内反应：从破防到玩梗，再到"干活"
把B站两条科普视频的评论区捋一遍，情绪曲线很清楚。第一阶段是破防：“还有什么反例是AI找不到的”；第二阶段是自嘲和验算：“我正在用手算检验这个反例（做最后的挣扎）”；第三阶段才开始认真讨论AI能做什么、不能做什么。小红书一位用户的说法挺代表这种收敛后的心态：AI找反例很厉害，但发现内蕴的新结构这件事，目前还是人类的特权。小红书
另一条线的Batyrev猜想刚好提供了对照。B站UP主钰子一的博后导师团队同样借助AI找到了反例，但她的说明是：不能说这次主要是AI主导的，人也出了很大力气。B站一条是"AI搜索、人类验算"，一条是"人类主导、AI协助"，两种模式在同一个月出现，这本身就是最好的观察样本。
还有个被翻出来的旧瓜：张益唐当年的博士论文恰恰就是雅可比猜想，还和导师闹翻了。知乎87年前，这个猜想碾过一个年轻人的博士论文；87年后，它被AI一脚踹开。圈内对此的情绪很复杂，但讨论方向已经收敛：值得追的不是猜想本身的死活，而是沿途会逼出什么新工具和新结构。
观察清单，和一个彩蛋
接下来几周，建议盯三个信号。第一个是二维战线：已经有人问能不能用试探穷举找二维反例，但目前还停留在提问阶段。知乎第二个是Batyrev反例会不会出正式预印本，目前信息还以视频和社区转述为主。第三个是ICBS为期两周的会期里，聚齐的大佬们会不会给出更多公开评价——这决定这波是一次性热搜，还是范式转折点。
最后送个彩蛋。每次雅可比猜想上热搜，"圆锥曲线"的老梗都会被翻出来：有人把Hartshorne《Algebraic Geometry》里出现conic的地方逐处标了出来，从第一章的习题到第二章的习题，圆锥曲线无处不在。换个角度想，圆锥曲线恰恰是普通人最熟悉的代数几何——你所做的解析几何，特别是圆锥曲线的题目和知识点本质上都是实数域上的代数几何。知乎
据说Hartshorne的博士毕业论文就是利用圆锥曲线的这类性质，证明了Hilbert scheme是连通。知乎
如果这波让你想覗一眼代数几何，社区常提的入门路线是：先补交换代数，再啃Hartshorne；想温和一点，就从Smith的《An Invitation to Algebraic Geometry》或Vakil的公开讲义入手。不过也别慌——就像那位小红书用户说的，短期内，代数几何死不了，数学死不了。小红书
