如果你最近刷到过数学或AI新闻，大概率已经被轮番轰炸过一轮：AI证伪了悬置87年的雅可比猜想、AI五小时解决"丘成桐五十年之问"、Claude写出108页论文终结78年悬案。每一条单独看都足够吓人，合在一起更像AI已经接管了数学界。但数学圈内部的讨论其实是撕裂的：有人高喊"每一两天都会传来AI解决数学难题的新闻，最新最高潮的突破无疑是AI发现六维球面上存在复结构，这是个大问题，很多数学大师都折戟过，这个发现是整个几何学的大事"。知乎也有人逐页翻论文，要求严格核验。这波攻势到底怎么回事，成色几何，我把全网信息捋了一遍，说给你听。
先把这份"8月数学闪电战"按时间排出来
7月20日：Alpöge用Anthropic的Claude Fable 5，给出雅可比猜想的反例。这个猜想1939年提出，悬了87年无人能解。
8月4日：OpenAI模型声称解决Connes刚性猜想，随后被数学家指出反例不成立——这是本轮少有的"AI翻车"公开案例。
8月10日：Anthropic宣布，一个未公开身份的研究版Claude，把黎曼ζ函数零点落在临界线上的已证明比例，从41.6%提升到67.2%。这一仗调度了约60个子智能体，敲下2400多条shell命令，烧掉3100万个输出token。
8月13日：Alpöge和两个人类伙伴带着Claude构造出668阶哈达玛矩阵，顺带清空了2000阶以下所有悬而未决的哈达玛矩阵阶数。
8月19日：AI构造五维反例，证否Yau-Tian-Donaldson（YTD）猜想的一般版本，论文挂上arXiv。
8月24日：本月的压轴——Alpöge发布一份108页证明稿，声称构造出六维球面S⁶上的可积复结构。这道题从1948年悬到今天，整整78年。
需要特别说明一句：这次被证否的，是一般流形上关于常数量曲率度量的YTD猜想，Fano流形上关于Kähler-Einstein度量的那个经典版本并没有被推翻。哔哩哔哩同期人类数学家也没闲着：乘积形式的霍普夫猜想被一位数学家靠纯人工构造证否，生成式AI在这个问题上毫无建树。哔哩哔哩这波AI攻势里，这是人类少有地守住的一城。
别把"AI解猜想"混为一谈，成色分三档
数学圈态度分裂，是因为这些成果根本不是一类东西。拆开看，大致三种：
第一类：找反例。雅可比猜想、YTD猜想、单位距离猜想都属于这类。目标明确——找到一个反例，验证也明确——代进去算就行。这正是AI的舒适区，它能不知疲倦地尝试人类懒得试的方向。Anthropic研究员Alpöge发布反例时只说了一句话：“大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题”。知乎这类成果扎实，但谈不上AI"理解"了问题。
第二类：推进数值。黎曼ζ零点比例41.6%→67.2%、清空哈达玛矩阵，都属于这类。这更像工程能力展示：大规模算力加智能体协作，证明AI能组织起"数学流水线"。668阶哈达玛矩阵这道题此前难倒了所有具备深度推理能力的大模型，也难倒了人类数学家整整30年，如今被EpochAI的FrontierMath基准测试暂时标记为"由AI解决"。知乎
第三类：构造性证明。S⁶复结构不一样：这个东西原本不存在于世界上，是被模型"造"出来的。108页的稿子里，构造用到的每一个矩阵、每一块坐标、每一处粘合方式都白纸黑字写了出来：先用三角群折叠上半面做出底座，往上面逐点挂载复2-环面纤维，再用Mumford环面退化和Kodaira对数变换填平三个"窟窿"，最后算基本群、上Hurewicz定理和Whitehead定理、套Smale广义庞加莱猜想，一步步确认造出来的流形就是S⁶。知乎值得注意的是，Alpöge本人是数论和算术几何出身，哈佛Society of Fellows初级研究员兼Anthropic博士后，复几何这片水他并不常趟——这次构造的质量，几乎全部押在了模型身上。
为什么半个圈子在喊"先验证"？这道题历史上就常翻车
六维球面复结构问题，在数学圈是出了名的"大师翻车场"。当代最伟大的数学家之一、菲尔兹奖得主Atiyah在2016年声称解决了它，但被指出论证存在漏洞。知乎再往前，Demailly曾在1998年声称证明了复结构不存在，论文后来被发现明显漏洞，2020年的修正版又犯了莫名其妙的错误。知乎
而就在8月4日，OpenAI那个Connes猜想的反例，刚被数学家当场推翻。知乎所以108页稿件发布没几天，知乎"如何看待LeventAlpoge发布的S^6的复结构构造的论文？"问题下一条296赞的回答，方向不是欢呼而是质疑：“二更，根据评论区的朋友给出的信息，这篇一百多页的论文大概率是Claude生成的，我怀疑作者自己都没check过”。知乎
Alpöge自己的口径也很克制：他只明确说，Opus 5把构造的每个细节写成了百页证明稿——现有材料既不能证明模型独立发现了构造，也没有专家核验结论。知乎支持的一方也有动作：数学家Qiaochu Yuan特意用另一款模型GPT-5.6 Sol挑刺，先盯了6分钟毫无破绽，不死心又审15分钟，依然挑不出毛病。纽约州立大学奥尔巴尼分校数学与统计学副教授Justin Curry直言，“如果证明为真，这绝对是最近最了不起的AI成就”。知乎支持与质疑并存，这才是前沿数学的常态：数学里只有经得起检查的验证，没有舆论热度。
想持续跟进？盯住这三个信号就行
对普通围观者，不必急着站队。这份108页的稿子最终站不站得住，三个信号比任何争吵都管用：
复几何专家有没有公开表态。对数变换、环面退化这些构造，只有真正做这个方向的学者说话才算第一手证据。
有没有人开始形式化验证。一旦有团队把证明往Lean这类形式化系统里搬，可信度直接上一个台阶。
作者是否持续回应质疑。真证明不怕逐页提问，沉默或删帖才是危险信号。
这三个信号没亮之前，我的判断是把它当作"大概率是重大突破，但仍在验证期"。这不贬低事件本身的价值——哪怕稿件最终要修订几轮，AI已经能产出百页级构造性证明稿这件事，本身就在改写数学研究的工作方式。知乎上一个由菲尔兹奖得主"人工智能可能会杀死数学"之言引发的讨论里，一条187赞的回答给出了清醒的判断：“我不相信AI会终结数学。因为我相信数学本身的难度”。知乎
顺带说给想自己上手"用AI玩数学"的人
看到这儿想亲手试试的，社区里有几条现成经验：
让AI找反例、帮你检查解题步骤、给一个结论挑毛病，是当前模型的强项；但模型说"证明完毕，显然由某某定理可得"的时候千万别全信，那恰恰是AI最容易出错的地方。
学习级用途，主流大模型高级会员的数学能力就够用，不必追最顶配。
想读这份108页原稿，知乎上已经有人在分享更易读的中文翻译版《六维球面上的可积复结构：从几何图景到完整证明》，可以先看看"AI写的数学论文"长什么样。知乎
现在知乎上还有一个471赞的问题：Tsimerman认为，不到两年，AI的数学能力就会彻底超越人类数学家。知乎过去78年，所有人追问的都是同一句："S⁶上到底有没有复结构？"而Alpöge宣布时说的第一句，更像是在宣布一个新生命的降生——欢迎这个漂亮的新几何对象来到这个世界。
下一个问题会是什么，现在没人答得上来——这正是它值得盯下去的原因。你觉得那三个验证信号里，哪个会最先亮起来？评论区聊聊。
