半泽直树

AI推翻87年数学难题？困扰数学界的雅可比猜想，可能被三行公式证伪了_我的网站

一 |     悬而未决 87 年的经典数学难题——雅可比猜想（Jacobian Conjecture），可能被一个只有三行公式的反例推翻了。         7 月 20 日，数学家、Anthropic 研究人员 Levent Alpöge 在社交平台 X 公布了一个三元多项式映射。它满足了雅可比猜想要求的前提条件，却违背了猜想的结论，因此构成了一个可能推翻整个猜想的反例。

二 |          更引人关注的是，Alpöge 在帖子中将这一反例归功于 Anthropic 最新发布的 AI 模型 Claude Fable 5。他还表示，是朋友 Akhil 首先向模型提出这一问题，而 Fable 5 则在他们观看世界杯决赛期间持续搜索，最终找到了这一反例构造。         （来源：X）          消息发布后，数学界迅速展开核验。斯坦福大学数学系助理教授 Jared Duker Lichtman 转发称这一结果“相当惊人”；MathOverflow 很快收录了相关讨论，不少研究者还利用 Wolfram Alpha、SymPy 等工具进行了独立计算。目前，最关键的两项验证：雅可比行列式是否恒为 −2，以及三个不同点是否确实映射到同一点，均已通过公开计算验证。         如果后续没有发现新的漏洞，这将意味着：1939 年提出的雅可比猜想在三维情形下不成立，并可进一步推出其在所有三维及以上维数下均不成立；而二维情形仍然保持开放。         被称为“民科坟场”的雅可比猜想          雅可比猜想由德国数学家奥特－海因里希·凯勒（Ott-Heinrich Keller）于 1939 年提出，讨论的是一个看似简单、却困扰数学界近九十年的问题：什么时候，一个多项式映射一定能够"倒推"回原来的函数？          图｜海因里希·凯勒（左）（来源：Wikipedia）          理解这个猜想，可以先想象一张橡胶膜。    播放          下一个          打开循环播放          00:00     /     00:00          倍速          3.0X     2.0X     1.5X     1.25X     1.0X     0.75X     0.5X          多音轨          AirPlay          0          静音播放中，点击 恢复音量          画中画          网页全屏          全屏          你可以 刷新 试试          视频信息     1.33.6          播放信息 上传日志 调试信息 [X]          视频ID     VID     -          播放流水     Flowid     -          播放内核     Kernel     -          显示器信息     Res     -          帧数     -          缓冲健康度     -          网络活动     net     -          视频分辨率     -          编码     Codec     -          mystery     mystery     -          按住画面移动小窗          2026年7月16日傍晚，德克萨斯州星舰基地。倒计时归零的瞬间，水冷火焰导流器喷出白雾，33台猛禽3号发动机开始按预定顺序点火。

三 | 如果局部看，每一小块都没有被撕裂或压扁，人们很自然会问：整张膜会不会在别的地方折叠起来，让两个不同的位置重合？          数学里的情况与此类似。SpaceX直播画面上的发动机状态图却突然亮起红灯——至少四台发动机始终没有点亮。

四 | 对于多变量多项式映射，如果它在每一个局部都满足一种“没有折叠”的条件，也就是雅可比行列式始终等于同一个非零常数。那么它是否一定在整体上也是一一对应的？它的逆映射又是否仍然是一个多项式？          这就是雅可比猜想。它的陈述只有短短几句话，却异常难以证明。自动中止系统立刻切断一切，推进剂开始卸载。不少数学研究者戏称它为“crank graveyard”——“民科坟场”。这是星舰开发以来第一次在T-0点火阶段触发的全自动中止，也是第三代构型助推器B20首次发射尝试时遭遇的重大异常。

