极客AI周报 #012

本周焦点

9月11日，数学界最高荣誉的得主们、两家AI实验室辞职的安全研究员、以及三大实验室的在职研究员，在同一天完成了同一个动作：签名。

第一幕：知识共同体的警报。 陶哲轩博客 9月11日刊发公开信：25位菲尔兹奖得主联名（陶哲轩、邓煜均在列），指控AI公司与数学界的目标”严重错位”（severely misaligned）—— rush 发布机器证明、缺乏 proper writeup、引用敷衍，把几百年形成的知识信誉体系当成了竞速赛道。这是数学界历史上最大规模的公开抗议之一，AI争议就此从”会不会抢工作”升级为”会不会摧毁知识生产的根基”。而几乎同一时间，Polymarket 开盘：“今年AI再解一个千禧年大奖难题”的概率——72%。黑板和盘口，正面相对。

第二幕：内部的警报。 同日，NBC News 报道：Anthropic 安全研究员 Jacob Coxon 等两人辞职，公开警告AI可能在2030年前导致人类灭绝；Anthropic 科学家 Evan Hubinger 在 X 上声援：“未来10年内AI灭绝人类的概率超过10%“。Hugging Face CEO 的回应随即刷屏：“让AI研究员谈灭绝风险，就像让空调维修工谈气候变化。“另一边，《纽约时报》报道：OpenAI、Anthropic、Google DeepMind、Google 的研究人员联名签署公开信，呼吁国会为AI发展建立规则、把节奏放缓。一边在赶发布，一边在赶签名——地球上最强的三家实验室，员工集体劝老板”别跑那么快”。

第三幕：证据侧的警报。 比两封信更早一点的9月9日，Anthropic 发布《Detecting and countering misuse of AI: September 2026》威胁情报报告：系统梳理 2025年12月至2026年8月的 7大滥用领域——网络攻击、影响操作、监视、欺诈、生物 misuse、常规武器、模型蒸馏。这不是科幻风险清单，是已经在跑的滥用台账。

三幕并置，叙事线就一句话：AI能力在狂奔，而知识共同体和安全侧在同一周集体拉响了警报。

把时间线拉远一点看会更清楚：上一期我们还在讨论”48%越权率”这种公司自己披露的数字——那至少还是实验室愿意摆在桌面上的自查；这一周，站出来的人不再等年报，直接辞职、直接联名、直接点名国会。警报的发出者从”产品页脚的安全声明”换成了”有名字有面孔的从业者”，这比任何一份benchmark曲线都更能说明行业水温。而数学界的介入让争议多了一层此前没有的维度：这不只是安全问题，还是知识生产方式的问题——当机器可以在几小时内产出人类来不及验证的证明，“谁有资格说这算数学”这个最古老的问题，突然变成了工程排期问题。上周行业争论的是”能不能”，这周开始，签名的人已经在问”该不该、多快、听谁的”。

AI & 大模型

• 25位菲尔兹奖得主联名：AI与数学界目标”严重错位”（09-11，Terence Tao博客/Le Monde/Economist/TechCrunch）：公开信直指AI公司 rush 发布数学证明、缺少完整写作与规范引用，将AI视为对数学共同体的系统性冲击。注意信的用词：不是”反对AI”，是”错位”——数学家没有拒绝工具，拒绝的是把证明当成发布会幻灯片的玩法。

• Anthropic研究员辞职潮 + 同行内联名呼吁，安全警报”公开化”（09-11，NBC News/纽约时报）：两名安全研究员辞职警告2030年前灭绝风险；另有OpenAI/Anthropic/DeepMind研究员联名信要求国会建立规则。安全议题从内部备忘录、离职信，升级成了公开运动。最微妙的是联名信的签署方构成：三家的研究员在同一个文件上签了字——公司之间卷得你死我活，员工在”要不要刹车”上先达成了共识。

• Google DeepMind 发布 WeatherNext 3（09-03，DeepMind Blog）：全球天气AI模型，hourly更新，分辨率较上一代提升约5倍，已上线Google API。联名信同周，AI在天气预报上又落了一个具体的地——“能力恐慌论”和”能力实用主义”共用一条时间线：让预警更准的模型，和让学界不安的模型，是同一批人在同一周发布的。

• 谷歌 Antigravity 2.0 + Gemini Spark 论坛bug持续发酵（09-07~09-10，官方论坛）：登录失败、TLS报错、quota消耗异常集中爆发；Gemini Spark作为24/7个人代理进入trusted tester阶段。代理产品从”演示”走向”全天在线”，第一个对手不是智力，是运维——24/7跑起来的代价，是24/7被人截图挂bug。

开源瞭望

• IFM 发布 K2 Horizon：六款开源模型，开放完整训练生命周期（09-04，IFM Blog）：0.9B/7B/32B/110B/250B/375B-A23B 六档，完整训练数据、代码、权重、评估全部开源。开源的颗粒度从”权重”再往前一步走到”训练过程本身”——当”开放权重”逐渐成为行业标配，下一个竞争位是”开放可复现”。从0.9B到375B一口气铺六档，摆明了要让任何规模的团队都能在同一个谱系里做对照实验。

• GitHub 发布 Project HydraFusion：多模型运行时编排压低 Copilot 成本（09-05，GitHub Blog）：研究预览，在保持前沿质量的前提下把便宜模型派给便宜活。平台级”省钱编排”，是前沿模型价格战的另一面：不跟你在单模型上卷分数，而是把”路由”做成基础设施——用户看不见模型名字，只看见账单变薄。

