剑桥大学数学教授、菲尔兹奖得主Timothy Gowers近日透露，其使用未公开的ChatGPT 5.5 Pro模型，在一小时内成功解决了一个组合数学领域的开放性问题。该问题涉及加性数论中的和集直径上界估计，AI在引导下从指数上界逐步优化至多项式上界，并完成了完整证明。经MIT本科生审阅，该证明被认为几乎正确且核心思想可靠。Gowers指出，该AI不仅能识别简洁论证，还能在缺乏完整理论框架时构建原创证明思路。此次突破引发了对AI生成数学成果的学术伦理讨论，学界建议建立专门的AI数学成果仓库与审核机制，以应对其对数学研究、教育及评价体系可能产生的深远影响。
