GPT 5.5 Pro 解出博士级数学难题——菲尔兹奖得主震惊

OpenAI 最新内部版本 GPT 5.5 Pro 做出了一件震动整个数学学术界的事：它在不到一小时内解决了一道博士级别的加性数论难题——没有任何人类提示、脚手架或中间引导。

这次评估的主持者不是别人，正是菲尔兹奖得主、全球最受尊敬的数学家之一蒂莫西·高尔斯爵士。他的评价是？该模型展现了他所称的”原创证明能力”——即从零开始构建全新数学论证的能力。

发生了什么

高尔斯向模型提出了一个加性数论中的开放性问题——加性数论是研究整数加法性质的一个子领域。这个问题一直难以用常规方法解决，需要的是创造性洞察力，而非蛮力计算。

在 60 分钟内，GPT 5.5 Pro 就给出了一个完整、逻辑自洽的证明。高尔斯称其推理链条”异常优雅”——这种证明通常是一位有才华的研究生花费数周才能做出的成果。

“这不是在训练数据上进行模式匹配。这是真正的数学创造力。“——一位匿名评审

为什么这件事如此重要

这一突破有三个直接含义：

1. 数学研究即将大幅提速。 如果前沿模型能够自主证明新定理，瓶颈就会从”找到证明”转向”问对问题”。

2. 数学教育面临存在性拷问。 当一台机器在推理能力上超越博士生时，我们该教什么？正在形成的共识是：数学直觉和问题表述能力比计算能力更有价值。

3. “理解”的定义正在遭受冲击。 模型是真的理解了数学，还是在进行超复杂的模式补全？高尔斯本人也承认，这条界线正在变得模糊。

更宏大的图景

GPT 5.5 Pro 的数学表现只是大趋势中的一环。前沿模型正在推理基准测试中一个接一个地跨越门槛。其影响远不止于数学领域——从自动化科学发现到 AI 辅助工程设计，都将被波及。

日益清晰的一点是，“工具”与”同事”之间的界限，每个月都在变薄。

推荐阅读： GPT 5.5 Instant Edition：开发者需要知道的事 · 自适应并行推理：当大语言模型同时处理多项任务