OpenAI Math是什么？
OpenAI Math是OpenAI用于公开AI生成数学成果的官方仓库。它收录内部前沿模型产出的数学手稿，并提供目录、论文源文件、部分Lean形式化工件、推理摘要、引用信息和版本修订记录。
仓库包含什么？
- preprints：论文PDF、源文件及单篇引用说明。
- lean：形式化证明目录、覆盖范围说明和比较器材料。
- reasoning_traces：10项代表性结果的精简推理摘要。
- CONTENTS：按成果族、学科和手稿整理的索引。
- history：修正、撤回或替换内容的版本记录。
如何正确阅读？
先看README和history确认当前手稿数量，再进入成果族阅读命题、论文与Lean覆盖范围。不要把“仓库收录”“附有Lean说明”“顶层结果已形式化”和“通过同行评审”混为一谈。
适合人群
适合数学研究者、形式化证明工程师、Lean学习者、AI for Science团队以及关注机器辅助科学发现的读者。普通读者可先阅读overview，再选择感兴趣的成果族。
重要提醒
仓库内容处于持续修订和验证阶段。OpenAI明确表示，未形式化结果可能存在问题；即使有形式化工件，也仍需核对形式化范围、命题陈述、引用、创新性和数学意义。