主要来源宝玉
查看原文事件专题 ·多源确认
OpenAI 公开 722 篇 AI 数学论文
OpenAI 公开了一个内部未发布模型生成的 722 篇数学论文，归为 372 组结果，全部存放在 GitHub 仓库 openai/math 中。该模型从 8 月 28 日开始训练，能力比已发布的 GPT-6 Astra 更强，解决了包括纳维-斯托克斯方程在内的约 4000 道数学题。约 160 篇论文附带 Lean 形式化证明，其余部分 OpenAI 承认可能存在错误并承诺修正。
当前结论
OpenAI 把内部数学模型做的 722 篇论文全开源了，包含黎曼猜想等难题，还附带了形式化证明。
11 个信源87° AI 热度最后更新 2026/10/6 22:57:55
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。