OpenAI 宣布发布内部前沿模型产出的批量数学新结果
nabla_theta · x · 2026-10-07
OpenAI 官方宣布,将公开一批由其内部前沿模型产出的新数学结果。在现有数学评测全面饱和后,OpenAI 扩大了在开放研究问题上的模型评估,这些结果是评估过程中产出的成果。
发布过程参考了普林斯顿高等研究院(IAS)「数学与人工智能独立顾问小组」的建议及公开推荐意见,以决定如何分阶段放出。配套的 GitHub 仓库将包含手稿、证明支撑材料与逐步补充的 Lean 形式化,部分未形式化结果可能存在问题,官方承诺快速修复。
所属事件:OpenAI 开源内部模型 722 份数学成果，触及千禧年难题(55 条相关)→
「研究」频道最新
- OpenAI 证明矩阵乘法可降至 O(n^2.25),但尚无具体算法 — Pascallisch · 2026-10-07
- Melanie Mitchell 回击 Scott Alexander：晒 Google Scholar 与 NeurIPS 新论文 — MelMitchell1 · 2026-10-07
- 整数乘法再快于 N log N？算法圈惊呼「太邪门」 — QuintinPope5 · 2026-10-07
- OpenAI 研究员惊讶:AI 实验室数学新成果至今没查出硬伤 — willdepue · 2026-10-07
- 前沿 LLM 做生物「人类解读者」比虚拟细胞更先落地 — CatAstro_Piyush · 2026-10-07
- AI 宣称攻克 500 大开放数学难题中的 90 个,黎曼猜想等获部分证明 — DavidSKrueger · 2026-10-07