陶哲轩质疑 OpenAI 批量发布 719 份 AI 数学证明

数学家陶哲轩公开质疑 OpenAI 批量发布 719 份 AI 数学解答的做法，批评将攻克著名难题作为产品展示会破坏数学共同体的理解、合作与探索机制。他指出 AI 高速产出答案会导致人类来不及验证和吸收，形成证明消化不良，并可能污染对难题的独立探索过程。同时顾问小组 AGMAI 指出，OpenAI 此次发布仅 10 份手稿附有推理链，约 42% 未经形式化处理，尚未达到透明度标准。