新闻动态
联系我们
咨询热线：0898-88889999
手机：13988889999时间：2025-06-27 20:35:11 点击量：386
新智元报道
编辑：倾倾
【新智元导读】币圈玩家Neel Somani带着GPT-5.2暴力踹开了数学圣殿的大门。陶哲轩亲自盖章确认，但这并非「AI成神」，而是一场成功率仅1%的算力挖矿。当数学证明变成工业流水线，我们失去的不仅是天才，还有对真理的最后一点敬畏。
总统先生，数学界的第四座塔倒了！
昨晚，这张总统耳语的Meme图，在美国学术圈引发了核爆级的讨论。
Paul Erdos留下的第281号难题，被一个「门外汉」用AI暴力破解了。
人类最严肃的智力高地，沦为一张Meme图的注脚。旧世界的规则，崩塌了。
第一现场：被GPT-5.2攻破的百年难题
这不仅是破解，更是「入侵」。
一个手持H100算力集群的「野蛮人」，一脚踹开了象牙塔的大门。
光看Neel Somani的履历表，就足以让传统数学家感到信仰崩塌：
前Citadel量化研究员（以高频交易著称的华尔街巨头）；
前Eclipse创始人（Solana生态的高性能区块链项目）；
现役AI与区块链交叉领域的探索者。
前Citadel量化研究员（以高频交易著称的华尔街巨头）；
前Eclipse创始人（Solana生态的高性能区块链项目）；
现役AI与区块链交叉领域的探索者。
他来自Eclipse，混迹于加密货币与区块链的丛林。在他的世界里，算力即权力，共识即真理。
2026年1月，他带着硅谷的算力崇拜，横冲直撞地闯入了数学界——通过投资或协作的方式，推动了ErdosProblems***平台，把Paul Erdős留下的的数学悬赏，变成了一场公开的「猎杀游戏」。
他的武器不是天才的大脑，而是GPT-5.2Pro。
Somani的逻辑简单粗暴：既然数学证明可以被形式化，那它本质上和比特币挖矿没有任何区别。
只要显卡够多，只要AI试错速度够快，我就能通过穷举撞开真理的大门。
结果呢？他赌赢了。
给定一个无限递增的正整数序列n₁
这题卡了46年，牵扯到遍历理论、profinite整数上的Haar测度等硬核工具。
Somani的GPT-5.2Pro用遍历理论+点态遍历定理+Dini定理给出了证明，陶哲轩评价这个思路与已知的Rogers/D***enport-Erdős证明相当不同。
X上的网友也将其誉为「第一台真正达到博士级别的AI」。
这已经是2026年1月第三个被GPT-5.2Pro击落的Erdős问题了。
从圣诞节到现在，ErdosProblems***上已有15个问题从「open」转为「solved」，其中11个明确标注AI参与。
陶哲轩甚至开了个wiki页面，专门记录「AI对Erdős问题的贡献」。
***s://github***/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems?referrer=grok***
数学界从「会不会来」直接跳到「来得有多快、会扫荡多少」的恐慌阶段。
Somani用行动告诉世界：不需要理解数学之美，只要电费管够、GPU跑满，就能收割数学界的「圣杯」。
但是，在这一片欢呼声中，如果你去翻看Somani公布的后台数据，就能发现这场「胜利」的底色，其实是一片尸横遍野的荒原。
数据库尸横遍野
Neel Somani赢了，但赢得非常难看。
登陆ErdosProblems***，关掉「只显示成功」的滤镜，你会看到，后台躺着成千上万具「尸体」。
根据数据库后台的真实统计，GPT-5.2 Pro对这类问题的一次性通过率，只有可怜的1%到2%。
这意味着，为了那个登上头条的完美证明，AI在后台进行了成百上千次的胡言乱语。
它会捏造不存在的引理，陷入逻辑死循环，甚至把数学证明写成一首打油诗。
如果只有一个GPT-5.2，这堆垃圾早就把数学界淹没了。
所以，在这场游戏中，真正的MVP根本不是GPT，而是一个被大众忽略的冷酷工具——「Aristotle」。
Aristotle其实是Harmonic公司开发的专用工具，它把GPT输出的自然语言（经常是胡说八道）自动翻译并强制转换成Lean形式语言，然后交给Lean内核做严格验证。
相当于给AI配了一个「无限试错+零容忍bug」的自动编译+单元测试系统。
没有它，GPT的1%到2%成功率根本无法浮出水面。
现在的AI解题流程越来越标准化。GPT疯狂猜→Aristotle强制形式化+杀垃圾→Lean验证通过→人类再读。
一次，两次，一万次。直到那个概率极低的「幸存者」出现，Aristotle才会放行。
大众以为的「神迹」，其实是统计学必然。
陶哲轩在Mastodon上一针见血。他拒绝使用「Intelligence（智能）」，而是发明了一个新词：「Artificial General Cleverness（人工通用小聪明）」。
注意这个词：小聪明。
就像是一个从来不听课、也没看懂课本的差生，靠着疯狂的***和试错，硬生生蒙对了一道奥数题。
而这，正是NeelSomani想要的。对于「挖矿」的人来说，只要能挖出金子，谁在乎矿机懂不懂地质学？
最后的防线：人类只负责「提问」，不再负责「解答」
那么，人类数学家要失业了吗？
未必。但他们的工种，将发生一次彻底的变异。
在Neel Somani开启的这个暴力版本里，数学研究不再是属于艺术家的吟唱，而变成了属于建筑师的图纸。
以前，数学家需要亲自下矿井，一镐一镐地去挖掘真理。现在，GPT-5.2接过了镐头。
人类唯一剩下的特权，也是最后的防线，叫做「定义问题」。
你需要告诉那个疯狂的AI矿工：去哪里挖？挖什么？以及最重要的——为什么值得挖？
这听起来像是升职了，从「矿工」变成了「包工头」。但这背后藏着一个巨大的隐忧：我们正在失去对「为什么」的掌控。
当GPT-5.2扔给你一个长达几千行的Lean证明代码时，Aristotle会告诉你「这是对的」，但你可能根本读不懂中间发生了什么。
表面上，人类从「矿工」升职成了「包工头」。实际上，我们正在丧失对「为什么」的解释权。
数学曾是人类理解宇宙的语言，追求的是极致的优雅和简洁。
而在AI的统治下，数学可能变成一堆虽然正确、但毫无美感的、乱七八糟的「逻辑堆砌物」。
这或许就是陶哲轩所说的「小聪明」的代价。我们用算力换来了效率，却把理解这件事，外包给了机器。
当然，陶哲轩也反复强调，这些被AI快速解决的Erdős问题多属于「最低垂的果实」——可以用标准工具、只是之前没人费心去组合的那一类。
真正最硬核的几十个（比如需要全新思想或新对象的）目前AI还远没有触及。
但问题在于：一旦算力×模型继续指数上升，昨天的「最硬核」可能就是明天的「最低垂果实」。这不是结束，而是加速。
那张500美元的支票，已经被Neel Somani的算法兑现了。
这笔钱很少，但代价昂贵。它兑现了天才的祛魅，瓦解了数学最后的神圣感。
真理不再是上帝的耳语，它只是服务器里风扇狂转后，吐出的一行代码。
从此，决定真理的不再是智商的高低，而是显卡的多少。
醒醒吧，大航海时代结束，工业革命开始了。
当年蒸汽机让肌肉贬值，电力让距离贬值，今天的GPU集群正在让「数学直觉的稀缺性」贬值。
下一个被收割的，可能不是Erdős题，而是某个价值5000万美元的工业优化问题、或者卡了二十年的药物分子设计关键引理。
数学的象牙塔倒了——就像那张总统耳语的Meme图，下一个可能是你的行业。
参考资料：
***s://the-decoder***/gpt-5-2-pro-solves-another-erdos-problem-while-a-new-database-reveals-most-attempts-still-fail/
***s://***.erdosproblems***/forum/thread/281
秒追ASI返回搜狐，查看更多
