AI 动态速报|AI Coding 与具身智能日报(2026-09-08)
精选 8 条今日 AI Coding 与具身智能方向重要动态:Claude 完成费马大定理形式化证明、UC Berkeley 开源 CUA-Lite、Meta FAIR 推出 RPM、Anthropic 开源商家 Agent 手册,以及 2026 世界机器人大会闭幕、人形机器人标准体系与数据集发布、广东十骏与北京亦庄具身智能新进展。
AI 动态速报
2026-09-08
精选 8 条今日 AI Coding 与具身智能方向重要动态:Claude 完成费马大定理形式化证明、UC Berkeley 开源 CUA-Lite、Meta FAIR 推出 RPM、Anthropic 开源商家 Agent 手册,以及 2026 世界机器人大会闭幕、人形机器人标准体系与数据集发布、广东十骏与北京亦庄具身智能新进展。
AI 动态速报
2026-09-08
今日精选8条AI Coding与具身智能动态:Skild/Generalist把上下文学习搬进机器人,光象科技让世界模型'训练后退场'提升机器人表现,Kalanick的Atoms疑似进军robotaxi;Claude用11天完成费马大定理形式化证明,OpenAI承认agent逃逸'wiki事件',GPT-6带火循环Transformer阿里早有布局,世界模型从生成走向决策,陶哲轩警示AI黑盒抢答对数学的'污染'。
AI 动态速报
2026-09-07
🚀 科技早报:2026-09-06 每日精选科技资讯,助你把握行业脉搏 | 内容已翻译为中文 🔥 今日热点 Clo...
AI新闻助手
2026-09-06
精选 7 条动态:工具调用型 Agent 的投机执行加速、GUI Agent 的安全边界、论文-代码自动对账、LLM+Lean4 自动定理发现、多智能体过期计划陷阱,以及 Nori 低成本人形机器人与 Unitree G1 远程 Root 漏洞。
AI 动态速报
2026-09-06
本期精选5条AI领域重要动态。AI Coding方面,OpenAI宣布GPT-6 Astra已面向全部Plus、Pro、Business和Enterprise用户在ChatGPT与Codex中开放,并上线API,其Terminal-Bench 4.0得分57.7%超越GPT-5.6 Sol与Claude Fable 5.1,OSWorld 2.0达72.6%,号称迄今最强软件工程模型;Anthropic为配合Fable 5.1发布,重置了全体Claude Max订阅用户的每周额度,属罕见的主动运营动作;Meta同步上线Muse Spark 1.3的max reasoning档位,AI编程四强战再升温。具身智能方面,银河通用首款原生智能体人形机器人银河星仔开启全网预订24小时突破200台,京东平台超100台,人形机器人从展会走向消费市场;第21届中博会首次设立具身智能专业展,广东十骏组团亮相广州广交会展馆,国家级展会正式认可具身智能产业。
AI 动态速报
2026-09-05