English
其他 / 未分类

math

openai/math

OpenAI 内部模型产出的数学手稿与 Lean 证明工件合集,含 721 篇论文、形式化目录与推理摘要,供研究社区查阅。