OpenAI 放出 722 篇数学手稿,声称将挂谷猜想推进到四维
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿,论文和部分 Lean 证明上传 GitHub,其中编号 074 的两篇共 272 页,作者栏只写 OpenAI。
推荐理由:OpenAI 一次性放出 722 篇数学手稿并声称推进挂谷猜想,读者可据此了解数学界围绕 AI 批量产出的争议。
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿,论文和部分 Lean 证明上传 GitHub,其中编号 074 的两篇共 272 页,作者栏只写 OpenAI。
推荐理由:OpenAI 一次性放出 722 篇数学手稿并声称推进挂谷猜想,读者可据此了解数学界围绕 AI 批量产出的争议。
OpenAI 于 2026 年 10 月 6 日在 GitHub 一次性发布 700 多份手稿,声称解决了数百个未解数学问题,数学博客 Proofs and Prompts 收集了 100 多位研究者的回应。
推荐理由:汇总百余名数学家对 OpenAI 一次性发布 700 多份数学手稿的回应,呈现从震惊到担忧职业未来的多种立场。
OpenAI 从一个未公开的内部前沿模型发布了一批数学结果,公开在 GitHub 仓库中,包含 722 篇手稿、分为 372 个相关结果族,来自约 4000 个研究问题的评测,平均每个结果约用 3 小时 ChatGPT Pro 推理算力。
推荐理由:OpenAI 内部模型一次性产出 722 篇数学手稿,读者可了解其规模、算力成本与数学界对结果的分歧。
OpenAI 本周突然发布近 400 项 AI 生成的数学结果,分布在 700 多份手稿中,覆盖组合数学、几何、数论、拓扑、概率与数学物理等多个方向。OpenAI 在 GitHub 上说明这些结果处于不同验证阶段,719 份手稿中仅 300 项主要结果完成 Lean 形式化,约 42%,并称会陆续补充。
推荐理由:通过数十位数学家的第一手反应,呈现OpenAI一次性放出近400项结果后,学术共同体在验证、署名与职业规划上的真实处境。