OpenAI公开722篇AI数学手稿后撤回3篇，微软决策模型基于阿里Qwen：有哪些关键信息？

OpenAI于10月6日在GitHub公开722篇AI生成数学手稿，含377项新证明。

发布不到两日撤回3篇论文，因符号错误致论证崩塌，另修正14篇。

目前仅约42%主要结论通过Lean形式化验证。

微软10月发布决策模型，基于阿里开源模型Qwen3.5-9B后训练而成。

该模型在36项盲测基准取得平均准确率83.5%，P50延迟85毫秒。

物界前沿 · 资讯情报卡（钛媒体 · 2026/10/13）

OpenAI公开722篇AI数学手稿后撤回3篇，微软决策模型基于阿里Qwen

核心事实

关键数据

722篇公开数学手稿数

377项新证明数

约42%Lean形式化验证通过率

83.5%微软决策模型平均准确率

物界观察

OpenAI用未发布模型批量产出数学证明，却连符号错误都未过滤，42%的验证率说明跑分与真实学术标准差距明显。微软转向阿里Qwen做底座，则释放另一个信号：开源小模型正成为大厂低成本试错的首选，闭源独家绑定不再牢靠。