新智元报说念

原来，首位华东说念主菲尔茨奖取得者、清华大学说明注解丘成桐亦然新智元读者！

昨日，咱们报说念了费马大定理的讲明被 Claude 初度时势化，其中的要道是清华姚班学友彭天翼基于 Claude 的 Prove2Me 系统。

出乎咱们意象的是，咱们防卫到了收集崇高传的一张有关截图：

丘成桐先生赏格 10 万元，搜集对佩雷尔曼的庞加莱臆测讲明的时势化考据！

庞加莱臆测是拓扑学中一个对于三维空间形状的著明数学定理，指出若是在一个顽固的三维空间里，每条顽固的弧线都能削弱成极少，这个空间就一定是一个三维的圆球。2006 年，数学界多数认同了佩雷尔曼完成了庞加莱臆测的讲明。

当今咱们尚未透顶说明截图真确性（据说按轨则截图一律不许别传），但 AI 既然能完成费马大定理时势化讲明，那 AI 也极有可能时势化庞加莱臆测的讲明。

着实同期，另一说念赏格 100 万好意思元的千禧年贫寒纳维-斯托克斯（Navier-Stokes）方程，据传已被 Anthropic 的 Claude 处理，讲明正送大家评审。

这个贫寒标的亦然韦神（韦东奕）主攻的，仅有关的阶段性闭幕就使他荣获国度当然科学奖二等奖。

若传闻属实，Claude 尚未发布的里面旗舰模子的数学推理才调将远超包括 GPT-6 Astra 在内的统统公开模子。

陶哲轩对此回话称，固然当今无法说明传闻真伪，但他严谨地说 AI 攻克此类贫寒「并非都备不可能」。

但他立地用数千字推演了一个问题：若是 AI 真是以黑箱款式处理了这类贫寒，数学会怎么。

论断出乎好多东说念主的预感：可能弊大于利。

Navier-Stokes 方程撑起工程界

却难倒数学界近两百年

传闻当今最主要的传播节点是科技博主 Andrew Curran 在 X 上抛出的「谈判」：Claude 解开了 N-S 方程，Anthropic 筹谋在 IPO 前公布。

https://x.com/AndrewCurran_/status/2096062392442724805

随后多条信源交叉：OpenAI职工向外转述了音信，数学家 Elliot Glazer 跟踪传闻链条后发现，率先版块宣称 Anthropic 处理了「两个」千禧年贫寒，后被蜕变为一个；

爆料东说念主「草莓哥🍓🍓🍓」@iruletheworldmo 则称已攻克「多个」；

https://x.com/iruletheworldmo/status/2096262005149548951

有东说念主估算，若属实，模子才调将提升 170 ECI。

Epoch AI 最新发布：GPT-6 Astra 的 ECI 为 169

另特别学说明注解告诉 Glazer，他从可靠信源听到的版块是「被解的是霍奇（Hodge）臆测」。

但统统信源均可记忆至 OpenAI 职工的转述，莫得孤独的一手开端。

https://x.com/ElliotGlazer/status/2096298696438906934

闭幕 9 月 6 日，克莱数学商酌所仍将 N-S 方程列为未解问题，100 万好意思元奖金尚未被认领。

别杀死下金蛋的鸡

陶哲轩的中枢不雅点不错笼统为以下推理链：

著明臆测的价值在于求解历程催生的器用，谜本来人反倒次要 →

AI 若以黑箱款式给出谜底，历程中的洞见全部锁死 →

问题在本领上「被处理」，但数学住手助长。

以 N-S 方程为例：几十年来，数学家在求解历程中催生了 Leray-Hopf 弱解表面、Gagliardo-Nirenberg-Ladyzhenskaya 不等式、Beale-Kato-Majda 爆破准则等一系列奠基性器用，组成了当代偏微分方程的基础方法。

费马大定理更能说明相同的问题：三百多年求证催生了模时势表面和椭圆弧线表面，在密码学与编码表面中握续施展作用。

这些臆测就像下金蛋的鸡，AI 暴力讲明拿走了蛋，却可能杀死了鸡。

致使包括 GPT-6 Astra 在内的新旗舰模子，初始使用 Current Depth 来取代 Transformer 行为推理款式，代价是想考历程投入黑箱，咱们无法在一个暴露的想维链中获取登攀科学岑岭的脚手架了。

陶哲轩用素数间距问题构建了一个反事实想想试验来佐证：真确时刻线上，张益唐 2013 年的突破（上界 7000 万）激勉了 Polymath8 合作、梅纳德筛法等教科书级器用的出生，上界统统降至 246。