五 | 许多人被它吸引，最终却陷入漫长而徒劳的推导之中。         ▲航天社区与NSF确认第三台B20问题猛禽前往麦格雷戈测试场          五天后的今天，至少三台原装于B20的猛禽已被确认运往麦格雷戈测试场。         著名华人数学家张益唐，就曾把整个博士阶段投入到这个问题。其中一台（SN137）被锁定为中环E12位置——四台未能点火发动机中的一员；另一台（SN152，TCA序列号110）位于外环E16；第三台（SN78）曾用在B19上，对应E13位置。航天社区与星舰追踪者正在逐帧回看那几秒钟的画面，试图弄清为何会出现「一侧约15台、另一侧仅6台」的极端不对称情况。1991 年，他在普渡大学完成博士论文《雅可比猜想与域扩张的次数》，导师莫宗坚是国际上研究雅可比猜想最重要的学者之一。张益唐的工作推进了这一研究方向，却并没有解决猜想本身。

六 |          ●T-0惊变：四台猛禽未启动，自动中止系统果断介入          7月16日，IFT-13原计划在当地时间17:45（北京时间17日6:45）窗口开启后发射升空。倒计时顺利推进至T-0，火焰导流器激活后，发动机点火序列启动。后来，他离开代数几何，转向解析数论，并最终因证明有界素数间隔而闻名世界；雅可比猜想，则依然留在开放问题名单中。         1998 年，菲尔兹奖得主 Stephen Smale 将其列入著名的《下一个世纪的数学问题》（Mathematical Problems for the Next Century）第 16 题，认为它的解决将对数学发展产生重要影响。         过去近 90 年里，一维情形早已证明成立，二维至今仍未解决，而三维及更高维也始终没有答案。由于这一猜想要求所有维数都成立，因此，只要在任意一个维数找到反例，整个猜想就会被推翻。

七 | SpaceX官方直播的发动机状态遥测图显示，33台猛禽中有四台始终未点亮。         三个点，击穿一个猜想          而此次，Alpöge 公布的是一个从三维复空间到三维复空间的多项式映射：          直接计算可知，这个映射的雅可比行列式恒等于 −2。由于 −2 是一个非零常数，因此它完全满足雅可比猜想的前提条件。         然而，当把三个不同的点          分别代入这一映射时，得到的结果却都是同一个点：          这足以构成反例。原因很简单：如果多个不同的输入对应同一个输出，那么映射就不是单射。自动飞行终止准则被触发，火箭被安全保持在发射台上。换句话说，当已知输出时，无法唯一确定原来的输入，因此它不可能拥有逆映射，更不可能拥有由多项式组成的逆映射。

八 |          马斯克随后在X上确认：「部分发动机未能启动，触发了自动发射中止。目前正在卸载推进剂。这与雅可比猜想的结论正面冲突。         这个反例还具有极强的可核查性。下次发射尝试希望在几天内进行。

九 | 」稍后他又补充，为确保可靠飞行，将更换两台猛禽，最可能的发射窗口为下周初。

十 | 许多重大数学成果往往需要专家花费数月甚至数年时间，逐页检查上百页证明；而这个结果的核心，仅涉及两项有限的代数计算：一是验证雅可比行列式恒等于非零常数，二是验证三个不同的点确实映射到了同一个点。         截至目前，这两项计算均已得到公开复核。         实际操作远超最初声明。研究者 Zihan Zhang 给出了独立的 SymPy 验证脚本，并指出，只需将其中一个输出坐标乘以 −1/2，就可以把雅可比行列式规范化为猜想中更常采用的常数 1，而这不会改变反例的本质。飞船40号（Ship 40）被解堆后返回巨湾2号，B20也随后返回巨湾1号。截至7月20日，NASASpaceflight与多位摄影师已在麦格雷戈确认至少三台原B20发动机的出现，表明拆除数量超过两台。这与「仅更换两台」的早期声明形成对比，暗示SpaceX正在进行更彻底的检查与数据收集。

十一 |          如果这一反例最终成立，它不仅推翻三维情形，也意味着所有更高维情形都不再成立。

