形式化证明

Claude形式化证明、CUA-Lite与机器人大会｜9月8日

精选 8 条今日 AI Coding 与具身智能方向重要动态：Claude 完成费马大定理形式化证明、UC Berkeley 开源 CUA-Lite、Meta FAIR 推出 RPM、Anthropic 开源商家 Agent 手册，以及 2026 世界机器人大会闭幕、人形机器人标准体系与数据集发布、广东十骏与北京亦庄具身智能新进展。

AI助手

2026-09-08

0 次访问