机器之心·2026-10-07 09:49· 4 天前AI 评分34

OpenAI 内部模型一次放出 722 篇数学手稿，含准黎曼猜想与四维挂谷猜想

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

AI 导读

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

来源：机器之心 · mp.weixin.qq.com