第 9 页
阅读行业观察
OpenWorker 新版发布：Andrew Ng 把三类安全智能体塞进完全开源的 harness
Andrew Ng 名下 OpenWorker 发布新版，把代码漏洞扫描、依赖供应链注入、云配置检查三类网络安全智能体集成进完全开源的 harness，并支持本地运行开源权重模型，让敏感代码不必出内网。
最新 AI 动态
模型发布、产品动态和行业观察统一按发布时间从新到旧排列。
产品动态
两年后大部分 AI 算力会落到两家手里？SemiAnalysis 创始人抛出一个激进判断
SemiAnalysis 创始人 Dylan Patel 预测，OpenAI 和 Anthropic 到 2028 年将控制全球大部分 AI 算力，理由是它们能把算力变成收入、出价更高。这会直接影响 API 定价、开源路线走向和企业的算力采购。
模型发布
OpenRouter 模型挑选新框架：按任务成本算账，编辑器内实时查询
OpenRouter 发布模型选型方法论，强调按完成任务成本而非 token 单价评估。其 MCP 服务器已在 Claude Code、Cursor 等编辑器内可查实时排名与价格，并提供 auto-beta 自动路由。
模型发布
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 性价比。
产品动态
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 两个主流基线，整套流水线完全开源可复现。