十二 |          播放          下一个          打开循环播放          00:00     /     00:00          倍速          3.0X     2.0X     1.5X     1.25X     1.0X     0.75X     0.5X          多音轨          AirPlay          0          静音播放中，点击 恢复音量          画中画          网页全屏          全屏          你可以 刷新 试试          视频信息     1.33.6          播放信息 上传日志 调试信息 [X]          视频ID     VID     -          播放流水     Flowid     -          播放内核     Kernel     -          显示器信息     Res     -          帧数     -          缓冲健康度     -          网络活动     net     -          视频分辨率     -          编码     Codec     -          mystery     mystery     -          按住画面移动小窗          ▲值得注意的是，就在星舰T-0中止后的几天内，SpaceX猎鹰9号B1082-23也在7月20日T-0时刻遭遇自动取消，原计划从范登堡SLC-4E发射星链Group 17-39任务。这是自2024年6月以来猎鹰9号首次出现T-0中止。因为只需在三维反例后增加若干保持不变的坐标，就可以直接构造出任意更高维的反例。不过，二维雅可比猜想仍然是一个独立的开放问题          值得补充的是，Levent Alpöge 并不是从 AI 领域半路进入数学，而是一位长期从事数论与算术几何研究的职业数学家。

十三 | 两起事件时间接近，虽涉及不同型号与发动机，却让外界再次关注SpaceX当前在点火与冗余判断逻辑上的整体状态。         ●四台异常发动机锁定：谁进入了问题名单？          超重型助推器33台猛禽采用经典布局：中心3台（可万向摆动）、中环10台、外环20台。星舰追踪者（@Echo5550；@Ringwatchers）通过高分辨率照片与序列号交叉比对，已确认以下关键发动机：          ▲从@Echo5550发布的33台发动机布局图可见，高亮的E5、E6、E12、E13正好集中在中环的一侧，而E16位于外环相邻位置。

十四 | 近年来，他才加入 Anthropic，从事人工智能研究。

十五 | 这种空间聚类是理解异常的关键线索——并非随机四台失效，而是局部区域的系统性异常。         他本科毕业于哈佛大学，主修数学，并获得物理学硕士学位；随后在剑桥大学完成数学高级研究课程。2020 年，他在普林斯顿大学获得数学博士学位，导师是菲尔兹奖得主 Manjul Bhargava。         播放          下一个          打开循环播放          00:00     /     00:00          倍速          3.0X     2.0X     1.5X     1.25X     1.0X     0.75X     0.5X          多音轨          AirPlay          0          静音播放中，点击 恢复音量          画中画          网页全屏          全屏          你可以 刷新 试试          视频信息     1.33.6          播放信息 上传日志 调试信息 [X]          视频ID     VID     -          播放流水     Flowid     -          播放内核     Kernel     -          显示器信息     Res     -          帧数     -          缓冲健康度     -          网络活动     net     -          视频分辨率     -          编码     Codec     -          mystery     mystery     -          按住画面移动小窗          ▲@Echo5550绘制的B20发动机布局图（红色/条纹标记疑似未点火位置，黄色为相邻外环发动机）          ●点火序列失衡：为何一侧15台、另一侧仅6台？          超重型助推器的猛禽点火并非同时发生，而是按精心设计的顺序分批进行。33台发动机会先点亮一部分，建立起初始推力和稳定燃烧，再逐步加入其余发动机，最终达到全推力。         图｜Levent Alpöge（来源：Quanta Magazine）          大型语言模型兴起后，Alpöge 开始转向人工智能。他曾在个人主页写道，GPT-4 让他认为人工智能是“人类创造过的最有意思的东西”，因此重新回到计算机科学领域，希望增加这场变化产生积极结果的可能性。这样做的目的，是让推力平稳上升，减少对火箭结构的冲击，同时给飞行计算机留出时间实时监控。         根据目前公开的信息，这次发现的大致过程是：Akhil 提出问题，Alpöge 将其交给 Claude Fable 5 进行探索，模型最终给出了具体的反例构造；随后，Alpöge 公开了这一构造，数学界再通过人工推导以及 Wolfram Alpha、SymPy 等工具进行了独立验证。         IFT-12与IFT-13的点火顺序有明显不同。         这一过程与 AI 替数学家写出一份传统意义上的数学证明有所不同。对于否定一个猜想而言，并不需要解释所有可能情况，只需要找到一个满足前提、却违反结论的反例即可。IFT-13调整，正是为了解决前一次飞行中分离后助推器翻转方向出现偏差的问题。这样的任务天然适合计算探索：模型可以不断尝试构造候选映射、调整参数、检查雅可比条件，再寻找是否会出现不同点映射到同一点的情况。         如果这一反例最终得到确认，它带来的意义将十分重大。航天社区逐帧回放显示，在点火过程的某一瞬间，一侧已经有大约15台发动机点亮，而另一侧只有6台左右。因为它展示了一种此前极少出现的研究模式：不是 AI 帮助数学家验证已经存在的思路，而是AI参与寻找一个人类 87 年来始终没有找到的数学对象。

