2026年10月6日，OpenAI在GitHub发布722份AI生成数学手稿，后因符号错误于10月7日撤回3份，最终公开719份，覆盖372个数学结果族及多项开放问题。此举未完全满足“数学与人工智能顾问小组”（AGMAI）关于模型透明度、推理链披露及形式化验证等标准。仅10份附推理链，约42%证明未经形式化处理。菲尔兹奖得主陶哲轩批评其将解题速度等同于数学理解，警示‘证明消化不良’风险，强调数学进步依赖人类理解、教学与协作，而非批量输出答案。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。