韦神主攻的千禧年难题，被Claude攻破了？

庞加莱猜测是拓扑学中一个关于三维空间状态的驰名数学定理，指出若是在一个封关的三维空间里，每条封关的曲线都能收缩成一点，这个空间就肯定是一个三维的圆球。2006 年，数学界普遍认可了佩雷尔曼实现了庞加莱猜测的证明。 目前我们尚未彻底证实截图真实性（听说按划定截图一律不许表传），但 AI 既然能实现费马大定理大局化证明，那 AI 也极有可能大局化庞加莱猜测的证明。 随后多条信源交叉：OpenAI员工向表转述了新闻，数学家 Elliot Glazer 追踪传闻链条后发现，最初版本宣称 Anthropic 解决了「两个」千禧年难题，后被纠正为一个； 以 N-S 方程为例：几十年来，数学家在求解过程中催生了 Leray-Hopf 弱解理论、Gagliardo-Nirenberg-Ladyzhenskaya 不等式、Beale-Kato-Majda 爆破准则等一系列奠基性工具，组成了现代偏微分方程的基础设施。 费马大定理更能注明同样的问题：三百多年求证催生了模大局理论和椭圆曲线理论，在密码学与编码理论中持续阐扬作用。 甚至蕴含 GPT-6 Astra 在内的新旗舰模型，起头使用 Current Depth 来取代 Transformer 作为推理方式，价值是思虑过程进入黑箱，我们无法在一个清澈的思想链中获取攀登科学顶峰的脚手架了。 陶哲轩用素数间距问题构建了一个反事实思想尝试来佐证：真及功夫线上，张益唐 2013 年的突破（上界 7000 万）引发了 Polymath8 合作、梅纳德筛法等教科书级工具的诞生，上界一路降至 246。 但如果 2005 年就有钻营刷榜的 AI 公司暴力求解，梅纳德筛法可能被埋在 AI 天生的数百页证明中始终不被发现，张益唐持续在眉山治店工作，整个领域被「搬空」。 但陶哲轩自己也认可了一件事：即便 N-S 方程以梦想方式被解决，最终的机关也将「极其复杂，人类不成能仅凭自身实现验证」，用 Lean 大局化后的证明文件可能成为同类制品中最大的一个。 但当模型的推理能力持续攀升，连顶尖数学家都无法理解它的中央步骤时，陶哲轩所珍视的那种「人类在索求过程中堆集直觉」的模式，将在物理意思上不再可能。 2026 年的 AI 数学军备较量已经全面发展：8 月，Anthropic 一个未颁布的钻研模型试着证明黎曼猜测，没有成功，但在过程中将黎曼 zeta 函数零点满足猜测的比例下界从 41.6% 推到了 67.2%，突破了人类维持的最佳纪录。 同在 8 月，OpenAI 颁发 Astra 解决了 10 个悬而未决至少十年的数学和理论推算机科学问题，蕴含初次机关非 sofic 群（该问题自 Gromov 1999 年提出以来一向未解），全数附带 Lean 4 大局化证明，总算力成本约 2000 美元。