灵点AI 编辑整理OpenAI 于 10 月 6 日公布了一批由内部前沿模型产出的新数学成果。
发布了什么
- 成果集中发布在 GitHub 项目 openai/math，并附论文修订和引用规范
- 许多证明已用 Lean 完成形式化，也就是可以由计算机自动检查对错，后续还会补充更多
- 公开了 10 条模型推理过程的摘要和算力估算：平均每个成果大约相当于 ChatGPT Pro 思考 3 小时
为什么值得关注
这次的重点不是推出新的数学模型，而是让研究者能够讨论、核验并引用 AI 产出的结果。OpenAI 表示，发布方式参考了普林斯顿高等研究院数学与 AI 顾问小组的建议，之后还会资助相关研讨会和项目。