当AI证明了自己：80年悬而未决的数学猜想被机器终结
2026年6月，OpenAI的研究团队投下了一枚震撼数学界的”炸弹”——其内部AI模型独立发现了一个著名数学猜想的反例，推翻了匈牙利传奇数学家Paul Erdős在1946年提出的平面单位距离问题（Erdős问题90）的核心假设。这是AI首次自主解决一个悬而未决长达80年的开放性数学难题。加拿大数学家Daniel Litt称之为”第一个由AI自主产生、且数学家本身认为有意思的数学成果”。
这一突破的影响远远超出了数学本身。它标志着AI已经从”辅助计算工具”进化为”科学发现伙伴”，正在从根本上改变人类知识创造的方式。
Erdős猜想被终结的来龙去脉
Erdős在1946年提出的平面单位距离问题是一个看似简单但极度困难的问题：在平面上任意n个点之间，最多有多少对点之间的距离恰好为1个单位？Erdős猜测这个数大约是n^(1+c/log log n)，远小于n个点之间最多可能的n(n-1)/2对。这个猜想困扰了数学家整整80年。
OpenAI的AI模型（基于GPT-5系列）在接到研究提示后，自主探索了数千万条可能的数学路径，利用代数数论工具构造了一类全新的点阵模式。最终生成的证明显示，存在无限多个n值，其单位距离对数远超Erdős的猜测上界。Fields奖得主Timothy Gowers评价说，这一AI生成的证明”达到了相当复杂的数学思维水平”，而人类的介入仅限于初始提示。
OpenAI随论文公开了完整的提示词和模型的”思维链”过程，展现了AI如何一步步构建证明框架、提出假设、验证和修正。这一透明化的做法为AI辅助数学研究建立了新的标准。
AI正在改变数学研究的方式
OpenAI的这项突破并非孤立事件。就在同一周，Google DeepMind利用其推理模型解决了Erdős留下的另外9个未解决的小问题。MathArena等基准测试平台的数据显示，顶尖AI模型在数学竞赛题上的表现已经稳定超过95%的人类参赛者。
这种变化正在从多个维度重塑数学研究的范式：
- 大规模搜索与筛选：AI可以遍历人类数学家穷尽一生也无法完成的假设空间，快速找到可能的突破口。在Erdős猜想中，AI探索了数千万种数学结构组合，这是任何人类团队都无法完成的工作量。
- 跨领域联想：大语言模型拥有”百科全书式的数学知识”，可以在不同数学分支之间建立人类不易察觉的联系。OpenAI的AI解决方案中使用的代数数论工具，恰恰是经典数论和几何的结合。
- 无时间约束的持久探索：AI不受人类注意力和疲劳的限制，可以持续专注于一个问题，尝试那些”看似不太可能”的方向。Gowers指出，这恰恰是人类数学家最容易跳过但有时恰好是正确路径的方向。
AI数学能力的局限性
尽管2026年AI在数学领域取得了令人瞩目的成就，但它的能力边界同样清晰。斯坦福HAI《2026年AI指数报告》揭示了一个有趣的”锯齿形前沿”：AI可以在国际数学奥林匹克竞赛中获得金牌，但在读模拟时钟的正确率只有50.1%。
这种不均衡体现在数学研究上更为明显：AI擅长形式化证明、大规模搜索和已知方法的组合创新，但在提出全新数学概念、构建原创理论框架方面仍然力不从心。数学家们认为，AI在”数学品味”的培养——判断什么问题值得研究、什么方向更有前景——方面还有很长的路要走。
然而，即使存在这些局限，AI作为数学研究工具的价值已经毋庸置疑。越来越多的数学研究机构开始将AI纳入日常工作流程。一个由100多位数学家参与的”AI辅助数学研究联盟”于2026年3月成立，目标是在三年内利用AI解决10个重要的数学公开问题。
展望：人类与AI协作的科学发现新范式
OpenAI的突破预示着一种新的科学发现范式正在形成。在这个范式中，人类负责提出重大问题、设计研究框架和评估结果的意义，而AI负责在巨大的搜索空间中探索、生成候选方案和验证假设。这是一种真正的”人机协作”——AI的”广度”加上人类的”深度”，两者的结合能够达到任何一方单独无法企及的高度。正如一位数学家在评论中写道：”Erdős猜想的解决不是AI取代数学家的信号，而是数学家获得了一个前所未有的强大伙伴的标志。”