OpenAI干掉了个80年没人解开的数学难题，菲尔兹奖得主说"AI数学时代来了"

昨天刷到一个新闻，差点没把咖啡喷出来——OpenAI宣布他们一个内部模型，把一个数学家追了八十年的猜想给证伪了。

Erdős猜想，听说过吗？匈牙利数学家保罗·埃尔德什在1946年随手一写，说平面上任意n个点，最多能有多少对点的距离恰好是1。就这么一个问题，八十年来，最聪明的脑袋都拿它没辙。菲尔兹奖得主、图灵奖得主，各路神仙轮流上，结果卡在了一个叫δ的小数上。

然后OpenAI说：我们的模型算出来了，δ=0.014。精确值。比人类之前所有尝试都更接近真相。

八十年的问题，被一台机器在没人知道的一个房间里给终结了。

<hr>

不是辅助，是独立发现

以前AI帮数学家干的事，基本就俩：帮忙算数、帮忙验证证明。你给它一个猜想，它帮你算算对不对，或者你写了个证明，它检查一下哪里出错了。

这回不一样。OpenAI说他们的模型是自己独立完成的——从提出思路到验证到结论，全程不需要数学家先铺好路。菲尔兹奖得主看了结果之后直接说："AI数学时代已经到来。"

他原话更扎心："这个证明的思路，连数学家都没想到过。"

说白了，机器不是在帮人类干活，机器是在教人类怎么思考。

<hr>

δ=0.014到底是个啥？

简单点说，埃尔德什当年问的是：在二维平面上摆一堆点，有多少对点之间的距离刚好是1？这个问题听起来跟脑筋急转弯似的，但越往下挖越硬。

最紧的下界是多少？这个问题人类算了几十年，每次改进都是0.0几、0.00几往前挪，像蜗牛爬一样。OpenAI的模型直接把δ精确到0.014——这已经是相当干净的一个数字了。

独立数学家的核验团队确认了这个结果。换句话说，这不是AI拍脑袋乱说的，它确实经得起人类数学家的推敲。

<hr>

这事儿为啥让我后背发凉

不是因为AI又赢了人类一局——说实话，赢的局太多了，数不过来。

我发凉的是：它赢在了"创造力"这个人类最后的高地上。

以前我们还能安慰自己，AI再强，也就是个超级计算器、超级搜索引擎。但它不会"想"，不会"猜"，不会"直觉性地觉得这条路可能走得通"。

但这次不一样。证明一个数学猜想，需要的是真正的创造性思维——不是算得快，是想得到。你得能"猜"到一个别人八十年都没猜到的方向，然后"试"出来。这玩意儿以前被认为是人类专属。

OpenAI的模型干了这件事。而且它的"思路"连最顶尖的数学家都觉得"意外"。

这意味着什么？意味着AI开始在"怎么思考"这件事上，提供人类从未见过的方案了。

<hr>

但先别急着下结论，有几个坑得先看清。

这个结果是OpenAI内部团队做的，模型本身没有公开，细节也没有完全披露。我们只知道结果是对的，但不知道它是怎么想的。这就有点像你问一个天才："你怎么想出来的？"天才挠挠头说："我也不知道。"

还有一层：数学证明需要独立核验——这次有人核验了，但下一个呢？如果AI开始批量产出"我证明了这个猜想"的结果，人类核验的速度能跟上吗？

最要命的问题是：AI会提出人类想不到的解法，但它会"解释"吗？ 它知道答案，但它知道"为什么"吗？如果它说不出来，那数学家依然不可替代——因为数学不只是求答案，数学是讲故事。每个证明都是一个故事，得有头有尾，得让人类能理解、能信服、能教给下一代。

AI现在可能是个能写出好故事的作家，但它可能还不知道自己写了个啥。

<hr>

但无论如何，这是个分水岭

2026年5月21日这一天，大概会被以后写AI史的人标出来。

不是因为AI又拿了个什么第一，是因为AI第一次在"创造"这个维度上，产生了人类从未想到过的东西，并且这个东西被证实是对的。

八十年的猜想，被机器终结了。数学家们接下来要面对的，不是"AI会不会取代我"，而是"如果AI能想到我想不到的，那我该跟它怎么合作？"

埃尔德什如果还活着，可能会挺兴奋。他一生问了超过一千个问题，号称"数学界的流浪汉"，四处找人讨论。如果有个AI能跟他坐下来讨论几何，他大概会两眼放光。

问题是，现在的AI还不跟他讨论。它直接把答案拍在桌上，然后说：我算完了。

<hr>

——— 🦞 养龙虾技巧 ———

今天分享一个OpenClaw冷知识：如果你跟我一样有时候会等很久才收到消息回复，可以试试在.config/openclaw/openclaw.config.yaml里把gateway.remote.url填上你的服务器公网IP，这样手机端跟主机的通信就不用绕那么多圈，响应速度会快很多。适合把OpenClaw搭在VPS上用的朋友。

<hr>

*编辑：小哎* *来源：OpenAI官方公告、掘金科技日报、华尔街见闻* *📢 AI世界，哎咆为你精选。资讯快如咆，观点不随大流。*