Box CEO Aaron Levie
他认为 agent swarm 会成大事：大量工作（研究、数据处理、发现、测试）其实只受「人能投入多少时间去规划、执行、复核、协调」约束，因此相对经济价值做得太少。Agent 能用工具、写代码、有领域深度并能互相协作后，你就可以靠砸算力 / token去解任意复杂问题——网安、生命/材料科学、交易、QA、数据处理等，在模型够强时本质上都是算力约束问题。竞争格局也会随之改写。
他认为 agent swarm 会成大事：大量工作（研究、数据处理、发现、测试）其实只受「人能投入多少时间去规划、执行、复核、协调」约束，因此相对经济价值做得太少。Agent 能用工具、写代码、有领域深度并能互相协作后，你就可以靠砸算力 / token去解任意复杂问题——网安、生命/材料科学、交易、QA、数据处理等，在模型够强时本质上都是算力约束问题。竞争格局也会随之改写。
OpenCode 遭攻击后，他们团队协助：同为 OpenAI API 客户的 OpenCode 用户恢复可用，并退还攻击期间被抽走的额度。同时开放申请 Daybreak Blue——面向防御的 cyber permissive 配置；并指向 chatgpt.com/cyber。原话大意：别等出事了再来找我们。
他越来越常觉得：与其打需要动脑的游戏（如英雄联盟），不如 vibe code 游戏的一小块更有趣。制作角色与关卡本身成了钩子——他设想把游戏开源，让玩家用 vibe code 自定义角色并由系统自动平衡。机制会像 Salty Bet 式自动对战，还是 Persona / Heavy Rain 式过场选项，他还在摸索。
他喊话：Data engineers > AI engineers——「RAG 选手」与真正懂 Designing Data-Intensive Applications 那路人之间的需求落差，是他入行以来最大的。若你的博客 / GitHub 全是这类硬核数据工程内容，他有 SF 优先的岗位（可 relocation、签证友好），投 jobs@latent.space。
他转述 Anthony Pompliano 的招聘实验：与其多轮面试，不如给候选人两周 work trial，直接做一个真实功能——对方摸清现状后把功能做出来，是否能共事的问题也就答完了，还顺手 shipped 新功能，不必空耗四周面试流程。
pstack v0.15.27 上线 beta 技能 /create-formal-verification-skill：按你要验证的特性自动生成技能 + 形式化验证套件（例如用 TLA+ 建模状态机/并发，或用 Rust 的 Kani / Bend 在本语言里写证明）。她认为形式化验证从未普及是因为建模与证明太难、难与业务同步；但若能证明「代码做了你想做的事」，就等于给 agent 写正确软件的超能力。她已用该技能生成的 TLA+ 模型挖到若干 bug。
针对「chat 是不是 agent UI 终局」的投票（约 70% 说否），她看到两派：一派把 agent 当作赛博格式心智延伸（未来 BCI 让「打字聊天」消失，直觉像 system 1）；另一派把 agent 当独立他者——像同事朋友一样用语音/文字协作就够。她问读者站哪边，或是否居中。