新智元报道
编辑：桃子
【新智元导读】菲尔兹奖得主Timothy Gowers验证GPT-5.5 Pro在两小时内独立完成博士级数学证明，全程未提供任何数学思路。AI将数论问题上界从指数级优化至多项式级，引发学术界震动。
菲尔兹奖得主Timothy Gowers近期通过博客发布关键实验：在未提供任何数学指导的前提下，GPT-5.5 Pro仅用17分钟解决加法数论中k重求和集大小问题，将Melvyn Nathanson提出的指数级上界（2k-1）优化为二次方级——已触及该问题的理论最优解。
核心突破：独立完成博士级研究
Gowers将问题输入AI后仅提供基础排版提示。GPT-5.5 Pro自主完成关键步骤：
- 针对h=2特殊情形，16分钟41秒内给出突破性构造
- 接受"改进至多项式级"的挑战后，9分12秒验证技术命题，31分40秒完成预印本论文
- 最终成果N(h,k) ≤ O(k10h³)，实现从指数级到多项式级的跨越
MIT博士生Isaac Rajagopal评价："该创新采用h²-耗散集控制关系，思路完全原创。若由人类提出，我会深感自豪——但GPT仅用1小时完成我需数周的工作量。"
范式变革：数学研究门槛重构
Gowers指出危机本质：过去供博士生练手的中等难度开放问题（如Erdős问题），正在被AI快速攻克。2026年以来，15个经典问题中11个由AI贡献解决方案，包括23岁无学位研究者用GPT-5.4 Pro在80分钟解决60年悬案的案例。
陶哲轩亲自验证的该证明，已扩展为新理论基础。此类事件揭示AI正替代数学研究的传统训练路径。
行业警示：AI驱动研究加速度
时间线印证指数级发展：
- 2023年：GPT-4无法处理多数本科数学题
- 2024年：o1达到数学竞赛金牌水平
- 2025年：o3展现前沿研究推理能力
- 2026年：GPT-5.5 Pro独立完成博士级证明
OpenAI研究员Sebastien Bubeck指出："AI已不仅是工具，而在特定领域成为原创研究者。" Gowers强调，问题筛选标准正在变化——未解问题必须"足够难到LLM无法解决"，否则将失去学术价值。