陶哲轩质疑 OpenAI 的 719 份 AI 数学证明：人类能否真正理解

陶哲轩批评 OpenAI 将快速攻克著名数学难题作为模型能力展示，认为速度和数量不等于数学理解。OpenAI 现公开 719 份 AI 生成数学手稿，涵盖 372 个结果族，但仍使用专有模型，仅 10 份附推理链，约 42% 未经形式化处理。陶哲轩称这会造成数学界的证明消化不良，并把开放问题变成被批量收割的资源。