AI 生成证明的速度已经远超人类消化能力，数学正在被自己的产出撑爆 … 真正让陶哲轩警觉的，不是 AI 生成证明的速度，而是 AI 生成的证明长什么样 … 陶哲轩描述的这个困境 ——AI 产出速度远超人类消化速度，显性目标和隐性目标被强行解耦 —— 不是数学独有的。
AI 生成证明的速度已经远超人类消化能力，数学正在被自己的产出撑爆 … 真正让陶哲轩警觉的，不是 AI 生成证明的速度，而是 AI 生成的证明长什么样 … 陶哲轩描述的这个困境 ——AI 产出速度远超人类消化速度，显性目标和隐性目标被强行解耦 —— 不是数学独有的。