机器之心（公众号）·2026-10-07 09:49· 11 天前AI 评分34

OpenAI 一次放出 722 篇数学手稿：准黎曼猜想、四维挂谷猜想在列

突发！OpenAI一次放出722篇数学成果，准黎曼猜想、4D挂谷都在列

AI 导读

OpenAI 公开了一个尚未发布的内部前沿模型产出的 722 篇数学手稿，归入 372 个成果族，覆盖 17 个方向，其中 235 族附带 Lean 形式化证明。

来源：机器之心（公众号） · mp.weixin.qq.com