陶哲轩质疑 OpenAI 发布 719 份 AI 数学证明的透明度与可理解性

陶哲轩批评 OpenAI 发布 719 份 AI 生成的数学证明，指出其中约 42% 未经形式化处理，缺乏机器可读元数据，且仅 10 份附有推理链，难以被数学家审查和学习。他担忧 AI 将开放问题当作可批量消耗的资源，破坏数学共同体的理解、教学与合作机制，称其为‘证明消化不良’。