OpenAI 模型搞砸了？不，它真的证伪了埃尔德什的猜想
说实话，看到这篇新闻时，我第一反应是怀疑。
2026 年 5 月 20 日，OpenAI 的内部推理模型声称解决了困扰数学界近 80 年的“单位距离问题”。这可是保罗·埃尔德什（Paul Erdős）在 1946 年留下的未解之谜，属于离散几何里的硬骨头。
这次不一样：不是拼凑，是“原创”
以往 AI 在数学上的表现，大家总觉得是“作弊”——从训练数据里把现有的证明像拼乐高一样搭出来。但这次不一样，学术界好像真的信了。
- 它没抄作业：模型不是去文献里找答案，而是自己搞了一套基于数论的新构造法。它证明了平面上存在某种点的集合，单位距离对的数量比之前公认的上界还要多。简单说，就是直接推翻了埃尔德什的猜想。
- 数学家也认账：这证明后来被托马斯·布鲁姆、诺加·阿隆、蒂姆·高尔斯这些大佬们仔细审了一遍。最让我意外的是，蒂姆·高尔斯直接说：“如果这是人类写的，我会马上推荐发《数学年刊》。”
论文已经在 arXiv 上了（编号：arXiv:2605.20579v1），同行评审也过了。虽然看着像真事儿，但我还是忍不住想问：这到底是怎么做到的？
真的进化了吗？
这件事给人的感觉是，AI 的能力好像突然跳了一级。
- 能想长逻辑了：解决这问题得一步步推，几百步，环环相扣。模型得自己顺着逻辑走，不能靠背模板。
- 不只是计算器：以前大家觉得 AI 就是个高级计算器，能算数就行。现在看，它不仅能算，还能提出人类从来没想过的那种解题路径。
这玩意儿能用在哪儿？
虽然是个纯数学问题，但解出来的结果其实挺有用：
- 材料科学：比如设计晶体结构，能省事儿了。
- 通信工程：设计无线网络或者网络拓扑时，能少踩雷。
- 生物医学：模拟蛋白质怎么折叠，或者分析生物分子结构，也能用上。
别高兴太早
有人把这次突破比作 1976 年计算机辅助证明“四色定理”。那个证明当年也吵翻了天，后来大家才慢慢接受。
OpenAI 之前确实在数学上吹过头，被人骂过。但这次，严谨性和原创性摆在那儿，没法赖。
不过，我还是有点不安。
看着那些凌晨三点还在疯狂跑代码的智能体，想着它们到底是用什么“直觉”发现了这个构造法，我心里还是打鼓。这真的是数学的进步，还是我们低估了某种我们并不理解的东西？
现在，AI 在数学里的角色，确实变了。是变了，但我还在观察，看它到底能走多远。
