OpenAI 数学手稿仓库盘点：30道最重经典难题的证明与证伪进展

OpenAI 将 722 篇内部数学手稿仓库公开，机器之心从中筛出 30 道经典难题并介绍 OpenAI 的证明或证伪结果。清单覆盖数论、几何、理论计算机等 17 个方向，其中准黎曼猜想、BSD 猜想和 Hadwiger 猜想等结果中，部分附有 Lean 形式化，但大多数仍停留在“声称”状态，未通过同行评审，最终是否成立需由数学界验证。