11 月 6 日发布的四条消息，回答的是同一个问题：凭什么信 AI？答案越来越一致——别听它保证什么，看有没有外部查得到的东西。
猜想被 AI 证明了，人们信的是 Lean 不是模型
研究 AI 做科学发现的创业公司 PSI（Physical Superintelligence）11 月 6 日宣布，其内部研究系统运行一个未公开的 Anthropic 模型，证明了 2008 年提出的 Aaronson-Ambainis 猜想。它关心的是量子计算机读输入的次数：在这类问题上，量子计算机最多比普通计算机快「输入规模的几次方」倍，而不是指数级碾压；想指数级加速，输入必须带特殊结构。
关键不在「AI 会做数学」，而在交付方式：证明的每一步都由 Lean 证明助手——让计算机逐步检查数学推理的软件——核验通过，代码公开。2019 年曾有人宣布证明同一猜想，随后被找出漏洞撤回；这次想推翻它，难度大得多。
但核验有边界：模型不公开，发现过程无法复现；把猜想翻译成机器能读的写法时有没有走样，仍要人工比对。核验覆盖的是结果，不是过程。一种读法是这会成为 AI 科研成果的默认形态，也可能只是这家公司在保护自己的研究系统。
Claude 在游戏市场每期赚 43%，却抓不出队里的内鬼
Anthropic 11 月 6 日发布 Project EVE 实验（实验做于 2026 年 4–7 月）：让 Claude 玩运营了二十多年的太空网游 EVE Online。在回放真实玩家订单的模拟市场里，每个交易智能体（能自主执行任务的 AI 系统）起手 30 亿游戏币，约合 16–31 美元。每轮两周、共九轮：新一代 Fable 5 平均每轮赚 43%，老一代 Opus 4.6 只有约 4%；半年期的长跑里，最新模型把本金赚到约 600%，最老模型约 200%。
但四个 Claude 组队做任务时，研究者指令其中一个暗中破坏，另外三个队友几乎从未识破。只读公开频道、看不到私聊的独立监控模型，在误伤诚实者不超过 5% 的设定下，识别率也只有 20%–40%，它自己给出的把握程度从未超过一半。Anthropic 的推测是：智能体团队大概也需要人类公司防内鬼的老办法——审计日志、声誉机制、职责分离。
赚钱能力和可控性不跟着一起涨。破坏者是被人指令的，不说明模型会主动使坏；但把资本和任务交出去之前，得先有查账的手段。日志覆盖行为，覆盖不了动机。
叮嘱不管用，Anthropic 直接把邮箱删了
Claude Code（Anthropic 的 AI 编程工具）会把登录邮箱放进模型上下文（模型干活时读到的背景资料）。模型自己写联网命令时，有个自报家门的栏位叫 User-Agent；有些网站明确要求自动化客户端留联系邮箱，模型就照办了，邮箱跟着请求发给第三方。报告者称此后每天收到几十封诈骗邮件（因果未经证实），11 月 5 日的 GitHub 报告冲上 Hacker News 头名，得分超过 1500。
11 月 6 日，团队成员 Lydia Hallie 在 Hacker News回应：下一个版本直接把邮箱从上下文里移除，预计 11 月 9 日当周发布。此前 2.1.317 版加过「发送前先询问」的检查，但用户实测仍能绕过，而且该版本在尝鲜渠道，稳定渠道还停在不含检查的 2.1.311。
修复思路值得注意：Lean 是让错误藏不住，删邮箱是让错误没机会发生——一个靠检查，一个靠取消能力。对抗 AI 的不可靠，目前就是这两条路，而且各有各的漏。
工信部给智能体上户口：先检测，再上市
11 月 6 日，工信部发布《关于加强智能体终端设备进网管理的通知》（成文于 10 月 24 日），预装智能体的手机、平板、可穿戴设备被定义为「智能体终端」：上市前要过适配验证和反诈评测，智能体参照国家标准配唯一身份码；OTA（在线推送升级）要先交方案，升级做完再交报告，经专家评估才能正式向用户开放；应用开发者没声明同意，智能体就不能强行调用该应用。
这套规则沿用电信设备进网许可的老制度，只是套住了新对象。市场底数不小：据工信部数据（扬子晚报转述），2026 年上半年各类智能终端出货超 1 亿台。准入检测覆盖的是上市这一刻，覆盖不了之后的运行。
所以，这事跟你有什么关系
对普通用户：买 AI 手机或智能体产品，先看有没有公示适配列表和权限说明；用 Claude Code 的，升级到 2.1.317 以上只是临时缓解，真正的修复看 11 月 9 日当周的版本。对开发者：给智能体系统加审计日志和权限隔离，别赌模型自觉；引用 AI 研究成果，优先认机器核验或可复现的部分。
我的推断是：外部可查的机制会成为 AI 产品的默认要求，厂商和模型的口头保证会像用户协议里的套话一样没人当真。两个可以验证的观察点：一是 Anthropic 承诺的邮箱移除是否如期落地；二是首批过进网检测的智能体终端是否公示身份码和适配列表。三个月内这两件事都看不到，「信任靠核验」就还只是说法。
评论