陶哲轩质疑 OpenAI 发布的 719 篇 AI 数学证明，引发学术透明度争议

陶哲轩公开质疑 OpenAI 发布的 719 份 AI 数学解答，认为缺乏同行讨论与吸收机制的批量解题会导致证明消化不良，损害数学研究生态。OpenAI 发布的证明中约 42% 未经形式化处理且仅 10 份附有推理链，尚未完全达到 AGMAI 顾问小组提出的透明度标准。陶哲轩强调将千禧年难题当作模型能力基准不可持续，解题速度和数量本身并不等于数学理解。