OpenAI Math

OpenAI公开内部前沿模型生成数学手稿、Lean形式化工件、推理摘要和版本修订记录的官方仓库。