公众号：数字生命卡兹克· 数字生命卡兹克·· 20 小时前精选AI 评分81
OpenAI 在 GitHub 发布 openai/math 仓库，722 份数学手稿引发数学界震荡
AI让数学再也回不去那个旧世界了。
AI 导读
OpenAI 于10月7日在 GitHub 发布 openai/math 仓库，收录其未公开内部模型产出的722份数学手稿，归为372个成果组，覆盖数论、代数几何、偏微分方程等方向，每个结果平均花费约3小时 ChatGPT Pro 级别思考算力。
推荐理由
作者把 OpenAI 的数学成果放进从四色定理到 Lean 的机器证明史里讲，读者能看懂这次争议为何激烈。
来源：公众号：数字生命卡兹克 · mp.weixin.qq.com