AI 生成 proofslop 之忧:数学家担心 labs 用内部模型冲垮数学社区

soumitrashukla9 · x · 2026-10-10

围绕 AI 与数学的争论再起。Andy Hall 指出数学领域的核心瓶颈:数学中可能的事实无限多,整个学科的意义在于把注意力分配给人类认为最有价值的一小部分;而目前验证数学结果严重依赖人类专家判断其正确性之外的"是否有趣、有价值",带宽极其受限。

Bloomberg 的 Joe Weisenthal 回应:确实有数学家乐于用 AI 做探索(如播客嘉宾 Justin Solomon),但这恰恰是 labs 不该用内部模型用 proofslop 冲垮这个领域的理由——即海量的 AI 自动生成证明会淹没人类的注意力筛选机制。