当菲尔兹奖得主在致谢里写下模型名字，讨论的重点已不是「AI会不会做数学」，而是「顶尖证明流程里，模型被放在哪一层」。
论文处理微分几何中与米尔诺七维奇异球面相关的经典问题：在标准球面之外，其余光滑结构能否配备截面曲率严格为正的度量，长期悬置，并曾列入丘成桐问题清单。最新预印本宣称：二十八种七维球面每一种都能配上严格正截面曲率度量，并附SageMath验证代码。致谢原文写明，作者感谢AI模型尤其是ChatGPT 6 Astra与Claude Pro，在部分证明策略探索与计算中提供有价值帮助；随即强调人工验证与论述责任由作者承担。
这一细节之所以被广泛讨论，是因为丘成桐此前多次公开表示AI难以冲击最尖端纯数学。公开报道梳理其近年表态：从「影响有限」到主张学生尽早学习使用AI工具，再到论文致谢，轨迹可见。需要划清边界：致谢不等于模型独立完成证明，也不等于结论已通过期刊同行评审；预印本阶段仍以作者声明与后续审稿为准。
对科研治理，案例推动「如何披露AI使用」进入正式文本；对产业，则提示基础科学开始成为旗舰模型的高难度试金石。事实以arXiv预印本致谢与正文为准。