行业资讯
韦神主攻的千禧年难题，被Claude攻破了？
韦神主攻的千禧年难题，被Claude攻破了？
新智元报道 原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！ 昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。 拓展阅读：刚刚，Claude首次形式化证明费马大定理！清华姚班大神出手了 出乎我们意料的是，我们注意到了网络上流传的一张 相关截图： 丘成桐先生悬赏 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 作为推理方式，代价是思考过程进入黑箱，我们无法在一个清晰的思维链中获取攀登科学高峰的脚手架了。 拓展阅读：刚刚，OpenAI新Transformer火了！Astra架构首次曝光 陶哲轩用素数间距问题构建了一个反事实思想实验来佐证：真实时间线上，张益唐 2013 年的突破（上界 7000 万）引发了 Polymath8 协作、梅纳德筛法等教科书级工具的诞生，上界一路降至 246。 但假如 2005 年就有追求刷榜的 AI 公司暴力求解，梅纳德筛法可能被埋在 AI 生成的数百页证明中永远不被发现，张益唐继续在三明治店工作，整个领域被「搬空」。 一位研究生在帖子下的评论浓缩了这种情绪：「和同学聊天，非常普遍
今年会(中国)官方网站✅欢迎访问官方网站、娱乐平台、首页注册、最新官网、官网入口、APP下载链接、手机全站客户端，提供全面覆盖足球、篮球、电竞等项目的赛事资讯与数据内容，支持APP下载与网页使用，每日同步更新千场比赛，聚焦热门体育内容。
联系我们
-
- 地址
- 芜湖市字滤洞44号
-
- 电话
-
- 工作时间
- 周一至周五：上午 10 点至晚上 8 点