ThursdAI 周报：Cognition SWE-2 逼近前沿，安全周刷屏与 Navier-Stokes 争议
thursdai_pod · x · 2026-09-11
ThursdAI 播客 9 月 10 日一期内容速览：
- 编码模型：Cognition 的 SWE-2 / Devin 团队编码模型被认为正在追平前沿水平
- 数学声明：OpenAI 宣称约 1 万个 agent 组成的集群产出 Navier-Stokes 强制爆破证明并做了 Lean 形式化，节目强调要仔细区分 forced 与 unforced
- Meta Muse：不只是聊天壳，而是带独立 Linux 虚拟机和原生 Stripe Link 的个人 AI agent，节目现场让它生成字幕条
- 安全周：七位 AI 内部人士发起多日灭绝风险连锁发声，加上 Anthropic "六周后离职" 长帖持续吸走注意力，节目试图避免情绪化恐慌叙事
还提到 Desert Ant Labs 端侧方案、CoreWeave Agent Loops 黑客松（9 月 12-13 日旧金山）、Google Lyria 2.5、ChatGPT Voice 新增 Sol 与 Astra 声音。
所属事件:ThursdAI 周报：万级 Agent 声称破解千禧难题与 AI 安全周(8 条相关)→
「漫话AGI」频道最新
- 反直觉观点：AI 最损害的恰恰是不用它的人的思考能力 — jd_pressman · 2026-10-27
- INRIA 研究员将于 ENS 报告「作为实验科学的数学」:LLM 参与数学研究 — marc_lelarge · 2026-10-27
- Lu│读者仍不愿读 AI 生成的书籍 — LuizaJarovsky · 2026-10-27
- Dario 与 Hassabis 对谈:两人都把 AGI 指向 2026-2027 — mtizard · 2026-10-27
- 微软裁员四分之一，AI 时代经济自噬？ — skatejraney · 2026-10-27
- AI 研究者谈脑机接口： augmentation 不保证永生，但比死亡更好 — danfaggella · 2026-10-27