celebrityanime

Trail of Bits 用 Agent 为 Miden zkVM 审计自建 LSP、反编译器和 Lean 形式化证明

安全公司 Trail of Bits 在审计 Miden zkVM 时，没有直接让 AI 找漏洞，而是先用六个月时间让 Agent 从零搭出 LSP 服务器、反编译器、静态分析引擎和 Lean 形式化模型，结果工具本身先挖出一个可伪造 Falcon 签名、盗取账户资金的严重漏洞。

前 Docker 核心维护者 Justin Cormack 用约 35 万行 Rust 代码构建 S3 兼容对象存储，借此复盘 AI Agent 参与大型系统工程时的评估方法：真正的抓手不是 100% 覆盖率，而是可对照、可复现的证据。

有研究团队借助 Anthropic 的 Claude Opus 5 模型，发现了 OpenAI 产品中的安全漏洞并成功入侵，最终获得 6500 美元漏洞赏金。这既是一次典型的 AI 安全研究案例，也把"用大模型找漏洞"这件事推到了台前。

Google 旗下 Envisioning Studio 与两位时装设计师合作，用 Google Flow 定制了两款 AI 工具，分别用于虚拟造型搭配和秀场可视化，并在 2026 年 9 月的纽约时装周上实际投入使用。这意味着 AI 在时尚行业的角色，正从概念演示转向嵌入真实生产流程。

Google 扩充其 AI 与经济研究团队，引入诺贝尔经济学奖得主 Philippe Aghion 等学者，并任命两位研究总监，系统追踪 AI 对就业、生产力和全球经济增长的实际影响。

曾因音乐分享引发版权大战的 Napster，如今转型 AI 平台，与迪拜教育集团 Gems Education 合作，为教师打造可全天候答疑的“数字分身”。这代表 AI 教育应用正从通用聊天机器人走向基于个人教学数据的定制化智能体。

Google Labs 负责人 Josh Woodward 公开推荐在手机上使用 Gemini Notebook，称其故事"很酷"。这释放出一个信号：Google 正把 NotebookLM 这类基于大模型的 AI 研究/笔记工具，从桌面端推向移动端场景，让普通用户随时调用。

Claude 官方账号透露，其项目正在引入一种“跨会话共享记忆”能力，让 Claude 能记住发布改到周五、动计费服务前该找谁这类上下文。这指向一个趋势：AI 助手正从单次对话工具，变成能长期跟随一个项目的协作成员。

Claude 官方账号透露，Threads 目前运行在云端，因此用户电脑离线时任务仍会继续，但它暂时无法访问本机文件和内网工具；官方称本地支持“很快”上线。这意味着 Claude 正在把长时间任务的执行从本地搬到云侧，为后续打通本地环境做铺垫。

Anthropic 在 Claude 官方账号确认，Pro 和 Max 订阅方案上的现有项目将保持当前使用方式不变，并会随着新功能在 Claude 全平台铺开而逐步获得升级，同时开放了提前访问的等待名单。