证明变便宜之后，数学缺的不是答案｜Bayes Atlas 前沿观察

本期为前沿观察，不是论文解读：不依据作者本人的研究，而是对一项公开研究事件的评论。 2026 年 10 月 6 日，OpenAI 在 GitHub 公开 openai/math 仓库，发布由尚未公开的内部模型写出的数学手稿。上线时为 722 份手稿、372 个成果家族；10 月 7 日因一处符号错误撤回 3 份、修订 14 份，目录变为 719 份。 本期把这件事拆成三笔账：真不真、新不新、重不重。 #人工智能 #数学 #黎曼猜想 #BayesAtlas