十六 |          这种极端不对称一旦出现在即将起飞的关键时刻，就会让推力方向瞬间偏离中心线，产生很大的侧向力和力矩。

十七 |          从 AlphaGeometry 解决竞赛题，到 GPT、Gemini 参与证明具体命题，再到这一次可能找到推翻经典猜想的反例，大模型参与数学研究的角色正在发生变化。助推器后体结构（尤其是推力裙和发动机安装点）会承受不对称的冲击和振动。

十八 | 如果继续点火，甚至可能引发更严重的结构损伤或发动机连锁失效。         自动中止系统正是基于「发动机数量」和「推力是否对称」两个标准触发的。虽然星舰设计允许部分发动机失效后继续飞行，但在完全加注、即将离地的时刻，推重比裕度本来就不大。

十九 | 四台发动机同时缺失且集中在一侧，已经超出安全边界，系统因此果断中止。它开始探索的，不再只是“答案”，而是过去只有数学家才会进入的未知搜索空间。         参考链接：          1.https://x.com/leventalpoge          2.https://mathoverflow.net/questions/513387/galois-structure-of-the-new-counterexample-to-the-jacobian-conjecture-an-explic          3.https://www.leventalpoge.com/          4.https://dataspace.princeton.edu/          5.https://www.ams.org/prizes-awards/ams-morgan-prize          运营/排版：何晨龙          注：封面由 AI 辅助生成。         ▲TCA SN 110特写（对应SN152 / E16位置发动机）          ●根因推演：局部系统故障，还是启动逻辑出了问题？          目前官方尚未公布正式根因。但从公开数据与物理约束出发，可以做一些有限但严谨的推演：          中环某区域的甲烷或液氧供应可能出现压力或流量不足，导致多台相邻发动机达不到点火条件；点火器或火花系统如果共享同一电源或控制通道，单点故障就可能让局部多台发动机一起失效；新调整的启动序列对时序和参数要求更严格，也可能把原本正常的发动机误判为未点火；不对称点火初期产生的冲击波通过后体金属结构传递，还可能干扰邻近发动机的喷注或涡轮启动。

|          值得注意的是，SN78此前已在B19上经历过测试与可能的飞行相关应力。如果它属于未能点火的那一组，那么「使用历史」本身就可能成为额外风险。这也解释了为什么SpaceX选择把它拆下来送往麦格雷戈做深度检查，而不是简单换一台新的。         中环发动机在推力、安装刚度和推进剂管路长度上处于中间状态。外环发动机管路更长、响应可能更慢；中心三台通常最后或按特殊时序点火。如果故障来自某一条主推进剂分支，中环正好是最容易同时受影响的区域。布局图中E5、E6、E12、E13集中分布，也支持「局部供应或控制通道出问题」的假设，而不是单台发动机随机失效。

|          ●麦格雷戈接棒：三台猛禽接受深度体检          SpaceX一贯的「测试-失败-学习-迭代」循环在此次事件中再次体现。拆除的发动机被用赛博皮卡（Cybertruck）牵引的拖车运往麦格雷戈，那里拥有完整的单机与集群测试能力。         麦格雷戈测试场是猛禽发动机的核心验证基地，配备了多座单机测试台，能够精确复现点火过程，测量喷注压力、涡轮转速、燃烧室温度和振动情况，并用高速摄像记录启动瞬间的细节。相比星舰基地发射台上有限的诊断窗口，麦格雷戈可以在可控环境下反复测试同一台发动机，更容易分清问题到底出在硬件、软件，还是短暂的流体现象上。

