2. Claude 自动写代码并生成安全性数学证明
Anthropic 让 Claude 为现有代码生成数学证明以验证其正确性,为 123 个开源库产出了约 1.8 亿行证明代码。这相当于把形式化验证这类高门槛工作交给模型自动完成,而不只是写实现代码。如果这类流程可靠,代码安全审计的成本和周期都可能显著下降,也让「AI 写代码」从生成走向可验证,是智能体参与软件工程的一个新方向。
来源:The Decoder · 原文链接
3. MIT 把 13 个 AI 放到虚拟荒岛,它们开始玩游戏
MIT 研究人员将 13 个 AI 放到一座虚拟荒岛上,不给任务。结果这些智能体自行发明游戏、为丢失的戒指举行哀悼,最终在工作任务上的表现还有所提升。这属于对多智能体(multi-agent)在开放式环境中自发行为的观察实验,趣味之外也提示:当智能体拥有空闲时间和自主权时,其行为模式可能与任务驱动时不同,对智能体设计与安全评估都有启发。
来源:TechCrunch · 原文链接
4. Anthropic 推出 Claude Duet 应用,押注智能体
Anthropic 发布 Claude Duet 应用,被视为该公司在智能体(agent)方向上的重要下注。目前 Pro 和 Max 套餐用户需通过等候名单(waitlist)获取使用资格。把智能体能力做成独立应用入口,说明 Anthropic 正从模型 API 供应商向终端产品延伸;具体功能细节材料未披露,小智猜测其核心会是让 Claude 代用户执行多步骤任务。
来源:TechCrunch · 原文链接