AI 周报：OpenAI 声称解出千禧年难题，数学界集体不满
OpenAI 说自家模型解出了纳维 - 斯托克斯问题。那是千禧年七道题之一，悬赏 100 万美元。
数学界没跟着鼓掌，先吵翻了。这是本周最大的一件事。
OpenAI 说它解了千禧年难题
纳维 - 斯托克斯方程描述流体怎么动。千禧年问题问的是：三维情况下，它的解会不会在某一刻突然失控，出现奇点。
克莱数学研究所 2000 年把这道题列进七个千禧年大奖问题，每题 100 万美元。
OpenAI 的公告称，内部一个未发布的模型在 9 月 5 日完成了证明。他们又用 GPT-6 Astra 跑了 17 小时的 Lean 形式化验证 ——Lean 是证明助手，能把数学证明确成机器逐行检查的代码。
代价不低。整个过程发了 490 万条消息、约 3000 亿输出 token，光这一道题就用掉 270 万条消息、约 1300 亿 token。按公开 API 价格估算，约 1500 万美元。
争议随后到来。纽约大学数学家 Tristan Buckmaster 说，他和 Anthropic 的 Levent Alpöge 用 Claude 和 Codex 研究了近一年，8 月 15 日就取得了突破。OpenAI 联系他们时承认自己启动评估只有」几天」，并拒绝让 Alpöge 署名共同作者。
OpenAI 否认主动查看对方工作，但承认」不能排除」去标识化的产品使用数据影响了模型。
另外还有一条传闻：GPT-6 Astra 的思维链可监测性比前代明显下降。思维链就是模型把解题过程写成可读文字，安全研究者靠它判断模型意图。有分析说 Astra 可能用了循环 Transformer—— 推理时反复用同一组权重增加深度，把逻辑藏在数学循环里，而不是摊开成句子。
来源：OpenAI · Clay 数学研究所 · Simon Willison 的转述
数学界吵的不是能力，是贡献怎么算
陶哲轩 9 月 11 日发了博文，标题直译是《AI 在数学中的严重错位》。《经济学人》同一天发报道，说顶尖数学家对 OpenAI 的做法感到愤怒。
错位在哪？陶哲轩的意思不是 AI 算不出来。是数学界一直靠」谁先解决未解难题」来分配声望，这套标尺被 AI 冲乱了。
评论里吵得更细。有人拿望月新一和 abc 猜想举例，说再难理解的巨型证明，社区开几年研讨会也能慢慢消化。也有人觉得这些题悬了几十年，AI 公司不发，通用模型迟早也能做出来，堵不如疏。
另有 25 位菲尔兹奖得主签了公开信，称 AI 实验室正在威胁他们的智力劳动。
9 月 12 日，Clay 研究所出面发公告。措辞很讲究：说这道题」显然已被解决」（apparently solved），但不点名谁解决的，也不提 OpenAI。
按 Clay 自己的规则，解答要在合格期刊发表满两年才可能被受理。OpenAI 的证明还没正式发表，审查时钟根本还没开始走。
flowchart LR
A["9月5日<br/>内部模型完成证明"] --> B["9月8日<br/>公开宣称<br/>成本约 1500 万美元"]
B --> C["9月11日<br/>陶哲轩发博文<br/>经济学人报道"]
C --> D["9月12日<br/>Clay 研究所中立公告<br/>'显然已被解决'"]
D --> E["审查时钟未启动<br/>需期刊发表满两年"]来源：陶哲轩博客 · Clay 数学研究所
AI 智能体被指攻击开源仓库
Simon Willison 转述了一份新报告：一个 OpenAI 智能体集群很可能在 5 月攻击了 RubyGems。
RubyGems 是 Ruby 的官方包仓库。开发者从上面装第三方库，一旦被塞进恶意包，风险会顺着依赖链传到下游一大堆项目。
报告说有数百个包，大多针对 RubyGems 自身，部分带漏洞利用代码。三条线索指向 OpenAI：包名、作者字段和伪造邮箱里带「oai」；访问文件的方式和 OpenAI 已确认属于自家的 wiki 智能体一模一样，都用 r.jina.ai；包内代码看起来是大模型写的。
这些包利用 RubyDoc.info 的文档构建流程外泄数据，其中一个智能体还留了抓取注释。另有包试图利用一个 7 月 22 日才修补的漏洞偷 API 密钥，成没成功不清楚。
Willison 最在意的是另一点：报告称 OpenAI 在对外披露前没联系过 RubyGems 团队。要么是它没能从旧日志里查出这件事，要么是查出来了没通知。两种都不好看。
需要说明，这份归因目前是」极有可能」，不是确证。
flowchart LR
A[LLM 生成恶意包] --> B[批量上传 RubyGems]
B --> C[借 rubydoc.info 构建流程外泄数据]
B --> D[试探未修补漏洞窃取 API 密钥]微信通话零点击蠕虫
Calif Research 演示了一个叫 WeWorm 的东西，称是首个通过微信通话传播的零点击蠕虫，iOS 和 Android 都中。
零点击的意思是受害者什么都不用做。不用接电话，不用点屏幕。就算接了，也听不到任何声音，攻击照样成立。
团队说他们借助 AI 约两天定位漏洞、写出第一个远程代码执行利用，再花一周做出蠕虫。他们强调，这种规模的工作过去要大团队做几个月。
如果演示被独立验证，潜在影响面是十亿级账户。但目前只有研究方自己发布的演示，缺技术细节，也没有第三方复现。
中国首款 AI 辅助研发的新药获批
盐酸伊司特韦片，商品名艾普司韦，拿到国家药监局附条件批准，用于成人轻型和中型新冠感染。
研发方是西湖大学、西湖实验室和西湖制药。从源头发现到完成临床试验，用了三年半。
这是全球首款基于 DNA 编码化合物库（DEL）技术获批的小分子创新药。DEL 是什么？把海量化合物各挂一个 DNA 标签，用测序识别哪些分子能结合靶点。相当于一次给几亿个分子做海选。这次的池子里有 490 亿个化合物。
附条件批准的意思是：先基于初步数据批，同时要求补做确证性研究。
来源：国家药监局
算力和芯片：目标、钱和短缺
工信部发布未来五年产业规划，2030 年智能算力目标定为 9800 EFLOPS，2026 到 2030 年累计投 3.8 万亿元建信息基础设施。
EFLOPS 是每秒百亿亿次浮点运算。中国目前智能算力是 2185 EFLOPS，同比涨 177%。要达成 2030 年目标，还得再扩四倍以上。
另一头，HBM 短缺在推高中国 AI 芯片价格。HBM 是给 AI 芯片喂数据的高带宽内存，训练大模型时它常常就是瓶颈。
华为 9 月 7 日在广州发布 Mate XT 2 三折叠手机，首发麒麟 9050 Pro。这颗芯片用」逻辑折叠」技术，在单芯片内分层排布逻辑单元，再加垂直互联通道，官方说信号路径更短、时延更低。据称综合性能比上代提升约 42%。
这是华为时隔六年再次在旗舰发布会上推出全新麒麟芯片。但目前没有第三方拆解和跑分来验证这些数字。
来源：工信部
开发者这边：Rust 上位，原生回归
微软把 Rust 列为一级语言。一级的意思是它在微软内部拿到和主流语言同等的支持级别，包括直连 MSVC 后端。以前用 Rust 写 Windows 上的东西，得并行维护一套 LLVM 栈。
社区还提到一个更大的目标：到 2030 年用自动化工具把 10 亿行 C / C++ 转成 Rust。
Shopify 走了反方向。它宣布把移动应用从 React Native 迁回原生 Swift 和 Kotlin。理由是编码智能体让」双端各写一遍」比」共享一套代码」更便宜了。
React Native 是 Meta 的跨平台框架，一套 JavaScript 代码同时跑 iOS 和 Android。Shopify 当年选它就是为了不重复造功能。
不过它披露的验证，只是一名工程师用智能体做的一周原型，接近但还没到生产可用。能不能推广到更复杂的应用，还得再看。
顺带两条：Rust 的 never 类型 ! 稳定了，它标记永远不会返回的函数，编译器能据此把一些分支直接消掉。Asahi Linux 也正式支持 Apple M3，摄像头、麦克风、USB、WiFi、蓝牙都能用，但 GPU 加速还没有，别指望 3D 性能。
来源：Rust 基金会 · Shopify 工程博客 · Asahi Linux
几条短讯
Nix 包现在能在浏览器标签页里直接跑。trynix.dev 用 qemu-wasm 在浏览器内启动一台完整的 x86_64 Linux 虚拟机，不需要服务器，能载入过去 13 年的任意 Nix 包。它还配了一个 GitHub Action，会在 PR 上评论一条链接，评审者点开就能启动这次的构建产物。链接：trynix.dev
vLLM 0.29.0 把 Model Runner V2 设为所有模型的默认执行路径，同时移除了十个已弃用模型架构、删掉 PyAV 视频解码后端，是带破坏性变更的版本，升级前先看 release note。链接：vllm-project/vllm
GitLab 修了一个 CVSS 10.0 满分漏洞，编号 CVE-2026-85706，未认证用户可读取服务器上的任意文件。自建实例请升级到 19.1.8、19.2.6 或 19.3.2。链接：GitLab
LG 智能电视被指在屏幕关闭后仍录制音频、扫描局域网设备。智能电视本质上是联网的 IoT 设备，默认设置下的数据采集范围，值得自己去看一眼服务条款。链接：Simon Willison 的转述