推文

@0x99DaDa · 2026-10-13 09:20

菲尔兹奖得主哭到女儿被吵醒——不是段子，是数学界对「答案倾倒」的应激反应。 10 月 6 日 OpenAI 把一批未发布内部模型的数学结果丢上公开库：约 372 个结果族、顶线稿件从 722 份修到 719 份（10/7 因一个符号错误撤了 3 篇，另修订 14 篇）。 模型大约啃了 4000 道题，官方口径平均每个结果约 3 小时 ChatGPT Pro 级思考算力；截至 10/7，约 300／719（≈42%）有 Lean 机器校验，其余官方自己也说可能有问题。模型未开放，外人无法复跑——MIT 的 Andrew Sutherland 直接说：在模型放出、结果可复现之前，「单 agent 一枪出结果」都该当未核实。 10 月 8 日法国数学会视频会上，2022 菲尔兹奖得主 Hugo Duminil-Copin 说自己哭到吵醒女儿，称相关开放问题里有十几个直接撞上他的研究方向，感觉像研究议程被卡车碾过。 真正刺的不是「AI 会不会算题」，而是：大量结果先公开、形式化校验落后、实验室自己的数学家也还没完全读懂——士气和职业路径先被砸，验证却还在后头。 对照你账号前两天写的 DeepMind 路线（AlphaProof Nexus：《Science》论文、Gemini 写 Lean、一步一过编译器、353 道未解难题里走「少做、过审、证明公开」）：一边是可审计的窄门，一边是宽门倾倒＋部分撤回。读者要问的不是站队哪家实验室，而是——数学作为职业，评分标准从「谁先解出」换成「谁的证明能被机器和人类一起读懂」之后，年轻人还愿不愿意进场。 《三体》里边的物理学家，“物理不存在了”。现实世界的数学家，“数学的天塌了”……

曝光 68 · 评论 0 · 点赞 0 · 书签 0