新智元报谈

[新智元导读]币圈玩家NeelSomani带着GPT-5.2暴力踹开了数学圣殿的大门。陶哲轩切身盖印证实，但这并非「AI成神」，而是一场生遵循仅1%的算力挖矿。当数学解说酿成工业活水线，咱们失去的不仅是天才，还有对真谛的终末少许敬畏。

总统先生，数学界的第四座塔倒了！

昨晚，这张总统耳语的Meme图，在好意思国粹术圈激励了核爆级的询查。

PaulErdos留住的第281号痛苦，被一个「外行人」用AI暴力破解了。

东谈主类最严肃的材干高地，沦为一张Meme图的注脚。旧世界的顺序，坍塌了。

第一现场：被GPT-5.2攻破的百年痛苦

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

一个手持H100算力集群的「焦炙东谈主」，一脚踹开了象牙塔的大门。

光看NeelSomani的资历表，就足以让传统数学家感到信仰坍塌：

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

2026年1月，他带着硅谷的算力贵重，横行不法地闯入了数学界——通过投资或配合的形貌，推进了ErdosProblems.com平台，把PaulErdős留住的的数学赏格，酿成了一场公开的「猎杀游戏」。

{jz:field.toptypename/}

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

Somani的逻辑苟简机诈：既然数学解说不错被形貌化，那它内容上和比特币挖矿莫得任何鉴识。

只须显卡够多，只须AI试错速率够快，我就能通过穷举撞开真谛的大门。

截至呢？他赌赢了。

就在几天前，动作这个收割月的重磅，GPT-5.2生效攻克了ErdősProblem#281。

ErdősProblem#281，源自1980年Erdős和Graham的责任，焦点是「阴私系统」的极限活动：

给定一个无尽递加的正整数序列n₁

这题卡了46年，攀扯到遍历表面、profinite整数上的Haar揣测等硬核器具。

Somani的GPT-5.2Pro用遍历表面+点态遍历定理+Dini定理给出了解说，陶哲轩评价这个想路与已知的Rogers/Davenport-Erdős解说特地不同。

X上的网友也将其誉为「第一台确凿达到博士级别的AI」。

这仍是是2026年1月第三个被GPT-5.2Pro击落的Erdős问题了。

从圣诞节到当今，ErdosProblems.com上已有15个问题从「open」转为「solved」，其中11个明确标注AI参与。

陶哲轩以至开了个wiki页面，故意纪录「AI对Erdős问题的孝敬」。

https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erdős-problems?referrer=grok.com

数学界从「会不会来」径直跳到「来得有多快、会涤荡若干」的慌张阶段。

Somani用行动告诉世界：不需身手路数学之好意思，只须电费管够、GPU跑满，就能收割数学界的「圣杯」。

然则，在这一派本心声中，若是你去翻看Somani公布的后台数据，就能发现这场「胜仗」的底色，其实是一派马革盛尸的荒漠。

数据库马革盛尸

NeelSomani赢了，但获取相当出丑。

登陆ErdosProblems.com，关掉「只知道生效」的滤镜，你会看到，后台躺着千千万万具「尸体」。

字据数据库后台的确凿统计，GPT-5.2Pro对这类问题的一次性通过率，唯独同情的1%到2%。

这意味着，为了阿谁登上面条的圆善解说，AI在后台进行了成百上千次的顺口开河。

它会合手造不存在的引理，堕入逻辑死轮回，以至把数学解说写成一首打油诗。

若是唯唯一个GPT-5.2，这堆垃圾早就把数学界归拢了。

是以，在这场游戏中，21点app确凿的MVP根底不是GPT，而是一个被环球忽略的冷情器具——「Aristotle」。

Aristotle其实是Harmonic公司设立的专用器具，它把GPT输出的天然讲话（不绝是瞎掰八谈）自动翻译并强制转念成Lean形貌讲话，然后交给Lean内核作念严格考据。

特地于给AI配了一个「无尽试错+零容忍bug」的自动编译+单位测试系统。

莫得它，GPT的1%到2%生遵循根底无法浮出水面。

当今的AI解题经过越来越表率化。GPT豪恣猜→Aristotle强制形貌化+杀垃圾→Lean考据通过→东谈主类再读。

一次，两次，一万次。直到阿谁概率极低的「幸存者」出现，Aristotle才会放行。

环球合计的「神迹」，其实是统计学势必。

陶哲轩在Mastodon上鞭辟入里。他拒却使用「Intelligence（智能）」，而是发明了一个新词：「ArtificialGeneralCleverness（东谈主工通用小灵巧）」。

珍重这个词：小灵巧。

就像是一个从来不听课、也没看懂教材的差生，靠着豪恣的舞弊和试错，硬生生蒙对了一都奥数题。

而这，恰是NeelSomani想要的。关于「挖矿」的东谈主来说，只须能挖出金子，谁在乎矿机懂不懂地质学？

终末的防地：东谈主类只慎重「发问」，不再慎重「解答」

那么，东谈主类数学家要恬逸了吗？

或然。但他们的工种，将发生一次绝对的变异。

在NeelSomani开启的这个暴力版块里，数学辩论不再是属于艺术家的歌咏，而酿成了属于建筑师的图纸。

当年，数学家需要切身下矿井，一镐一镐地去挖掘真谛。当今，GPT-5.2接过了镐头。

东谈主类唯一剩下的特权，亦然终末的防地，叫作念「界说问题」。

你需要告诉阿谁豪恣的AI矿工：去那里挖？挖什么？以及最进攻的——为什么值得挖？

这听起来像是升职了，从「矿工」酿成了「包领班」。但这背后藏着一个宏大的隐忧：咱们正在失去对「为什么」的掌控。

当GPT-5.2扔给你一个长达几千行的Lean解说代码时，Aristotle会告诉你「这是对的」，但你可能根底读不懂中间发生了什么。

名义上，东谈主类从「矿工」升职成了「包领班」。实验上，咱们正在丧失对「为什么」的解释权。

数学曾是东谈主类深切世界的讲话，追求的是极致的优雅和精真金不怕火。

而在AI的统治下，数学可能酿成一堆天然正确、但毫无好意思感的、前合后仰的「逻辑堆砌物」。

这粗略即是陶哲轩所说的「小灵巧」的代价。咱们用算力换来了截至，却把深切这件事，外包给了机器。

天然，陶哲轩也反复强调，这些被AI快速贬责的Erdős问题多属于「最低落的果实」——不错用表率器具、仅仅之前没东谈主挂牵去组合的那一类。

确凿最硬核的几十个（比如需要全新想想或新对象的）咫尺AI还远莫得波及。

但问题在于：一朝算力×模子不绝指数飞腾，昨天的「最硬核」可能即是未来的「最低落果实」。这不是收尾，而是加快。

那张500好意思元的支票，仍是被NeelSomani的算法实现了。

这笔钱很少，但代价不菲。它实现了天才的祛魅，分解了数学终末的圣洁感。

真谛不再是天主的耳语，它仅仅做事器里电扇狂转后，吐出的一排代码。

从此，决定真谛的不再是智商的上下，而是显卡的若干。

醒醒吧，大帆海时间收尾，工业立异运转了。

当年蒸汽机让肌肉贬值，电力让距离贬值，今天的GPU集群正在让「数学直观的稀缺性」贬值。

下一个被收割的，可能不是Erdős题，而是某个价值5000万好意思元的工业优化问题、或者卡了二十年的药物分子筹备关节引理。

数学的象牙塔倒了——就像那张总统耳语的Meme图，下一个可能是你的行业。