OpenAI 在 GitHub 开放 722 篇内部模型数学论文，含准黎曼假设证明
OpenAI 公开 722 篇数学论文，第 003 号为准黎曼假设
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
OpenAI 将内部前沿模型产出的 722 篇数学论文放在 GitHub 仓库 openai/math，归为 372 个族、涉及约 4000 道公开难题，其中第 003 号宣称证明了准黎曼假设的 7/8 无零点版本，单个结果平均耗约 3 小时 ChatGPT Pro 算力。
推荐理由
原文梳理了仓库内容、Lean 验证方式和发布流程，读者可以据此了解这批数学成果的可核查程度。
来源：赛博禅心 · 微信公众号 · mp.weixin.qq.com