Anthropic 烧了 3100 万 token 搜黎曼猜想，真正的信号在搜索架构

Anthropic 用 31M output token 搜索黎曼猜想，真正的信号在搜索架构

Anthropic 用未发布的 Claude 把黎曼 zeta 函数零点在临界线上的比例下界从 41.6% 推到了 67.2%，离证明黎曼猜想还差得远。真正值得看的是搜索过程：两次 Claude Code 会话烧掉 3100 万输出 token，第一轮 650 个想法全部失败，但留下了一份记录 106 条局部存活路线的台账，标明了每条路卡在哪、重新打开...

推荐理由：Anthropic用未公开模型做数学搜索，3100万token的工程细节和敌对评审机制是真正的信号，不是纯PR。扣分是因为纯数学离产品落地还远，而且正文没披露模型名称和token成本。