Odyssey 预告长夜将至

今天我们发布 Odyssey-3，这是基础世界模型的一大步。 它能控制机器人、驱动机器人本体、驾驶汽车（在印度的道路上！）、训练 AI、操控无人机，甚至玩电子游戏。 我们迫不及待想看到它能赋能哪些智能系统。

World models， part 3. Tomorrow.

世界大于工作区。

开始有生命感了。

今晚内容有点杂。

Odyssey 发布一条配视频的推文，正文仅为 One of those evenings.，未给出具体产品或事件信息。

Gary Marcus 引用 NYT 报道称 Trump 出于经济考虑淡化 AI 恐慌、抵制监管，并转发 Katie Bo Lillis 的报道，一份 AI 辅助情报报告因模型幻觉误判一艘中国船只运载核武部件，美军紧急拦截，据称"几乎引发战争"。

Ethan Mollick 撰文指出 GPT-6 Astra 和 Fable 5.1 已能可靠完成数周量级的人类工作，但大多数人远未用尽其能力，形成能力悬差。

Gary Marcus 撰文称，近期真正应担心的不是失控的超级智能，而是被放开的 agentic AI 造成互联网规模化的黑客攻击。

Trail of Bits 在审计 Miden zkVM 前，让 Agent 用六个月从零构建了 MASM 的 LSP 服务器、反编译器、静态分析引擎和 Lean VM 执行器模型。这些工具发现了可让恶意 prover 伪造 Falcon 签名盗取资金的高危漏洞，静态分析定位了 400 多处类型验证缺陷，Lean 工作产出 95 个机器验证的正确性证明，还发现两个单元测试未捕获的细微 bug。