数学论文相关资讯

OpenAI三天内撤回三篇数学论文符号错误致依赖链失效

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