Hacker News AI · 2026/10/8 15:05:40
OpenAI 撤回三项数学结果并更新 Lean 形式化仓库：约 42% 顶层成果已验证
出处作者 / 发布主体：Dan Roberts (@danintheory)原标题：OpenAI withdraws three mathematical results
42AI 研判分
核心综述
OpenAI 在 GitHub 数学仓库中撤回了三项此前发布的数学结果，同时新增 6 项 Lean 形式化证明并修改了 19 处内容。目前该仓库中约 42% 的顶层数学成果已完成形式化验证，官方表示将持续更新以修正错误。
报道全文原始报道全文
Dan Roberts (@danintheory) · 2026-10-08 05:20:
我们已更新 GitHub 上的数学仓库，新增了 6 项 Lean 形式化证明、19 处修改以及 3 项撤回。目前该仓库约 42% 的顶层结果已完成形式化。我们将继续更新仓库，添加新的形式化内容并修正发现的勘误。
https://github.com/openai/math/blob/main/history.md
582 赞 · 41 转发
