OpenAI 数学结果仓库上线:含 722 篇手稿
felpix_ · x · 2026-10-07
OpenAI 开源了 math 仓库(Apache-2.0,已获 441 star),存放其内部前沿模型产出的数学手稿及证明支撑材料。当前目录含 722 篇手稿,分为 lean、preprints、reasoningtraces 等目录。
官方说明:在既有数学评测饱和后扩大了开放研究问题评估;并非所有结果都有 Lean 形式化,未形式化结果可能有问题,后续会持续补充形式化并探索社区托管。
所属事件:OpenAI 开源内部模型 722 份数学成果，触及千禧年难题(55 条相关)→
「研究」频道最新
- 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
- COLM 2026 论文:SOTA 视觉模型言行不一,无法预测自己何时说苹果是红的 — jessyjli · 2026-10-07