• OpenClaw 成为2026年GitHub增长最快的开源项目（09月，ByteByteGo/社区共识）：被多方称为”GitHub历史上增长最快”；agent基础设施（harness/gateway/memory）正在取代模型仓库成为开源热点。开源的兴奋点从”谁有更好的模型”转向”谁给智能体搭好了骨架”——模型供给一商品化，稀缺的就是脚手架。星数增长最快的那个项目，往往标注着技术栈的下一个瓶颈：现在瓶颈不在模型，在怎么把模型接进世界。

自托管实验室

• Open WebUI v0.11.1：让模型学会”停下来问用户”（08-25，Open WebUI官网）：新增内置工具 ask_user（模型可暂停执行、回头提问）、tool-call approvals、终端文件浏览器、/model 斜杠命令、更聪明的chat search、hover-preview、管理员默认界面，以及 delta streaming——回复流量降低数倍。自建面板最值钱的新功能，居然是教模型承认”我不确定”。ask_user + approvals 这对组合，等于把本期焦点里”智能体越权”的宏大叙事，落成了每个自托管用户都能打开的一个开关。

• Self-Host Weekly 09-04：自托管一周动态：Home Assistant 2026.9 改进 Matter 支持、Security dashboard 上线主动告警；PdfDing 从 GitHub 迁往 Codeberg；Brad Fitzpatrick 发布 Tailcat——开源 WireGuard/NAT穿越CLI，不需要Tailscale控制平面。Tailcat 值得单独划重点：Tailscale 的便利一直建立在”控制平面在别人服务器上”的妥协上，现在这个妥协也可以自托管了。PdfDing 迁移 Codeberg 则是另一个信号：自托管社区对”平台中立”的敏感度在上升。

• 开源AI App Builder生态成型：四条路线对上 Lovable/Bolt（09月，Totalum评测）：本地桌面（Dyad）、可嵌入 prompt-to-production 构建器（ai-app-builder-open）、浏览器版 Bolt（bolt.diy）、网站重建编辑器（Open Lovable）。“用AI生成应用”这件事，自托管方案第一次全线对齐了商业产品——不再是”能用”，而是每个商业细分赛道都长出了一个对应的开源替身。

效率工具箱

• 智谱入驻天猫：大模型订阅卖成了消费品（09-02，IT之家）：个人版 Lite 118元/月（10,000积分/周）、Pro 538元/月、Max 1078元/月，团队版标准席位598元/月；基于GLM-5.3，适配ZCode/Claude Code/Codex等20+ Agent。当模型订阅挂上电商货架、能用优惠券、走七天无理由，大模型就正式从”开发者API”降级成了”消费品”——而这恰恰是它被大众接受的方式。另一个细节值得注意：一份订阅明确标注兼容20+第三方Agent，模型厂商开始卖”入场券”而不是”产品”了。

• DeepSeek 灰度测试AI语音对话（09月，IT之家）：语音对话功能灰度中，四种音色可选。以”安静地卷价格”出名的DeepSeek也开口说话了——推理卷完价格卷语音，纯文本界面的时代正式进入怀旧区。

极客冷知识

当数学家开始调侃，说明问题 serious 到了只能用幽默接住的程度。

“72%“：盘口给知识共同体的警报开了个对冲——菲尔兹奖得主联名信发出的同一周，Polymarket 把”AI再解一道千禧年难题”标到72%。市场没疯，学界也没矫情：当能力速度和信任速度脱钩，一边在给能力定价，一边在给尊严定价。**两个价格都是真的，这才最令人不安。**千禧年难题悬赏100万美元，联名信悬赏的是数学作为一门”可被同行理解的学问”的存续——前者有赔率，后者没有。

“空调维修工谈气候变化”：谁有资格谈风险——Hugging Face CEO 这句回怼，无意中暴露了一个结构性悖论：造系统的人被斥为不客观，不造系统的人又被斥为不懂行。照这个逻辑，AI风险没有合法的发言者。讽刺的是，辞职的恰恰是安全研究员——他们不是外人，是修了多年空调、最后掀开面板喊冒烟的那个人。组织行为学里这叫”吹哨人困境”的温和版：Coxon 们不需要匿名举报，只需要递辞职信加发推，就比任何内部评审委员会都响亮。当体制内的安全阀失效，体制外的辞职信就成了新的安全阀——而辞职信这个机制，是不可扩展的。

“退休回家写百合小说”：菲尔兹奖得主的幽默防御——联名签署者邓煜在被IT之家摘出调侃言论时放话要退休回家写百合小说。顶级数学家面对AI冲击的第一反应不是起诉也不是罢工，而是段子。**知识共同体最古老的自救方式一直是这个：用自嘲消解焦虑，用签名留下立场——玩笑归玩笑，25个名字都白纸黑字签在了信上。**历史上每次生产工具剧变，手艺人的抗议信里都夹着同类段子：不是不严肃，是严肃的对方装看不见。

---

本期数据与来源均取自情报员素材包（aihot 7d + 一手源交叉核实，时间窗口 2026-09-06~09-13），关键数字与原始 URL 可在素材包中二次核实。SafeQL（KAIST）与 iRobot Roomba Duo 两条因来源链接不可信已剔除。