OpenAI放出722篇数学手稿，多数未经验证

OpenAI 在 GitHub 上突然甩出 722 篇数学手稿，作者栏只写着 OpenAI。

这批东西出自一个还没发布的内部模型。团队先投喂了约 4000 道题，筛出 372 个结果族。平均每个结果只花 ChatGPT Pro 跑三个小时，半个月就堆出了这波材料。

但多数没经过机器验证。只有 162 篇的主结果被 Lean 核对过。剩下大半全靠 OpenAI 自己判断，仓库说明也老实交代“可能存在问题”。

普林斯顿高等研究院刚建议公开模型名和提示词。OpenAI 转头就把算力平均值交了差，模型名、逐条提示词一概没有，还声明不受约束。

陶哲轩直接吐槽这种做法是在“不可持续地收割”解法。现在有些未解方向怕被抢，已经不敢再公开了。