The Decoder· Matthias Bastian·· 27 天前精选AI 评分78
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 仓库公开了由内部前沿模型生成的 372 项数学成果与证明，涵盖计算机算法改进及黎曼猜想相关进展。几乎所有成果均来自单个 Agent 单次提示词且平均耗费约 3 小时 ChatGPT Pro 思考算力，并附带 Lean 机器验证代码以缓解人工审稿压力。绕过传统学术期刊的做法引发数学界分歧，多位菲尔兹奖得主警告单纯机器证明可能破坏概念理解的培养。
推荐理由
材料呈现了前沿推理模型绕过传统学术期刊直接发布形式化证明的案例，有助于理解 AI 生产力对科研评审体系带来的制度冲击。
来源：The Decoder · the-decoder.com