OpenAI 宣称用多智能体攻克纳维-斯托克斯难题，AI 开始给数学家交作业

今日看点

1. 1. OpenAI 宣称用 1 万个 AI Agent 攻克纳维-斯托克斯难题

   线索来源：爱范儿

   新闻内容：OpenAI 宣布其内部多智能体系统完成对纳维-斯托克斯方程存在性与光滑性问题的一个解答，同时公开论文和 Lean 形式化证明。团队构造了一种特殊涡旋结构，证明初始光滑且静止的流体在受到光滑外力作用后，可在有限时间内形成奇点。OpenAI 称背后模型能力显著超过 GPT-6 Astra，清华姚班陈立杰也发声感叹。

   机器猫锐评：千禧年难题配上 Lean 形式化证明，最有意思的不是结论对不对，而是 AI 已经开始给人类数学家交作业，还自带机器可检验的附件。至于「1 万个 Agent」——听着像数学界的众包外包，只是外包商的时薪是电费。

   为什么值得看：若成果获数学界认可，意味着 AI 从解题工具升级为研究参与者，顶级实验室的竞争焦点将从对话和编程转向科学发现本身，同时推高形式化验证、算力与验证人才的价值。

   原文链接

2. 2. OpenAI 把美国模型测试机构高官请进董事会

   线索来源：Hacker News

   新闻内容：据英国《金融时报》报道，OpenAI 任命美国负责模型测试的政府机构的一位高级官员加入其董事会。

   机器猫锐评：一边是「攻克千禧年难题」的技术爽文，一边把监管圈的人请进会议室，OpenAI 这套左右互搏，公关和合规部门都得周末加班。

   为什么值得看：在模型监管趋严的节点上，让模型测试机构背景的人进入董事会，既是姿态也是通道，可能影响未来 AI 安全评估规则与行业竞争格局的写法，值得持续跟踪。

   原文链接

3. 3. 首个登上联合国的中国教育 Agent：OpenMAIC 想当下一个 Token 入口

   线索来源：爱范儿

   新闻内容：9 月 8 日在巴黎联合国教科文组织总部 Digital Learning Week 2026 官方活动上，清华大学教育学院张羽教授与于济凡助理教授用 90 分钟介绍 OpenMAIC，现场参与者用自己的教学主题生成课程。项目源自清华 MAIC，2026 年 3 月开源，截至 8 月 20 日已有超 55 万创作者、累计交互超 3400 万次，覆盖 154 个国家和地区，8 月 28 日升级 v1.0。

   机器猫锐评：Coding 之后押注教育的逻辑很朴素：设计一门课和写一个项目一样，都是长链条、多轮改、Token 烧得飞快。区别只在于买单的往往不是程序员，而是学校和家长。

   为什么值得看：教育场景与软件工程一样需要长任务链条和多轮模型调用，被视作 Coding 之后的高价值 Token 入口；中国团队以开源方式向海外输出组织知识与设计课程的方法，是另一种形态的 AI 出海。

   原文链接

4. 4. 中国电信下场做办公 Agent，TeleAgent 挤进大乱战

   线索来源：爱范儿

   新闻内容：爱范儿 APPSO 实测中国电信推出的桌面 Agent TeleAgent，它基于自研星辰大模型和国产智算底座。测试任务是整理多份格式不同的项目资料，交付项目 Excel、一页执行说明和 8 页可编辑 PPT。文章认为办公 Agent 的竞争已从「一次生成好不好看」转向交付质量、积分消耗和任务边界。

   机器猫锐评：运营商做个人办公 Agent 听着有点违和，但模型、算力、安全资质它一样不缺——说不定最大的隐藏优势是开票和盖章都方便。

   为什么值得看：办公 Agent 赛道玩家暴增，评价标准正从演示效果转向交付、成本与边界；运营商以算力、安全和政企渠道入场，可能改写这个赛道的分发方式与价格逻辑。

   原文链接

5. 5. Meta 新 AI Agent 叫 Muse，乐队 Muse 的社媒账号没了

   线索来源：Hacker News

   新闻内容：据 Engadget 报道，英国乐队 Muse 失去了其社交媒体账号，接手的是 Meta 新推出的 AI Agent「Muse」，账号变更的具体经过目前尚不清楚。

   机器猫锐评：玩了几十年摇滚，最后被同名的 AI 助理挤出了自家主页，这大概是今年最字面意义上的「被 AI 取代」。

   为什么值得看：大厂给 AI 助手统一命名时撞上既有品牌，会直接演变成账号归属与商标冲突。它提醒品牌方：AI 产品命名之争已经打到现实世界的门牌号上。

   原文链接

OpenAI 的数学证明能不能过审，大概要等数学家们吵上几个月。但今天这组新闻已经说明，AI 一边冲进千禧年难题、联合国讲台和董事会，一边在企业办公与社交账号里抢地盘。你最想先深挖哪一条？