OpenAI 甩出 722 篇数学稿，数学家们开始义务返工

两周前，OpenAI 一口气放出 722 篇机器生成的数学稿。周六，陶哲轩博客上的一篇客座文章宣布：返工队成立了。

作者是 Abhinav Nellore、Johannes Schmitt、Soledad Villar 和 Rachel Ward，他们搭了一个叫 oai-math-revised 的社区项目，专门修这批稿子。诊断很客气也很直接：OpenAI 的数学稿“可能难以读懂，引用也可能不完整”。仓库按 OpenAI 自己那份总览文档的分类组织志愿者，分领域当管理员和审稿人。文章：https://terrytao.wordpress.com/2026/10/24/oai-math-revised-a-community-hub-for-revising-openais-math-write-ups/ 仓库：https://github.com/mathcommunity/oai-math-revised

这就是没人算进去的那笔成本。生成 722 个结果，实验室花了几周算力；核对、补引用、改成人能读的样子，落到了不拿钱的人类专家头上。研究 agent 产出越多，这张账单越大，而现在它是用志愿者的时间来付的。

同一周有篇论文，指向的是机器版的解法。ARATest 把 agent 研究产物里的论断变成和证据绑定的性质测试。33 个产物里的 243 条论断，有 54 条能被忠实绑定：32 条成立，8 条被推翻，14 条无法判定。被推翻的里面有两条暴露了已发表论文的错误，原作者已经确认。注入的 553 个错误全部抓到，19 个正确对照零误报，表现超过两个 LLM 评审。https://arxiv.org/abs/2610.30495

两件事放一起看就很清楚：agent 产出研究的速度已经超过了任何人核查的速度，而核查的那一方，不管是一群数学家还是一套测试框架，是目前唯一还没有商业模式的环节。