亚马逊宣布向 Lean Focused Research Organization（FRO）提供长期资金支持，这是该组织历史上最大的一笔捐赠，用于推进可对软件正确性做数学证明的 Lean 编程语言。亚马逊已在多个产品中使用基于 Lean 的验证，包括 Bedrock AgentCore 中用于约束 AI 智能体的 Policy、差分隐私系统 SampCert 以及 AI 芯片编译的 AWS Neuron；有科学家用 LLM 结合 Lean 证明了 Amazon Aurora 分段修复协议的正确性。亚马逊表示选择在独立的 Lean FRO 而非内部开发，是为了让客户、审计方和监管机构能独立验证安全关键 AI 所用的证明工具。
匹配字段摘要、正文
Fireworks AI 宣布 Kimi K3 已在 Fireworks Serverless Training 中开放 Multi-LoRA 训练与部署的私有预览。K3 是总参数量约 2.8 万亿的 MoE 模型，官方称其为首个达到 3T 参数规模的开源权重模型，训练只需改动一行代码。官方给出的成本示例是约 20 步、86 万训练 token 的小型强化学习运行约 65 美元，30 到 60 分钟完成；多轮 Agent 运行因 KV cache 复用，重复上下文按标准 prefill 价格的 20% 计费。
匹配字段摘要、正文
Armin Ronacher 分析了 Codeberg 修改条款、排除主要由生成式 AI 编写的项目所引发的开源社区分歧。他认为该规则对代码作者占比的界定较模糊，若问题实为垃圾项目和资源滥用，平台应直接针对这些行为制定规则。文章主张开源社区正视 LLM 与 Agent 进入软件开发的趋势，并期待 Codeberg 成为 GitHub 的有力竞争者。
匹配字段摘要、正文
DeepSeek CEO 梁文锋在投资者会议上阐述了公司的 AGI 路线、算力瓶颈、开源策略与商业化思路，并将持续学习视为下一代模型的核心能力。他认为当前路线将从 Agent 走向持续学习、自我迭代和具身智能，同时表示最强模型也可能开源，且开源不会影响公司的商业模式。
匹配字段摘要、正文
易观《2026年二季度中国办公智能体平台市场洞察》显示，2026年6月17款中国主流桌面端AI原生办公智能体平台合计访问量突破6000万次。WorkBuddy（腾讯）以2097万次月访问量领先，TRAE IDE国内版（字节）1279万次、QoderWork（阿里）788万次位居第一梯队，LobsterAI（网易有道）、AutoClaw（智谱）、MiniMax Agent（MiniMax）等独立厂商探索差异化定位。
匹配字段摘要、正文
LiveKit 正式发布 Unity SDK v2.0.0，将其移出 Developer Preview，并实现与现有 LiveKit SDK 的功能对齐。该 SDK 支持低延迟语音聊天、音视频流、VR 远程操控机器人，以及接入 LiveKit agent 打造语音 AI NPC，可选 STT→LLM→TTS 管线或单一实时模型。官方支持 Unity 2022.3 及以上版本，覆盖 macOS、Windows、Linux、iOS 和 Android。
匹配字段摘要、正文
易观分析发布《2026年二季度中国办公智能体平台市场洞察》，从市场趋势与流量格局两个维度分析中国办公智能体平台。2026年6月，17款主流产品合计访问量突破6000万次，WorkBuddy月访问量领先，TRAE IDE（国内版）、QoderWork位于第一梯队。报告还指出模型推理成本进入精细化定价阶段、GUI Agent加速产品化，企业版办公智能体成为头部厂商新增长点。
匹配字段摘要、正文
Linear 推出 Loops，让 Linear Agent 在工作区内按计划或事件触发执行周期性任务。它可结合问题、项目、文档、代码库、MCP 服务器和历史运行记录处理缺陷分诊、生成后续任务及更新计划文档。Loops 现已面向 Business 和 Enterprise 套餐开放，运行时消耗 AI credits。
匹配字段摘要、正文
OpenHands 官方博客发布 2026 年 9 大编程智能体排名，OpenHands 位列第一，其 Agent Canvas 本地优先工作区可通过 ACP 连接 Claude Code、OpenAI Codex 和 Gemini CLI，并以 MIT 许可证开源。文章按自主性与审查循环、运行位置、开源与许可、模型灵活性、定价与成本五个维度评估，并区分本地结对编程助手与云端自主智能体两类工具。
匹配字段摘要、正文
🟠 StepFun 在 #WAIC2026 #StepFun 🚗 ZEEKR 8X × Super Eva 走进 StepFun Amoo World —— 一张横跨 7 个站点的寻宝地图： 🤖 机器人搭建长城 🎮 与 Amoo 的街机点球大战 📱 STEPX agent 手机现场演示 🗓️ 7 月 17–20 日 📍 上海世博中心 · H1 馆 C107 沿着路线走。解锁每一个站点。👇
🟠 StepFun 在 WAIC2026 StepFun 🚗 ZEEKR 8X × Super Eva 走进 StepFun Amoo World —— 一张横跨 7 个站点的寻宝地图： 🤖 机器人搭建长城 🎮 与 Amoo 的街机点球大战 📱 STEPX agent 手机现场演示 🗓️ 7 月 17–20 日 📍 上海世博中心 · H1 馆 C107 沿着路线走。解锁每一个站点。👇
匹配字段摘要、正文
Forrester 基于对 2600 多名企业和技术决策者的调研警告，软件与 AI 厂商正通过涨价或增加按用量收费，把 AI 成本转嫁给客户，明年软件预算预计上涨。报告指出，过去六个月 Anthropic、OpenAI 和 GitHub 已将部分服务从固定订阅转向按用量计费，Microsoft 也因推出捆绑 M365 Copilot、Agent 365 和安全工具的 E7 高级许可被列入名单。80% 的决策者预计数据和软件预算将上升，Forrester 建议企业调整 FinOps 实践，投入模型路由、语义缓存和用量护栏等运行时成本控制手段。
匹配字段摘要、正文
Sierra 发布 Horizon 平台，让智能体能够追求长周期目标，例如发起贷款或为医疗程序获取事先授权，并可在数天、数周或数月内主动与客户互动以促成销售、升级订阅或预约试驾。Horizon 为 Agent OS 带来长周期规划与灵活的上下文引擎，每次互动都会让智能体更智能，且按业务成果而非 token 计费。
匹配字段摘要、正文
Figma 展示了一套 Workflow Lab 工作流：设计师把项目 GitHub 仓库接入 Figma Make，直接在生产代码上完成无障碍等小型修复，再由工程师在评审环节把关，而非先写工单排队。文中以虚构的 Museum of Speculative Futures 为例，设计师借助 Figma agent 收集反馈后动手修改，Make 还暴露出日期选择器是同时用于展览页、活动日历和会员注册流程的共享组件，需一次改三处。
匹配字段摘要、正文
Hugging Face 披露，恶意数据集利用两条代码执行路径入侵处理 Worker，攻击者随后获取节点权限并横向进入多个内部集群。公司已修复漏洞、重建受影响节点并轮换凭据；其分析智能体使用 GLM-5.2 处理逾 17,000 条攻击事件，在数小时内完成通常需数天的取证工作。
析智能体使用 GLM-5.2 处理逾 17,000 条攻击事件，在数小时内完成通常需数天的取证工作。 · Hugging Face disclosed that a malicious dataset exploited two code-execution paths to compromise a processing worker, after which the attacker gained node-level access and moved laterally into several internal clusters. The company fixed the vulnerabilities, rebuilt affected nodes, and rotated credentials; its analysis agents used GLM-5.2 to examine more than 17,000 attack events, completing in hours forensic work that would usually take days.
匹配字段摘要、正文
xAI 将编码智能体与 TUI 工具 Grok Build 开源，源码已发布在 GitHub。公开的代码涵盖智能体循环、工具调用分发、终端 UI 以及 skills、plugins、hooks、MCP servers 和 subagents 等扩展系统。Grok Build 现可完全本地运行，用户可自行编译并指向本地推理，通过 config.toml 驱动。
匹配字段摘要、正文
Modem 在 7 月 15 日的更新中新增 Salesforce 和 Stripe 集成，可查询账户、联系人和商机，并按留存收入排序功能请求。Modem 的 MCP server 可接入 OpenCode、Claude、Cursor 等客户端，公开 API 也已上线。自动化支持单条流程配置多个触发器和最长 7 天延迟，Agent 产物以 Slack 原生文件形式上传。
匹配字段摘要、正文
Google Research 发布 SensorFM，一个在超一万亿分钟、来自 500 万人的多模态传感器数据上预训练的可穿戴健康基础模型。它通过缺失感知的掩码重建学习通用生理表征，可迁移到 35 项健康预测任务，最大模型 SensorFM-B 相比最小版本重建损失降低 31%，分类任务平均提升 9% AUC、回归任务提升 21% Pearson 系数。研究还用 LLM 智能体自动构建预测头，并将其接入 Personal Health Agent，临床医生盲评显示加入 SensorFM 预测后各维度评分显著提升。
匹配字段摘要、正文
Hugging Face 为 Kernels 新增 Hub 仓库类型，并通过可信发布者、可复现构建和 Sigstore cosign 代码签名强化安全；签名加载时自动验证尚未启用。更新还重构了 kernels 与 kernel-builder CLI，支持 Torch Stable ABI 和 Apache TVM FFI，并为智能体构建、基准测试和迭代优化 kernel 提供基础。
和 Apache TVM FFI，并为智能体构建、基准测试和迭代优化 kernel 提供基础。 · Hugging Face introduced a dedicated Hub repository type for Kernels and strengthened security with trusted publishers, reproducible builds, and Sigstore cosign code signing; automatic signature verification during loading is not yet enabled. The update also revamps the kernels and kernel-builder CLIs, adds support for the Torch Stable ABI and Apache TVM FFI, and lays the foundation for agents to build, benchmark, and iteratively optimize kernels.
匹配字段摘要、正文
xAI 为 Grok Voice 新增 21 款旗舰语音，加上原有 5 款共 26 款，全部原生支持 Grok Voice 的 25+ 种语言，现已上线 realtime Voice Agent API、Text to Speech API 和新的 Grok Voice Agent Builder。原有 Ara、Eve、Leo、Rex、Sal 五款语音经改进配方重新训练，节奏、措辞与重音更自然；用户还可用约一分钟音频克隆自己的声音。
匹配字段摘要、正文
Sakana AI 的论文《Learning Multi-Agent Coordination via Sheaf-ADMM》将在 ICML 2026 展示，该框架把复杂任务拆成重叠子任务并各配一个智能体，通过局部猜测、与邻居协商边界、记录分歧三步达成全局共识。在多智能体数独上取得 93% 求解率，参数匹配的消息传递基线仅 11%；在 MNIST 画布尺寸域偏移下标准 CNN 准确率降至 11%，该方法保持 86%；迷宫寻路中其通信通道为 5 维，比基线的 42 维小 8 倍。
匹配字段摘要、正文