剑桥大学数学教授、菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）近日通过个人博客披露了一项突破性实验：一款尚未正式发布的AI数学模型——ChatGPT 5.5 Pro，在组合数学领域完成了一项曾被视为博士级难度的开放性问题研究。该模型仅用一小时便构建出完整证明，其表现引发学界对人工智能数学研究潜力的重新审视。
实验聚焦于数学家梅尔·纳撒尼尔森（Mel Nathanson）提出的加性数论问题，核心挑战在于估算和集直径的上界。高尔斯教授团队通过逐步引导，使AI从最初提出指数级上界，逐步优化至多项式级上界，最终形成符合数学严谨性的证明方案。麻省理工学院本科生艾萨克·拉贾戈帕尔（Isaac Rajagopal）在独立验证后确认，该证明在逻辑结构与核心思想层面均达到专业水准。
高尔斯特别指出，此次突破不仅在于问题难度，更在于AI展现的独特认知模式。与传统数学工具不同，该模型能够识别人类研究者可能忽视的简洁论证路径，甚至在缺乏完整理论框架时，通过概率性探索生成原创性证明思路。这种能力与早期仅能复现已知结论的数学AI形成鲜明对比，标志着大语言模型在抽象推理领域的实质性进展。
实验结果同时引发学术伦理讨论。高尔斯认为，尽管AI成果已满足发表标准，但直接投稿传统期刊可能引发归属权争议。他建议建立专门的AI数学成果存储库，由人类数学家组成评审委员会进行质量把控。这种机制既能保障学术严谨性，又能避免现有评价体系因AI介入产生的系统性偏差。
此次突破被视为数学研究范式转变的信号。随着AI在定理证明、猜想验证等环节展现潜力，学术界开始重新思考研究生培养模式——未来数学家可能需要掌握与智能系统协作的新技能。有学者指出，这种变革或将加速数学分支的融合，推动解决更多长期悬而未决的难题。
