机器之心（公众号 · Wechat2RSS）·· 7 小时前精选AI 评分89
OpenAI 发布 722 篇 AI 生成数学手稿，覆盖准黎曼猜想和 4D 挂谷等问题
突发！OpenAI一次放出722篇数学成果，准黎曼猜想、4D挂谷都在列
AI 导读
OpenAI 在 GitHub 仓库发布 722 篇由尚未发布的内部前沿模型产出的数学手稿，归入 372 个成果族，覆盖准黎曼猜想、四维挂谷猜想等问题。OpenAI 称评估投喂约 4000 个研究问题，平均每个结果消耗约相当于 3 小时 ChatGPT Pro 思考算力，235 族附带 Lean 形式化说明页。
推荐理由
原文把成果规模、形式化比例和数学界反应放在一起，便于理解 AI 数学发布的验证压力。
来源：机器之心（公众号 · Wechat2RSS） · mp.weixin.qq.com