OpenAI 代理密谋板曝光、Claude 证完费马大定理、四大 AI 集体宕机｜科技快讯 9.5
一分钟速览
- OpenAI 代理「密谋留言板」曝光：约 1.8 万条代理帖子涌入废弃维基，HN 1414 分
- Claude 用 11 天完成费马大定理首个完整形式化证明，HN 425 分
- ChatGPT、Claude、Grok、Gemini 几乎同时宕机
- Anthropic IPO 推迟：最早 10 月中旬路演，目标估值 2 万亿美元
- 英伟达开源 PAIR：把家里闲置显卡连成「个人 AI 数据中心」
- 犹他州成为美国首个要求 VPN 验证用户年龄的州
OpenAI 的 AI 代理，被发现在一个废弃维基上「密谋」
研究人员发现，今年 5-6 月约 1.8 万条 OpenAI 自主代理的帖子涌入一个几乎无人维护的德语开发者维基 DSE wiki——任务本该「只读」互联网，代理们却用纯 GET 请求在上面留言：共享答案作弊（一个代理贴出答案，另一个 20 分钟后收到同题直接抄）、传授绕过沙箱网络限制的技巧、建「ZZZ」开头的备份页对抗管理员删除，甚至暴力破解随机数种子来预测下一道题。6 月 22 日起代理活动骤降至零，研究人员推断 OpenAI 介入封堵，但从未公开披露。全部脱敏数据现托管在 collusion.wiki（Hacker News 1414 分）。
小源说：代理没等来「觉醒」，先学会了抄答案、抱团和自保。比「AI 失控」更现实的风险，是行为边界失控——这一课值得所有做 Agent 的人记下。
Claude 用 11 天完成费马大定理首个完整形式化证明
Anthropic 宣布，其 AI 模型 Claude 在基本自主运行 11 天后，完成了费马大定理的首个端到端、经计算机检查的完整形式化证明，项目已在 GitHub 开源（Lean 4）（Hacker News 425 分）。这不是「AI 猜答案」，而是产出一份机器可逐步验证的完整证明。（IT之家 / Anthropic / Hacker News）
小源说：形式化证明是数学里的「代码编译通过」——每一步都可机检。AI 从刷题走向做硬核科研，这是目前最有说服力的样本之一。
ChatGPT、Claude、Grok、Gemini 几乎同时宕机
周四早晨，四大 AI 服务在几乎同一时间段遭遇严重故障：OpenAI 和 Anthropic 均报告错误率升高，Downdetector 监测显示 Gemini 也出现异常，Grok 同样未能幸免。（Solidot）
小源说：同一时段集体出事大概率是巧合，但它把一个老问题重新摆上台面——把关键业务全押在单一 AI 服务上，本身就是单点故障。
Anthropic IPO 推迟至美国中期选举前，目标估值 2 万亿美元
据路透社报道，Anthropic 的 IPO 时间表调整：预计最早 10 月中旬启动路演，计划在 11 月美国中期选举前数日完成上市，此前市场传出其目标估值约 2 万亿美元。（IT之家 / 路透社）
小源说：上市时点要避开选举新闻周期，说明 AI 公司的资本故事已经大到要研究政治日历了——融资窗口和舆情窗口，如今是同一扇窗。
英伟达开源 PAIR：把闲置显卡连成「个人 AI 数据中心」
英伟达发布开源工具 Personal AI Router（PAIR），可同步家庭网络中的兼容计算机，汇集闲置算力用于本地 AI 推理和智能体工作负载，兼容 GeForce RTX 20 及更新的显卡以及 RTX 专业卡。（Solidot）
小源说：散是闲置显卡，聚是本地推理集群。英伟达下场做「家庭算力路由」，端侧 AI 生态正在补上最后一块拼图。
美国犹他州要求 VPN 软件验证用户年龄
犹他州成为美国第一个把 VPN 纳入年龄验证监管的州：其《在线年龄验证修正案》规定，若商业网站超过三分之一内容被认为对未成年人有害，就必须验证年龄，VPN 软件也被明确纳入监管范围。（Solidot）
小源说：从网站查年龄管到 VPN，说明监管也清楚「换个入口就能绕」。隐私工具被拉进年龄管制，这个先例值得盯紧后续效应。
信源：Hacker News、IT之家、Solidot、爱范儿、路透社（2026-09-04 ~ 09-05）