数学家激辩「数学终结论」：AI 超人类与无人类数学隔着三级跳

围绕 Daniel Litt「数学的终结」引发的争论，多位数学家在 8 月 23-24 日于 X 上展开多轮交锋，核心分歧在于 AI 的进步是否意味着人类数学研究的终结。反驳方以方法论与实证两个层面表明「AI 在特定任务上占优」与「人类数学终结」之间存在本质区别。

已确认

@Ognifedefingo 提出层层递进的反驳框架：数据只能支持「AI 将在某类证明上超人类」，但从这一点到「证明泛滥」（proof abundance）之间存在巨大鸿沟，更遑论「无人类数学」，中间隔着三级跳。
@Ognifedefingo 转述 littmath（Jacob）的立场：他个人喜爱的数学学术部分将很快不再被奖励，因为模型能廉价完成这些工作；但他指出这可能是真的，却与「我们最好关门」非常不同。
littmath 认为很少有数学家尝试用模型一次性攻破难题，因为「其他人在做同样的事」，边际价值很低，唯一动机是抢先，而这基本只在为 AI 公司做宣传时才有意义。
一位数学博士在与 Terence Tao、littmath 等人争论时表示，其博士同学朋友几乎都对数学这一学科抱有「存在性焦虑」，并断言对方同事们也必然表达过类似担忧。
针对关于 AI 与人类数学家产出比例的争论，littmath 列举上周发表的重磅论文作为反驳证据，包括 Gromov 体积增长猜想等，认为人类数学家仍在持续产出高水平的 interior results，而非仅是标题党式成果。

这场争论折射出数学界面对 AI 进展的集体焦虑与理性审视：一方感受到学科存在性威胁，另一方则以方法论（边际价值论证）与实证（近期人类重磅成果）表明「AI 在特定任务上占优」与「人类数学终结」之间存在本质区别，为讨论提供了更精确的概念阶梯。

2026-08-23 ~ 2026-08-24 · 5 条相关