物界前沿物界前沿 · 资讯情报卡（IT之家 · 2026/10/9）
陶哲轩质疑 OpenAI 数学证明发布方式
核心事实
- OpenAI 于 10 月发布 719 份 AI 数学解答，涵盖 372 个结果族。
- 发布后因一处符号错误撤回 3 份手稿，目录从 722 份减至 719 份。
- AGMAI 建议披露模型名称、提示词、推理链与计算成本，OpenAI 仍用专有模型。
- 719 份手稿中仅 10 份附有模型推理链，约 42% 未经形式化处理。
- 陶哲轩 10 月 7 日发帖反对把快速攻克著名难题当作主要目标。
关键数据
719 份公开手稿数
372 个结果族
10 份附推理链手稿
42%未形式化证明占比
物界观察
OpenAI 用专有模型批量产出证明，却几乎不公开推理链，等于把数学发现变成无法复核的黑箱。陶哲轩担心的不是 AI 做数学，而是解题速度被当成理解深度，开放问题被一次性收割后无法恢复。行业若继续这样发布，数学界将先迎来验证危机，而非智能飞跃。
来源：IT之家原文 ↗