原创 OpenAI三天内撤回三篇数学论文 符号错误致依赖链失效 2026年10月7日，OpenAI因一处符号错误撤回三篇数学论文，涉及基础成果及两篇依赖论文。此前该公司于10月6日公开722篇手稿，仅42%成果获Lean形式化验证。此事凸显AI批量生成数学内容时速度与验证能力失衡的系统性问题，为行业评测 OpenAI 数学论文 AI验证风险 7小时前 135
