OpenAI晒722篇AI数学手稿，有数学家不再向AI交底

722篇手稿，372个结果系列，其中不少涉及悬而未决多年的问题。

这是OpenAI最近在GitHub上公开的一份数学成果合集。生成它们的是一款内部前沿模型，外部研究者用不到。仓库里写明，模型平均每项结果消耗约3小时的ChatGPT Pro思考算力，评估期间一共尝试了约4000道题，另附10份推理摘要。很多证明已经用Lean做了形式化验证，也有一部分仍在验证中。

Lean验证是这份合集最硬的地方。数学界对AI证明的老疑虑是“看起来对”，形式化验证把检查交给了机器，审稿人不必逐行去抠。OpenAI显然想把可信度一并摆上桌。

但合集在数学圈引出的不只是赞叹。

知名数学家Tristan Buckmaster最近公开表示，他还在用AI工具，但已经不再把自己的原创研究想法交给OpenAI或Anthropic的产品。

让他警惕起来的正是这722篇手稿。一家公司握着外界用不了的模型，能在短时间里批量产出数学结果，年轻数学家花几年打磨的课题，可能一夜之间就被抢在前面。他还点出一条容易被忽视的泄露渠道：有些基金评审会把收到的研究申请上传给AI工具处理，申请人尚未公开的想法就这样流了出去。

他的提醒归结起来是一句话：帮你取得突破的那个AI，背后的公司可能正赶着抢先做出同一个突破。

OpenAI否认滥用用户数据，目前也没有证据表明它拿了Buckmaster的成果。他担心的是结构上的不对等，而不是某一次具体的侵权。

这种不对等放在数学里格外敏感。数学研究的价值高度依赖谁先证出来，一个思路在投稿之前几乎没有保护手段。过去研究者把半成品想法讲给同行听，靠的是学术圈的信任和署名规范；现在对话框另一端是一家自己也在做数学的公司，规则就不一样了。

OpenAI公开合集，本意是展示模型的研究能力，结果同时让一部分最该成为用户的人开始收着说话。Buckmaster没有弃用AI，只是把真正的新点子留在了自己手里。