AI终于能解数学难题了，代价只要一台笔记本的钱

OpenAI昨天扔了一颗深水炸弹。

不是降价，不是用户破10亿。是数学。

他们内部的新模型Astra，解出了十个此前人类数学家都没搞定的开放问题。其中一道题跟著名数学家厄多斯有关，困扰学界几十年。菲尔兹奖得主Gowers看过证明后说：我会毫不犹豫推荐这篇论文发在数学顶刊 Annals of Mathematics。

更扎心的是成本。十道题，一共花了2000美元的计算资源。一台好笔记本的钱。

过去我们说AI强，指的是它背得多、抄得像、答得快。但那不是创造。数学不一样——数学是人类智力最后的堡垒。它容不得半点模糊和糊弄，对就是对，错就是错。没有任何训练数据能帮你蒙混过关。但现在这道墙被凿开了一个口子。

当然，别急着喊AGI。这些题目恰好落在AI擅长的搜索和推理组合区，不代表它能搞定所有数学。但信号已经足够清晰：AI正在从”工具”变成”研究者”。从”帮你写邮件”变成”发现你发现不了的东西”。这比任何跑分、比任何降价都让人睡不着觉。因为这意味着，人类在智力劳动链条上的位置，又往后退了一步。好在我们还能做一件事：把Astra的证明看懂，然后继续追问它答不上来的问题。那才是人类该去的地方。