菲尔兹奖得主、剑桥大学数学教授Timothy Gowers近日发布博客文章，详细记录了他使用ChatGPT 5.5 Pro进行数学研究的亲身经历。这款尚未公开发布的AI模型仅用约一小时便完成了多项博士级别的原创数学研究，成功解决了一个组合数学领域的开放性问题，引发学术界对AI数学能力的重新评估。
Gowers教授在文章中指出，大语言模型在数学领域的应用经历了明显的演进过程。早期，LLM解决数学问题的方式往往被质疑为"只是从文献中找到现成答案"或"简单推导已知结果"。但随着技术迭代，这种质疑声音正在逐渐减弱。
"数学家们不断上调对LLM数学能力的评估，"Gowers写道，"我这次经历让我做出了相当大的修正。"
此次测试的ChatGPT 5.5 Pro展现了与以往不同的能力特征：它不仅能够识别被人类数学家忽略的简洁论证，还能在缺乏完整理论框架的情况下，构建出具有原创性的证明思路。Gowers特别强调，在整个过程中他几乎没有提供任何实质性的数学输入，甚至连提示词设计都未做特别优化。
Gowers选择测试的问题来自数学家Mel Nathanson近期发表的论文《Diversity, Equity and Inclusion for Problems in Additive Number Theory》。该论文探讨了加性数论中的若干开放性问题，涉及和集（sumset）直径上界的估计。
| A | =k和 | hA |
|---|
MIT本科生Isaac Rajagopal此前已证明，对于固定的h，该直径关于k呈指数级增长。而ChatGPT 5.5 Pro在Gowers的引导下，逐步改进了这一结果：
首次尝试中，模型耗时16分41秒，将上界从关于k的指数改进为关于k^α的指数（其中α>1/2）。随后，在Gowers要求下，模型继续探索多项式上界的可能性。经过13分33秒的思考，模型表示对存在多项式界持乐观态度，并识别出需要验证的几个技术性命题。在9分12秒的自我验证后，模型最终完成了完整的证明，总用时约一小时。
Rajagopal审阅了ChatGPT生成的预印本后表示，该证明"几乎肯定是正确的"，并特别指出这不仅是逐行验证层面的正确，更体现在核心思想层面的可靠性。
Rajagopal在Gowers博客中撰写了客座评论，详细解析了ChatGPT贡献的关键思想。他坦言，ChatGPT提出的改进多项式界的想法"既原创又巧妙"，"是那种我自己花一两周时间思考后会感到非常自豪的想法，而ChatGPT用了不到一小时就找到并证明了它。"
Rajagopal解释，问题的核心在于构造具有给定和集大小的集合。当h增大时，构造的复杂度必然增加，因为多项式的次数随h增长，需要更多参数来定义集合。ChatGPT的关键突破在于采用了一种巧妙的参数化方法，将指数界压缩为多项式界。
Gowers在文章末尾提出了一个深刻的学术伦理问题：这类AI生成的数学成果应当如何处理？
按照传统标准，ChatGPT完成的这项工作完全达到发表水平，不应被视为"AI垃圾"。但将其投稿至传统期刊似乎毫无意义——这些成果可以自由获取，且不存在"署名权"争议（Rajagopal作为理论框架的奠基人理应获得充分认可）。
更棘手的是arXiv的政策障碍。目前arXiv明确拒绝接受AI撰写的内容，这在Gowers看来是合理规定，但也造成了实际困境。他建议可能需要建立专门的AI数学成果仓库，由人类数学家审核正确性，或经形式化验证工具确认后收录。
Gowers的实验揭示了AI对数学研究范式的潜在冲击。传统上，组合数学等领域的新参数研究会产生大量自然衍生的问题，这些问题往往成为研究生入门研究的理想素材——难度适中，解决后能获得显著成就感。但随着AI能力的提升，"入门级别"开放问题的门槛正在迅速抬高。
"过去，只要有人提出一个问题，就足以让它成为有价值的研究课题，"Gowers反思道，"现在看来，这个标准已经不够了：问题必须足够困难，以至于LLM无法解决。"
这一变化对数学教育、研究生培养以及学术评价体系都可能产生连锁反应。当AI能够在一小时内完成传统需要数周甚至数月才能攻克的博士级研究，人类数学家的角色定位、研究方法乃至职业发展路径都将面临重新定义。
ChatGPT 5.5 Pro的具体技术细节和公开发布时间尚未公布，但Gowers的实验无疑为AI在纯数学研究领域的应用前景提供了强有力的实证支持。
参考来源：
微信关注我们
转载内容版权归作者及来源网站所有！
低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。
为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。
Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。
Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。
WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。
扫码在手机上查看文章
扫描二维码，手机阅读更方便
有任何问题或合作意向欢迎联系我们
Email: 99873273@qq.com
QQ: 99873273