近日，剑桥大学数学教授、菲尔兹奖得主 Timothy Gowers 在其博客中分享了他使用尚未公开的 ChatGPT 5.5 Pro 进行数学研究的经历。这款 AI 模型在短短一小时内成功解决了一个组合数学领域的开放性问题，引发了学术界对 AI 数学能力的新一轮关注。
Gowers 教授指出，随着 AI 技术的发展，大语言模型在数学领域的应用经历了显著的变化。早期人们对其能力存在疑虑，认为它只能寻找已知答案或简单推导结果。然而，Gowers 的实验显示，ChatGPT 5.5 Pro 具备了更为独特的能力，能够识别人类数学家可能忽略的简洁论证，并在缺乏完整理论框架的情况下构建原创性的证明思路。
此次研究的对象是来自数学家 Mel Nathanson 的一项问题，该问题涉及加性数论中的和集直径上界的估计。Gowers 在引导下，ChatGPT 5.5 Pro 经过多次尝试，从最初的指数上界逐步改进到多项式上界，最终在一个小时内完成了完整的证明。MIT 本科生 Isaac Rajagopal 在审阅后表示，该证明几乎肯定是正确的，且在核心思想上同样可靠。
Gowers 还提出了一个重要的学术伦理问题，即如何处理这些 AI 生成的数学成果。尽管 ChatGPT 的工作已达到了发表标准，但其投稿至传统期刊似乎并不适合，因而建议建立专门的 AI 数学成果仓库，由人类数学家进行审核。这一变化可能对数学教育、研究生培养及学术评价体系产生深远影响。
划重点：
