AI仅花2000美元解决10道未解数学题，引发行业大佬热议

cen6wkf · reddit · 2026-08-09

在一场专家座谈中，透露了 AI 仅耗费 2000 美元算力就成功解决了 10 道困扰数学界十年的未解难题，且提供了可通过机器验证的证明。一位菲尔兹奖得主表示会毫不犹豫地推荐其中一项证明发表， Stability AI 前CEO Emad Mostaque 更是直言“现在对纯数学家来说是个坏时机”。

发帖人进一步分析指出，AI 展现出的强悍“正确性”并非最稀缺的能力，人类专家的“工程判断力”（如在关键时刻发现并纠正结构性错误）才是真正不可替代的壁垒。这一逻辑与 AI 正在自动化基础白领工作相呼应：最先被取代的往往是机械化的执行层，而人类的判断力与品味依然主导核心决策。