但假如 2005 年就有追求刷榜的 AI 公司暴发奋解，梅纳德筛法可能被埋在 AI 生成的数百页讲明中恒久不被发现，张益唐接续在三明治店责任，统统规模被「搬空」。

一位商酌生在帖子下的褒贬浓缩了这种花样：「和同学聊天，很是多数的感受是——认为我方作念的统统事情都不再伏击了。」

不外，陶哲轩明确给出了正面案例。

他举了 Erdos problem #1026：AI 用于合作，既处理了问题，也鼓动了东说念主类相识。

他品评的是一些刻意的选拔：不与规模大家合作、不撰写论文提交同业评审、只为跑出一个基准分数。

Anthropic 和 OpenAI 将最前沿数学行为 Benchmark，大限制 PR，为我方的十万亿东说念主民币级 IPO 估值背书。

凡东说念主终将被甩在死后

但陶哲轩我方也承认了一件事：即便 N-S 方程以逸想款式被处理，最终的构造也将「极其复杂，东说念主类不可能仅凭自身完成考据」，用 Lean 时势化后的讲明文献可能成为同类成品中最大的一个。

这个判断一经在其他地点得到了充分印证。

9 月 4 日，Anthropic 晓示 Claude 在 11 天内完成了费马大定理的 Lean 时势化：1300 万行代码，29500 条中间定理，60 亿 Token 的输出。

审阅者、伦敦帝国理工的 Kevin Buzzard 评价这是「超卓的自动时势化配置」，讲明历程「除数学公理外不依赖任何额外假定」。

但 1300 万行 Lean 代码莫得任何东说念主类能逐行阅读，东说念主类考据一经退化为：运行编译器，看它是否报错。

这恰是 ASI 来临的前兆。

AI 的数学产出正在超出东说念主类相识的极限。

当今东说念主类还能联想试探解、选拔战略、判断哪条旅途值得探索。

但当模子的推理才调接续攀升，连顶尖数学家都无法相识它的中间方法时，陶哲轩所防卫的那种「东说念主类在探索历程中积蓄直观」的模式，将在物理意旨上不再可能。

智商有限的凡东说念主，终将被 ASI 远远甩在死后。

说得好，莫得东说念主蓄意停手

Anthropic 和 OpenAI 暴露不会因为陶哲轩的告戒而延缓脚步。

2026 年的 AI 数学武备竞赛一经全面伸开：8 月，Anthropic 一个未发布的商酌模子试着讲明黎曼臆测，莫得得胜，但在历程中将黎曼 zeta 函数零点得志臆测的比例下界从 41.6% 推到了 67.2%，冲破了东说念主类保握的最好记载。

最离谱的细节是：驱动此次突破的 Anthropic 职工 Jarred Sumner 没特别学配景，他仅仅不休请示模子「接续试」。

同在 8 月，OpenAI 晓示 Astra 处理了 10 个悬而未决至少十年的数学和表面计较机科知识题，包括初度构造非 sofic 群（该问题自 Gromov 1999 年无情以来一直未解），全部附带 Lean 4 时势化讲明，总算力本钱约 2000 好意思元。

https://openai.com/zh-Hans-CN/index/ten-advances-in-mathematics/

谷歌 DeepMind 也在鼓动。

5 月，AlphaProof Nexus 处理了 353 个 Erdos 绽开问题中的 9 个，讲明了 492 个 OEIS 臆测中的 44 个，全部带有 Lean 机器考据。

同月，OpenAI 推翻了 Erdos 1946 年无情的单元距离臆测，菲尔兹奖得主 Tim Gowers 示意他会「绝不盘桓地推选这篇论文在《Annals of Mathematics》（数学最巨擘刊物）发表」。

谈判阛阓 Manifold 上，「2026 年 AI 处理千禧年大奖贫寒」的合约当今报价 38%。

传闻、凭据和赌注都在吞并个方进取堆积。

赏格 100 万好意思元的贫寒不错被处理，但若是处理的款式让数学住手助长，那 100 万好意思元买到的东西，可能远不值这个价。

Goodhart 定律一经再一次应验：筹画一朝成为独一主见，就失去了度量价值的意旨。

但要撑起万亿好意思元级以上的 IPO 估值，Anthropic 和 OpenAI 不成只讲明我方「安全」，必须讲明「收尾了全面超过东说念主类水平的 AI」，也便是 ASI。

还有什么比处理困扰东说念主类数百年的纯数学贫寒（费马大定理、N-S 方程、庞加莱臆测等）更能赋予一家公司「神迹感」的？足球外盘网站app娱乐