90 年没人解开的数学难题，被一群智能体捅破了。同一周，另一头的 Claude 在给导弹写代码。把这两件事放在一页上读，你会有点不好受。
OpenAI 智能体解出 Navier-Stokes 千禧年难题，数学圈吵翻了
来源：OpenAI 官网、IT之家、TechCrunch、X
OpenAI 宣布，一组智能体用一个还没发布的模型，给出了 Navier-Stokes 存在与光滑性问题的解。这题悬了约 90 年。思路是从静止出发，构造出有限时间内速度无界、动能有界的解——等于证明方程会「爆掉」。全程烧了 3000 亿个输出 token，按 Astra 的价折算约 2250 万美元。GPT-6 Astra 又花 17 小时做了 Lean 形式化验证。
点评：2250 万美元换一个千禧年难题的答案，这价格五年前说出去没人信。但真正吵的不是钱。NYU 教授 Buckmaster 指控 OpenAI 抢跑：他和 Anthropic 数学家 Alpöge 用 Codex 和 Claude 已经走在这条路上，而两人的草稿疑似被拿去训练。同一份证明，一半人在庆祝，一半人在查账本。
Anthropic 威胁报告：也门一组织用 Claude Code 写导弹制导软件
来源：Anthropic 威胁情报报告、Clash Report、The Decoder
Anthropic 放出 9 月威胁报告，时间线从 2025 年 12 月拉到 2026 年 8 月，一共记了七类滥用。最扎眼的一条：一个被评估为极可能关联胡塞组织的也门小组，用 Claude Code 开发制导火箭的软件。还涉及射程超 2000 公里的弹道导弹，以及一个代号 R2000 的高超声速滑翔载具概念。别的案子也够黑：俄语间谍组织用 AI 代理自动改写恶意软件绕过杀软，还有团队在搭无人在环的自主 FPV 无人机蜂群。
点评：措辞值得抠一下，「关联」不等于「隶属」。Anthropic 发这份报告，一半是安全责任，一半是营销素材。但内容是真的。Claude Code 能干工程活，换个方向也能干这个。工具没立场，用的人有。
英伟达成了 AI 圈的「中央银行」
来源：《经济学人》、Hacker News
《经济学人》给英伟达换了个称号——AI 的中央银行。过去三年，它承诺向初创企业投资超 700 亿美元，向客户提供 3000 亿美元财务支持。今年 8 月，它为俄亥俄州一座大型数据中心兜底最高 1050 亿美元。还拉上六家华尔街机构，想撬动超 5000 亿美元的 AI 基建投资。
点评：卖铲子的开始给淘金的人放贷，这剧本 1990 年代末演过一遍。当年思科和朗讯就是这么给电信客户放贷的，泡沫破了之后一地鸡毛。不是说这次一定重演。但「客户的钱来自卖家」这个结构，本身就值得多看一眼。
Gary Marcus 评 Dario 的放慢提议：三份赞誉，两分怀疑
来源：Gary Marcus Substack
Dario 那篇《We Must Pace the Frontier》出来一天，Altman 和马斯克都点了头。Gary Marcus 泼了盆冷水。他认透明度这块的承诺，但列了几条质疑：METR 和 AI 公司走得太近；Anthropic 一边喊慢，一边拿对华威胁当理由维持加速；这份提议可能只想抢在真正的监管前面。
点评：Marcus 是圈里少见的、谁都敢喷的人。他这几问不算刻薄。一家公司自己承诺「我会慢」，和有人能强制它慢，是两码事。前者是姿态，后者才是规则。我们 09-13 写过 Dario 和 Altman 同框，今天补上异议，这条线才算完整。
Shopify 把 App 从 React Native 全部迁回原生
来源：Hacker News
Shopify 宣布，移动端要从 React Native 全面迁回 Swift 和 Kotlin。理由很直接：当年选跨平台，靠的是「一套代码跑两端」省掉重复开发。现在 LLM 智能体把这笔成本压了下去，那个前提不成立了。
点评：这是本周最实在的一个信号。不是哪家发了新模型，是一家公司默默改了自己的技术栈——因为 AI 改掉了它的成本账。往后值得盯的，是还有多少「历史最佳实践」会因为 AI 悄悄作废。
今日还值得关注的：
- DeepSeek 要上科创板：路透社称已聘中信证券筹备，目标年内递交申请、明年挂牌，新一轮融资的估值目标约 5000 亿元人民币。
- Agent 长任务怎么不跑偏：MarkTechPost 拆了四种机制——上下文预算控制、压缩、todo-state 复述、跨会话记忆。
- V4.1-Flash 强制路由今天生效：9 月 14 日中午 12 点起，发往 v4-pro 的请求全部转到 4.1 Flash，按低价计费。
- Anthropic 推演 AI 与 2030 就业：把经济拆成任务束，做成交互式情景工具，看 AI 怎么改写美国的就业和工资。
- Mistral 用 Agent 搬了四万行老代码：帮一家欧洲能源商把 40,000 行 Fortran 77 储层模拟器迁到 C++，复盘已公开。
- OpenAI 表态支持四项加州法案：涉及独立安全评估、AI 审计师标准、未成年人保护、防 AI 生物威胁。
今天这几条摆在一起，其实在问同一件事。一群智能体能解 90 年没人解开的题，也能给导弹写代码。那我们到底在给谁加速度？你手上的项目，是在补短板，还是在抢时间？