陶哲轩质疑 OpenAI：人类真的理解这 719 份 AI 数学证明吗？
OpenAI 发布了 719 份 AI 生成的数学手稿，涵盖 372 个结果族及尚未解决的研究问题。最初发布的 722 份手稿中，有 3 份因符号错误被撤回。根据公开信息，此次发布未完全符合顾问小组 AGMAI 的建议：OpenAI 使用专有模型，只有 10 份手稿附有推理过程，约 42% 的证明也未经形式化。数学家陶哲轩担忧，AI 生成成果的速度可能超过人类验证、理解和教学的能力，造成“证明消化不良”。他还批评将快速攻克著名难题作为衡量数学理解的标准，并呼吁加强透明度与学术交流。
本文来源：IT之家,AIbase，仅供学习参考，版权归原作者所有。