一小时攻克博士级数学难题，ChatGPT 5.5 Pro推动AI数理能力至新高度

发布时间：2026-05-09 17:06:32 | 责任编辑：吴昊 | 浏览量：22 次

近日，剑桥大学数学教授、菲尔兹奖得主 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 数学成果仓库，由人类数学家进行审核。这一变化可能对数学教育、研究生培养及学术评价体系产生深远影响。
划重点：
📊 AI 模型 ChatGPT 5.5 Pro 在一小时内成功破解博士级数学难题，展现出新的数学能力。
🔍 Gowers 教授指出，该 AI 不仅能识别简洁论证，还能在缺乏完整理论框架的情况下提出原创思路。
📜 学术界面临新挑战，需建立专门的 AI 数学成果审核机制，促进数学研究的发展。