Anthropic 将 Agent Skills 开放标准捐赠给 Agentic AI 基金会，70+ 平台已集成
Anthropic 将 Agent Skills 开放标准捐赠给 Agentic AI 基金会，此前已将 MCP 协议捐出。据披露已有 70 多个平台集成该标准，智能体互操作规范的扩散明显加快。
微软推出 GPT-5 驱动的诊断编排器，智能体模拟专家会诊提速 4 倍
微软发布 GPT-5 驱动的诊断编排器，通过多智能体模拟专家会诊辅助病情诊断。官方称诊断速度最高可达传统方式的 4 倍，面向医疗场景提升分诊效率。
Canva 发布首个图像生成模型 Craft，基于人类设计模板训练
设计平台 Canva 推出首个自研图像生成模型 Craft，训练数据来自人类设计模板，面向全体用户开放。该模型定位为创意设计辅助生产力工具，是工具厂商向上游模型层延伸的典型案例。
蚂蚁数科发布决策模型 LingDT-Decision-1.0，精度对标国际同类
蚂蚁数科发布决策模型 LingDT-Decision-1.0，面向企业级决策场景。官方称其准确率超过微软与 Jev 等同类模型，强调复杂业务链路中的可解释与可执行能力。
中电信星辰开源意图理解模型 Xing4.0-29B-Intent
中电信人工智能实验室发布并开源意图理解模型 Xing4.0-29B-Intent，既能处理明确意图也能应对开放意图。开源策略有助于下游开发者低成本集成意图识别能力。
OpenAI 接近完成最高 300 亿美元融资，估值约 1.25 万亿美元
消息称 OpenAI 接近完成最高 300 亿美元融资，由阿联酋投资者与 Coatue 等领投，投前估值约 1.25 万亿美元。此前估值目标曾达 1.4 万亿，后因阻力下调。
Datadog 拟近 40 亿美元收购云安全创企 Upwind Security
据报道，可观测性厂商 Datadog 拟以近 40 亿美元收购以色列云安全初创 Upwind Security。云安全在 AI 工作负载扩张背景下正成为大厂并购整合的重点方向。
制造业机器人即服务厂商 Formic 获 5000 万美元融资
面向制造商提供机器人即服务自动化的 Formic 完成 5000 万美元融资，含 4000 万 B 轮与 1000 万其他额度。资本持续涌入实体产业自动化，反映 AI 与机器人融合进入落地期。
OpenShell 开源：面向大规模自主智能体的安全私有运行时
开源项目 OpenShell 提供安全私有运行时，用于管理成规模的自主 AI 智能体集群，面向多智能体编排的安全与隔离问题。随着智能体走向舰队化，运行时安全成为新关注点。
微软称与中国相关的黑客利用 AI 渗透测试工具 ARTEX
微软披露，与中国相关的黑客组织使用了名为 ARTEX 的 AI 辅助渗透测试工具，将大模型推理用于自动化漏洞发现与攻击规划。AI 的军民两用属性再次凸显。
LLM 让形式化软件验证在更大规模上变得可行
技术社区讨论指出，大语言模型正使形式化软件验证在更大代码规模上变得可行。LLM 可辅助生成与检查证明，显著扩展中高保障系统的适用边界。
eMudhra 将退出全球 SSL/TLS 证书业务
印度数字证书机构 eMudhra 宣布将退出全球 SSL/TLS 证书业务。作为信任链底层环节，其变动可能影响部分站点证书续期，运维方需提前评估加密基础设施风险。
特斯拉利润腰斩，FSD 付费用户一年增长 70 万
特斯拉最新财报显示利润大幅下滑，市值一夜蒸发相当于一个通用汽车，但其 FSD 付费用户过去一年增加约 70 万。盈利承压与自动驾驶订阅扩张并行。
微软与 Alphabet 等 16 家公司反对 OKXICE 区块链交易计划
微软、Alphabet 等 16 家公司联合反对 OKX 与 ICE 合资实体推动的区块链金融资产交易计划，主要关注其市场结构与监管风险。传统巨头对加密资产交易边界仍持审慎立场。
