菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）教授近日在其博客上分享了一个惊人的实验结果：他使用尚未正式发布的 ChatGPT 5.5 Pro 在一小时内完整证明了一个组合数学领域的开放性问题。
这个被数学家梅尔·纳桑森（Mel Nathanson）提出的问题，涉及可加数论中集合直径上界的估计。在高尔斯教授的引导下，ChatGPT 5.5 Pro 通过多轮尝试，将初始的指数级上界逐步优化为多项式级上界，最终完成了全部证明。经 MIT 本科生艾萨克·拉贾戈帕尔审核后表示："该证明几乎肯定是正确的，核心思路可靠。"
值得注意的是，这并非简单的"检索已知答案"。高尔斯教授指出，在缺乏完整理论框架的情况下，ChatGPT 5.5 Pro 能够识别出人类数学家可能忽略的简洁论证路径，并构建出此前不存在的原创性证明思路。这一能力突破了此前所有 AI 模型只能复现已有证明的局限。
一、AI数学能力的边界突破
回顾 AI 在数学领域的发展历程，从最初的被质疑"只能找到已知答案或进行简单推导"，到如今能够独立完成原创性证明，ChatGPT 5.5 Pro 代表了质的飞跃。高尔斯教授的实验表明，该模型不仅能够处理有标准解法的问题，更能够探索开放性数学问题——这类问题此前被认为是人类数学家的专属领域。
更值得关注的是证明效率的提升。以往一个数学开放问题可能需要整个研究团队耗费数月甚至数年才能取得进展，而 ChatGPT 5.5 Pro 在一小时之内便完成了从问题理解到完整证明的全过程。这种效率提升意味着 AI 有望成为数学研究的核心辅助工具。
二、学术评价体系面临新挑战
然而，AI 的强势表现也带来了学术伦理层面的深层思考。高尔斯教授提出了一个关键问题：AI 生成的数学成果该如何处理？按照传统标准，这项工作已经达到可发表的质量，但如果将其提交给传统期刊，似乎并不合适。
高尔斯教授建议建立专门的 AI 数学成果评审机制，由人类数学家对 AI 生成的证明进行审核验收。这一提议可能对数学教育、研究生培养和学术评价体系产生深远影响。未来或许会出现专门收录 AI 数学成果的学术仓储，而"AI 辅助证明"将成为数学研究的新常态。
三、ChatGPT 5.5 Pro 的技术突破
从技术层面分析，ChatGPT 5.5 Pro 的数学能力突破源于三项核心技术：强化学习驱动的推理优化、形式化验证与自然语言的混合推理，以及超长上下文窗口。这三项技术共同作用，使模型能够在符号逻辑层面验证推理正确性，同时以人类可读的方式输出完整的论证过程。
目前 ChatGPT 5.5 Pro 已向 Plus 和 Pro 会员开放，Pro 会员每月约 200 美元。尽管价格不菲，但考虑到其在学术研究中的巨大潜力，对于数学研究者、高校教师和理工科研究生而言，这一投入或许物超所值。
