陶哲轩批评 OpenAI 批量生成数学证明

陶哲轩发文批评 OpenAI 将“用 AI 快速攻克著名难题”作为目标，认为这会导致数学界出现“证明消化不良”。OpenAI 近期发布了 719 份 AI 生成的数学解答，但被指未完全达到相关顾问小组的透明度和可理解性标准。陶哲轩担忧，这种大规模“收割”开放问题的做法会破坏数学共同体的理解、教学与合作机制。