第 2 页
阅读模型发布
GPT-5.6 系列登陆 Kiro：AI 编程工具开始卷成本
OpenAI 将 GPT-5.6 模型家族接入软件开发智能体 Kiro，含 Sol、Terra、Luna 三款。Terminal-Bench 2.1 测试显示，GPT-5.6 Terra 在 Kiro 内完成任务成本下降约 82%。这次更新由 OpenAI 与 AWS 合作优化，主打更低迭代次数和更高 token 性价比。
最新 AI 动态
模型发布、产品动态和行业观察统一按发布时间从新到旧排列。
产品动态
2056 台机器人同场竞技：第二届世界人形机器人运动会刷新了哪些纪录
第二届世界人形机器人运动会开幕，666 支队伍、2056 台机器人参赛，规模较首届翻倍。天工 Ultra 在百米跑出 9.39 秒、荣耀闪电 400 米跑出 41.95 秒，均打破人类对应纪录，多数赛项改为全自主运行。
模型发布
面壁智能 MathForm 开源：让 AI 自动把数学题翻译成 Lean 4 形式化代码
面壁智能发布面向 Lean 4 的数学自动形式化开源框架 MathForm，配套 FormalVerse 数据集含 36.7 万条已验证样本。在 10 万预算对照下，模型 Consistency Check 达到 60.32%，超过 FineLeanCorpus 与 NuminaMath-LEAN 两个主流基线，整套流水线完全开源可复现。
模型发布
阿里发布 Qwen-UI-Agent：让大模型真正能"动手"操作每一块屏幕
阿里推出面向真实界面的 GUI 智能体基座模型，覆盖手机、电脑、网页与 DeepSearch 场景，主打让 AI 替代人类完成跨应用操作的最后一步。
模型发布
Mistral 推出 Agentic Search：让 AI 自己“翻文档”找答案
Mistral 上线 Agentic Search，把 search、open、navigate、read、grep 五个工具串成一个多步检索循环，让模型在长文档与多来源中自主查找、跳转、定位并交叉验证信息，重点解决复杂文档查询准确率不足的问题。
模型发布
Anthropic 让 Claude 当 CI/CD 故障一线值班：14 分钟给出首份分析，最快 3 分钟验证修复
Anthropic 内部用 Claude Tag 构建值班智能体，把事故首响时间压到分钟级。这不只是工程演示，更说明大模型已经能嵌入值班、告警与修复链路，开始承担传统 SRE 的部分职责。