群聊日报：Gowers 说数学正在死去，Opus 5 实测第三天掉链子

2026-07-27 群聊日报

菲尔兹奖得主 Gowers 拒签《莱顿宣言》，写了长文说数学不会死于 AI 无能，而会死于证据过剩——像湖泊富营养化，文献疯长但人类专家消失。他两次亲眼看到 GPT 5.6 Pro 一次性解出他苦思过的问题。群友讨论认为，现在给现有模型做各种外挂（harness）意义不大，下一代模型直接碾压；写论文的速度赶不上出成果的速度，是短暂的套利窗口。另一边，C...

推荐理由：Gowers 拒签《莱顿宣言》并发表长文，核心论点不是 AI 无能，而是 AI 太能产，导致数学界像湖泊富营养化一样被“证据”淹没。他两次亲眼看到 GPT 5.6 Pro 一次性解出自己苦思的问题，这个一手证据让整件事从观点升级为事实。群聊讨论补充了从业者的真实反应：给现有模型做外挂可能是在浪费时间，因为下一代模型会直接碾压，现在是个短暂的套利窗口。信息来自群聊日报，不是原始报道，所以我会先打个折——Gowers 的具体实验细节和模型版本限制都没披露，但核心事实和判断已经足够清晰有力。