OpenAI 开源内部模型数学成果仓库，含证明工件与推理轨迹，13k 星
keunwoochoi · x · 2026-10-10
OpenAI 发布 GitHub 仓库 openai/math（Apache-2.0，13k stars / 1.4k forks），收录其内部模型产出的数学手稿与配套证明工件。
- 背景：OpenAI 在内部模型开发中对开放研究问题做评测，原有数学基准饱和后扩大了评测范围，这些成果部分基于模型早期结果迭代而来。
- 仓库结构包含 lean 形式化证明、preprints 预印本、reasoningtraces 推理轨迹等目录。
- 作者提醒：不同成果处于不同验证阶段，并非全部有 Lean 形式化，未形式化的结果可能存在问题，团队会持续补充形式化并探索社区托管方案。
- keunwoochoi 评价：了解 LLM 的设计与训练方式后，能从这类结果中学到更多关于数学本身性质的东西。
所属事件:OpenAI 开源内部模型数学成果仓库(2 条相关)→
「模型」频道最新
- Cloudflare 开源 clef-omni 全模态模型,支持图像/音频/视频输入 — ritakozlov · 2026-10-10
- AWS Bedrock 发出 Claude Opus 4.1 与 Sonnet 4/4.5 退役通知 — repligate · 2026-10-10
- 网友吐槽 Google：官宣 Argon 却迟迟不放出，被指重大失误 — almmaasoglu · 2026-10-10
- Meta 论文挑战分词器默认：字节模型训练足够后反超 Token 模型 — alex_verem · 2026-10-10
- 开发者吐槽 Anthropic 政策：用「虐待矩阵乘法」条款就能封你的号 — AlexTensor · 2026-10-10
- Step 5 Preview 已上线 OpenRouter,可直接在多家编码工具中切换使用 — kimmonismus · 2026-10-10