Anthropic 用 Claude 为 123 个开源库完成汇编级形式化无崩溃证明
Anthropic 与 Theorem 合作，用 Claude 将 OSS-Fuzz 模糊测试转化为规格，对 123 个开源库的 239 个入口点证明任意 64 MB 以下输入不会崩溃，生成约 1.8 亿行 Rocq 证明。
推荐理由：读者可据此了解 LLM 规模化形式化验证的实际流程、证明复用机制与可信组件边界。
#Anthropic
AIHOT · AI 动态聚合精选AI 评分8080 AIHOT · AI 动态聚合AI 评分7171 Anthropic 将 Agent Skills 开放标准捐赠给 Linux 基金会旗下 AAIF
Anthropic 宣布把 Agent Skills 开放标准捐赠给 Linux 基金会旗下的 Agentic AI Foundation（AAIF），此前已向其捐赠 MCP。
AIHOT · AI 动态聚合AI 评分5858 Anthropic 指南：何时把子智能体合并进主 Agent 循环
Anthropic 应用 AI 团队发布指南，说明何时应把编排器下的路由器、规划器和领域子智能体合并进单个主 Agent 循环。文中对比显示，带技能的单一智能体在质量上常优于一提示全包和子智能体设计，且成本与延迟更低，一家客户改用单循环后运行时间约快 2 倍。指南同时给出迁移工具包、端到端评估集和分阶段合并方法，并保留子智能体在并行任务、上下文膨胀等场景的适用性。
AIHOT · AI 动态聚合AI 评分6464 消息称 Anthropic 最快本周五公开提交 S-1 招股书
据雅虎财经援引三名知情人士消息，Anthropic 最早或于本周五公开提交 S-1 招股说明书，推进有望创史上最大规模的 IPO。今年 6 月其已秘密提交申请草案，上半年营收 163 亿美元、净亏损超 800 亿美元，华尔街预计募资最多 1000 亿美元、对应估值 2 万亿美元。另有消息称其第三季度营收 168 亿美元，按调整后口径实现盈利。
AIHOT · AI 动态聚合AI 评分5858 Claude 网页、桌面和移动端下周起默认启用 auto mode
Claude 官方宣布，下周起 Pro、Max 和 Team 套餐在 Claude 网页、桌面和移动端应用中的会话将默认以 auto mode 运行，不再逐步请求用户批准，而由自动检查拦截高风险操作，用户可随时切回手动模式。其引用的 Claude Code 更新提到，auto mode 用独立分类器审查 shell 命令，测试中拦截了 89% 的危险命令，手动批准为 14%。
AIHOT · AI 动态聚合AI 评分2222 The Verge 分析 SpaceX 与特斯拉特别委员会讨论合并背后的财务逻辑
The Verge 作者 Elizabeth Lopatto 分析 SpaceX 与特斯拉各自成立特别委员会讨论合并一事，指出合并能让马斯克把两家公司的 AI 项目归到一处，并借 SpaceX 超 50% 投票权获得特斯拉控制权。SpaceX 第三季度“超级智能”部门营收 75.6 亿美元，其中 70 亿美元来自 SI 解决方案与基础设施，部分为向 Anthropic 和 Google 出租算力。
AIHOT · AI 动态聚合AI 评分3838 Anthropic 股权表内幕：风投迟到多年，如今无人持股超 2%
Newcomer 长文复盘 Anthropic 从 OpenAI 出走团队到即将 IPO 的股权演变：多年来风投因公司治理结构与安全优先路线而观望，如今没有任何一家风投持股超过 2%。据投资人文件和六位知情人士，Anthropic 曾向投资人明确将单一投资人持股控制在该水平，以避免话语权集中。