AGI Hunt· OpenAI·· 3 小时前精选AI 评分74
OpenAI 开源内部模型产出的 722 份数学手稿
AI 导读
OpenAI 在 GitHub 开源 openai/math 仓库，公开由未公开的内部前沿模型产出的一系列数学成果，共收录 722 份数学手稿，按 372 个相关结果族归类，并附有 preprints、reasoning traces 与 Lean 形式化等证明材料。
推荐理由
OpenAI 公开 722 份数学手稿并附推理轨迹与 Lean 形式化，外界可据此核查模型证明质量。
来源：AGI Hunt · agihunt.info