菲尔兹奖得主、剑桥大学数学教授 Timothy Gowers 近期分享了一项突破性进展：一款尚未公开的 AI 模型 ChatGPT 5.5 Pro 在短短一小时内独立解决了组合数学领域的一项长期存在的开放性问题。这项成就标志着人工智能在高级数学研究中的能力迈上了新台阶，并引发了学界对其潜力的广泛讨论。
Gowers 教授在描述 ChatGPT 5.5 Pro 的研究过程时，着重强调了其与早期 AI 模型截然不同的表现。他指出，以往的 AI 在数学领域的应用多局限于检索已知信息或进行简单的逻辑推导，而 ChatGPT 5.5 Pro 则展现出更为深刻的原创性。该模型能够识别出人类数学家可能忽视的简洁论证路径，并在缺乏成熟理论支撑的条件下，自主构建出具有原创性的证明思路。
具体而言，此次攻克的难题源自数学家 Mel Nathanson 提出的关于加性数论中和集直径上界估计的问题。在 Gowers 教授的引导下，ChatGPT 5.5 Pro 经过多轮迭代尝试，成功将最初的指数上界改进至多项式上界，并最终在一个小时内完成了一整套严谨的证明。该证明的可靠性已得到 MIT 本科生 Isaac Rajagopal 的初步审阅，他认为其核心论证逻辑基本无误。
这项 AI 在数学研究中的卓越表现，也随之带来了一系列关于学术伦理和未来研究模式的深刻思考。Gowers 教授提出，鉴于 ChatGPT 5.5 Pro 的工作已达到学术发表的标准，但其成果的来源和性质与传统科研论文存在差异，因此，他建议未来可以建立专门的 AI 数学成果存储库，由人类数学家进行独立的评审和验证。这一设想若能实现，将可能对数学教育、研究生培养机制以及传统的学术评价体系产生深远的影响。
ChatGPT 5.5 Pro 的此次突破，预示着 AI 在数学研究中将扮演更积极的角色。其强大的信息处理能力和原创性思维，能够为复杂的数学难题提供新的解决方案，尤其适合辅助研究人员进行探索性研究、验证猜想以及发现新的数学模式。然而，鉴于其高度的自主性，使用者在依赖 AI 结果时，仍需具备扎实的数学基础，并对 AI 生成的内容进行批判性审视和验证，以确保学术的严谨性。