丘成桐参与的最新论文在致谢中感谢了ChatGPT 6 Astra和Claude Pro”在部分证明策略的探索和计算中提供的帮助”。这位曾于2023年断言”AI不可能对最尖端的数学家有任何影响”的数学家，正在用行动见证态度转变。
44年前亲列问题清单，今日AI辅助解决
这篇论文处理的是微分几何的经典猜想——七维空间28种”怪球”能否每个地方都均匀向内弯曲。丘成桐1982年将这一问题列入自己的问题清单，排第二位。70年来学界只做到”非负曲率”，从”非负”到”正”这最后一步卡了半个多世纪。论文最终宣称补上了这一步，28种球面均可配上截面曲率严格为正的度量。
证明核心：把怪球切成两半分别构造
论文采用”双圆盘模型”：每种七维球面可看作两个七维圆盘沿边界粘合而成，28种球面对应28种不同粘合方式。团队在十维空间（以三维球面为纤维的主丛）上构造度量，再通过黎曼淹没投影回七维——奥尼尔公式保证投影后曲率只增不减。十维空间中三维纤维”半径”取到极小时，其自身巨大曲率足以压住其他方向的负曲率贡献。
丘成桐三年态度演变：从”不会有任何影响”到致谢AI
2023年4月丘成桐在复旦大学表示AI不会影响尖端数学家；2024年4月中关村论坛上称”对数学有很多好处”；2025年1月称AI改变科研效率但不构成范式革命；2026年7月则主张学生应尽早学习使用AI工具。态度从排斥到接纳，折射出AI在数学界存在感的加速渗透。
相关阅读：何恺明团队NAT-ARC：看猫片学会ARC推理，0.6B参数逼近8B大模型
相关阅读：丘成桐论文致谢 ChatGPT 和 Claude：44 年前几何猜想获突破
延伸阅读
- 阶跃星辰发布 Step5Preview：单任务成本仅 Claude Opus5 的 1/8，10月开源2 周前
- 谷歌Gemini Skills全面免费：Gems 11月17日停用，斜杠指令接棒6 天前
- Anthropic 与 Accenture 合签 20 亿美元内置评估师协议1 天前
- Runway 发布 Solaris：把软件界面当视频实时生成，不用一行代码1 月前
AI 自学笔记 每天更新 AI 前沿动态，订阅 RSS，或按 Ctrl/⌘+D 收藏本站，明天见。