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 声音。
「漫话AGI」频道最新
- Gary Marcus:机器人领域别重蹈对齐欠账的覆辙 — GaryMarcus · 2026-09-11
- 混拍还是纯 AI?独立 AI 电影人力挺 100% AI 制作的未来 — taherdhanera · 2026-09-11
- Drexler 新文:HF 事件证明系统结构可改变模型行为 — mattbeane · 2026-09-11
- CNBC 发文探讨递归自我改进风险,Conitzer 获引述 — conitzer · 2026-09-11
- Gary Marcus:靠社群压力阻止 AI 实验室变得更富更强 — GaryMarcus · 2026-09-11
- 「多数领域其实很浅」引交锋:binarybits 认为领域深度被严重低估 — binarybits · 2026-09-11