|          更重要的是，这些从B20上拆下来的发动机已经经历了完整的加注、预冷和真实T-0点火尝试，属于「飞过」的硬件。它们身上留下的瞬态数据和物理痕迹，是普通静态测试发动机提供不了的。通过对SN137、SN78和SN152的深度检查，团队不仅能找到本次异常的直接原因，还能为后续猛禽3号的可靠性改进积累关键经验。         星舰观察员@Ringwatchers的追踪图显示，IFT-13的飞船40号与B20发动机配置已部分更新。拆除与更换本身也是数据收集的一部分——每台被拆下的发动机都是「会说话的硬件」。         ▲@Ringwatchers IFT-13发动机配置图（部分位置已标注拆除或待确认）          ●一次中止背后的价值：它会拖慢星舰计划吗？          从星舰项目健康度来看，此次T-0中止属于可控的、高价值的失败。它暴露了第三代构型在完全加注、真实环境下的点火边界，且没有造成火箭损毁或人员风险。相比IFT-12中部分发动机在飞行中和着陆燃烧阶段出现的问题，这次在地面就被叫停，成本更低，数据也更干净。

|          对时间线的影响几乎是短期的。原计划的星链第三代（Starlink V3）部署与在轨点火演示只会被推迟几天。但对长期目标（快速可重复使用、高发射频率、火星架构）来说，每一次这样的异常事件都在加速催化猛禽3号的成熟。SpaceX发动机产量和麦格雷戈的测试能力，让「拆下三台、换上三台、重新验证」成为可行路径，而不是传统航天那种动辄停工数月的做法。         更深层的启示是，33台发动机一起工作时的集群动力学，远比单机复杂。

| 对称性、时序、结构与流体之间的耦合、控制冗余，都必须在真实点火瞬间得到验证。IFT-13点火异常，正是把这些耦合效应从理论推到了实验台和发射台。         ●未解问题与下一步          截至2026年7月21日，B20与飞船40号仍在处理中。下一步关键节点包括：麦格雷戈对拆下发动机的诊断结果；新装发动机后是否进行全33台或局部静态点火验证；启动序列软件是否进一步调整，以增强对局部故障的应对能力。         SpaceX在7月20日宣布，星舰第13次综合飞行测试（IFT-13）最早将于美国中部夏令时7月23日17:45开启，对应北京时间7月24日06:45，窗口持续约90分钟。         而未解的核心问题仍是，四台发动机未能点火的精确物理机制是什么？是单一原因引发的连锁反应，还是多个因素碰巧叠加？SpaceX的内部遥测和高速摄影无疑已经掌握答案。对外界而言，只能通过发动机回流路径、布局聚类和序列不对称这些公开碎片，尽量拼出接近真相的图景。         无论最终根因如何，此次事件再次证明：在追求极致可重复使用与高发射频率的道路上，星舰团队正在用真实硬件、真实点火、真实中止，换取对复杂系统更深认知。这或许比一次完美升空，对长期成功更有价值。         部分信息索引：X@AeroBigMike@Echo5550@Ringwatchers@ElonMusk@SpaceX          STARSHIP'S THIRTEENTH FLIGHT TEST(https://www.spacex.com/launches/starship-flight-13)          Flight 13 Launch Date（https://www.reddit.com/r/SpaceXStarship/comments/1txotav/flight_13_launch_date/）          "1st confirmed swap from B20 seen at McGregor Outer engine RsN152 (tca110) was in E16. 1st pic via @StarshipGazer"（https://old.reddit.com/r/SpaceXLounge/comments/1v1nnp3/1st_confirmed_swap_from_b20_seen_at_mcgregor/）          T-0 Abort. SpaceX Falcon 9 B1082-23 scrubs the launch of Starlink Group 17-39 from SLC-4E, Vandenberg.（https://x.com/nasaspaceflight/status/2079217355876389287?s=46&t=u9hd-jMa-pv47GCVD-xH-g）          星舰第13飞T-0点火中止：至少4台猛禽异常触发自动发射中止          IFT-13重启发射倒计时：7月23日17:45。

Current article:http://f8b.bianneixuanbingqinyouxie.buzz/list_w5d50bl/i1of2e.html

Published on:15:29:17