AI破数学难题，人类智慧面临新挑战

数学界迎来了一场前所未有的风暴，一座象征人类智慧的塔楼正在AI的浪潮中轰然倒塌。

一张关于总统耳语的Meme图，在美国学术界掀起了一场核爆级的讨论，仿佛预示着这场变革的来临。

Paul Erdos留下的第281号难题，被一个「门外汉」用AI暴力破解了，这一事件无疑引发了全球数学界的震动。

这场变革不仅让人类最严肃的智力高地沦为一张Meme图的注脚，更让旧世界的规则崩塌。

第一现场：GPT-5.2攻破的百年难题

这不仅是破解，更是「入侵」。

一个手持H100算力集群的「野蛮人」，一脚踹开了象牙塔的大门。

Neel Somani的履历表足以让传统数学家感到信仰崩塌：前Citadel量化研究员、前Eclipse创始人、现役AI与区块链交叉领域的探索者。

他来自Eclipse，混迹于加密货币与区块链的丛林。在他的世界里，算力即权力，共识即真理。

他带着硅谷的算力崇拜，横冲直撞地闯入了数学界——通过投资或协作的方式，推动了ErdosProblems.com平台，把Paul Erdős留下的的数学悬赏，变成了一场公开的「猎杀游戏」。

他的武器不是天才的大脑，而是GPT-5.2Pro。

Somani的逻辑简单粗暴：数学证明可以被形式化，本质上和比特币挖矿没有任何区别。

几天前，GPT-5.2成功攻克了Erdős Problem#281，这一胜利震惊了数学界。

Erdős Problem#281，源自1980年Erdős和Graham的工作，焦点是「覆盖系统」的极限行为。这题卡了46年，牵扯到遍历理论、profinite整数上的Haar测度等硬核工具。

Somani的GPT-5.2Pro用遍历理论+点态遍历定理+Dini定理给出了证明，陶哲轩评价这个思路与已知的Rogers/Davenport-Erdős证明相当不同。

数据库尸横遍野

Neel Somani赢了，但赢得非常难看。

登陆ErdosProblems.com，关掉「只显示成功」的滤镜，你会看到后台躺着成千上万具「尸体」。

根据数据库后台的真实统计，GPT-5.2 Pro对这类问题的一次性通过率只有可怜的1%到2%。这意味着，为了那个登上头条的完美证明，AI在后台进行了成百上千次的胡言乱语。

最后的防线：人类只负责「提问」，不再负责「解答」

那么，人类数学家要失业了吗？未必。但他们的工种将发生一次彻底的变异。

在Neel Somani开启的这个暴力版本里，数学研究不再是属于艺术家的吟唱，而变成了属于建筑师的图纸。

人类唯一剩下的特权是定义问题。你需要告诉AI去哪里挖、挖什么以及为什么值得挖。

这听起来像是升职了，从「矿工」变成了「包工头」。但实际上，我们可能正在失去对「为什么」的掌控。

当GPT-5.2扔给你一个长达几千行的Lean证明代码时，你可能根本读不懂中间发生了什么。这或许是陶哲轩所说的「小聪明」的代价。我们用算力换来了效率，却把理解这件事外包给了机器。

未来属于那些能够驾驭这些工具的人。但这场变革也让我们重新审视人类智慧与技术的关系——下一个被收割的可能不仅仅是数学难题，而是更广泛的领域和问题。