跳到正文
Hacker News 热门· vikas-sharma·· 44 分钟前精选AI 评分88

OpenAI 发布内部模型产出的数学手稿与证明工件仓库

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

AI 导读

OpenAI 在 GitHub 发布由内部模型产出的数学手稿与证明工件,目录含 722 篇手稿、归为 372 个族,按数学学科分类。多数结果由同一未公开的内部 OpenAI 模型按固定流程得出,平均每个结果消耗 3 小时 ChatGPT Pro 思考算力,评估期间共向模型提出约 4000 个问题。

推荐理由

OpenAI 公开内部模型产出的数学手稿与 Lean 形式化情况,可观察模型在开放研究问题上的产出规模与验证状态。

来源:Hacker News 热门 · github.com