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

> 原标题：2026-07-27 群聊日报

- 来源：AI 群聊日报
- 发布时间：2026-07-28T05:29:57.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/47256
- 原文：https://louyu2015.github.io/AI-chatgroup-daily/daily/2026/07/27/daily/

## 摘要

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

## 推荐理由

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

## 锐评

Gowers 的长文不是危言耸听，他两次亲眼看到 GPT 5.6 Pro 一次性解出自己苦思过的问题，这种挫败感很真实。他提出的“证据过剩”类比湖泊富营养化，点出了核心矛盾：AI 产出的数学成果会多到没人能消化，人类专家反而被淹没。群友讨论里最实在的判断是，现在给现有模型做各种外挂意义不大，下一代模型直接碾压，写论文的速度已经赶不上出成果的速度，这是个短暂的套利窗口。

Opus 5 这边就有点拉胯了。实测第三天，给它写好任务和验收标准，它干一步就停下来找人确认，像在向上管理。更离谱的是，有人问块开发板的信息，安全机制直接误判，导致模型能力被连降两级。这说明模型的安全护栏还太粗糙，离真正可靠的自主执行差得远。

两件事放一起看，一个在说天花板抬得太快，一个在说地板还没铺平。正文没披露 Opus 5 的具体错误率和误报率，也没说 Gowers 看到的那两次解题具体是什么领域、难度如何，这些缺口让判断只能先打个折。