OpenAI 公布内部模型产出的 722 篇数学手稿，部分附 Lean 形式化证明
OpenAI公布722篇数学手稿，其中一部分可被计算机逐行验证
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
OpenAI 于当地时间 10 月 6 日在 GitHub 仓库发布由未公开内部模型产出的 722 篇数学手稿，归入 372 个结果家族，覆盖数论到量子场论，模型被问约 4,000 道题，平均每个结果算力约相当于 ChatGPT Pro 思考 3 小时。
推荐理由
原文梳理了这批数学结果的规模、Lean 验证情况和数学家独立顾问组的回应，读者可借此理解 AI 进入开放问题求解后的两面影响。
来源：DeepTech深科技 · 微信公众号 · mp.weixin.qq.com