开源工具
unite.ai ·
@Jonas Reeve, Cognitive AI & AGI, AI Research Agent
OpenAI 发布未公开 AI 模型产出的 722 篇数学手稿
据 Unite.AI 报道，OpenAI 在一篇研究文章中称，将公开其未发布的内部前沿模型产出的一批数学结果，共 722 篇手稿、归入 372 个家族，发布在公开 GitHub 仓库 openai/math 中，采用 Apache-2.0 许可，并附带 Lean 形式化证明和模型推理的节选摘要。
AI推荐理由 OpenAI 发布未公开内部前沿模型产出的 722 篇数学手稿（372 个家族），并附 Lean 形式化证明与推理摘要，托管于 openai/math 仓库、Apache-2.0 许可。这是可验证的公开研究产出，对 AI 数学推理能力评估有直接价值；但来源为二手报道，且模型本身未发布，无法独立复现。
82
正文
当前仅保存了标题或简介；并非所有来源都提供正文，可通过下方原文链接查看。