OpenAI 的数学长文，社区建了个公开修订库

AI 公司贴出一份几百页的数学证明解读，谁来检查它？四位研究者的答案是：谁都可以，但得有个规矩的地方。10 月 24 日，一篇客座文章出现在陶哲轩的博客上，宣布了一个社区修订项目。

一、发生了什么

项目由俄勒冈健康与科学大学的内洛雷、独立研究者施密特、约翰斯·霍普金斯大学的比利亚尔和得克萨斯大学奥斯汀分校的沃德四位研究者发起，借数学家陶哲轩的博客发布。注意：这是客座文章，不是陶哲轩本人的倡议。

针对的对象是 OpenAI 发布在代码托管平台上的一批数学写作。发起人的判断是：这批材料读起来困难，引用也常有缺漏。修订库的目标就是补这两块——把表述改得可读，把引用补齐。整个数学社区都被邀请参与，学生、博士后、教授和业余爱好者都可以认领条目。仓库提供网页版浏览，想担任管理员或审稿人的人可以写信申请，并说明自己适合负责哪个数学分支，按领域分工把关。这个分工方式意味着它不是一个人的校对项目，而是把评审拆成可认领的小块——每块小到一个人一周能啃完，加起来才罩得住几百页的机器产出。

作为背景（这是公开的行业常识，不是该项目声明）：今年以来，多家实验室竞相公布 AI 参与的重大数学成果，动辄数百万行的形式化代码，人工逐一核读并不现实。形式化验证能机器检查推导链条，但检查不了「证的是不是你想证的那条」，这一层始终要靠人工。社区协作的复核机制，正是补这个缺口的方式。

二、跟你有什么关系

数学专业的学生。 这是低成本接触前沿证明的入口，参与修订本身就是训练。读懂一段证明的修订讨论，比读十遍原文更接近做研究的日常。

用 AI 辅助科研的人。 模型产出的长文可以被系统性纠错，这个先例比项目本身更重要。你自己的论文初稿同样适用这套思路：先机器查，再开放修订。

关注 AI 可靠性的人。 「开放修订」是比「官方自测」更硬的验证方式，值得作为标准动作记住，并拿去要求所有发布长文的机构。

三、怎么判断

1. 看修订是否留痕：合格的复核库每处改动都能追溯到提交者和理由。
2. 看覆盖面：只修文字还是也修数学实质，后者含金量高得多。
3. 看官方回应：原始发布方是否认领修订，决定了修订库的实际影响力。
4. 看审稿资质：谁在把关、按什么分支分工，比仓库 star 数更能说明可信度。

四、三个别信的说法

「形式化验证通过就等于全对。」 验证只保证推导链条成立，陈述本身是否符合原意，仍需人工审读。引用是否齐全、术语是否规范，同样不在机器检查的射程内。

「有错误说明这批成果没用。」 大规模公开本来就是接受检验的诚意，修订库正是把检错从散兵游勇变成固定流程。

「社区修订等于否定原创者。」 学术界几百年的同行评审都是这个模式，修订是完善不是否定。

五、一句话结论

机器写得再多，数学的最终裁判席上坐的还是人——这个库是把裁判组织起来的尝试。

信息来源

• 数学社区修订库的发布公告（2026-10-24）

功能与价格以官方公告为准。本文写于 2026 年 10 月 25 日。