丘成桐参与的最新论文在致谢中感谢了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大模型
延伸阅读
- arXiv最严新规：每人每月最多提交2篇，被拒稿也不退额度14 小时前
- 丘成桐论文致谢ChatGPT和Claude：44年前几何猜想获突破，态度三年反转13 小时前
- Anthropic砸1亿美元推Claude Frontier Academy：2027年底培养1万名企业AI部署工程师4 小时前
- openJiuwen X-Router：成本降44.6%质量不损，模型路由自演进14 小时前
AI 自学笔记 每天更新 AI 前沿动态，订阅 RSS，或按 Ctrl/⌘+D 收藏本站，明天见。