嵌入式与具身智能日报 · 2026 年 10 月 25 日 · 星期日
EMBHOT
Anthropic前沿红队与Theorem Labs发布报告：Claude对123个开源库完成RISC-V机器码形式化验证
Anthropic前沿红队团队联手Theorem Labs发布报告，让Claude对123个开源代码库中的239个测试入口完成形式化验证，生成约1.8亿行通过Rocq检查器核验的证明代码。
机器人与具身智能
高德发布全身基座模型λ0，基于开放世界行为实现全身动作对齐
阿里巴巴集团旗下高德正式发布首个基于开放世界行为的全身基座模型λ0，仅依靠人类行动数据即可让机器人学习移动、姿态与双手操作的全身协调。λ0首创无本体全身数据采集与软硬件协同人机对齐路径，代表性任务单条示范采集用时由约100秒缩短至29秒，采集效率约为主流方法的3.4倍；在SIMPLE仿真基准及多项真机评测中取得SOTA表现，真机任务成功率较最强对比基线提升22.5%。
模思智能与OpenMOSS开源5B生图模型MOSS-Image，4天海外下载超百万
模思智能与OpenMOSS团队开源发布5B参数DiT主干的生图模型MOSS-Image，上线4天在海外社区收获130万次下载，GitHub获1.4k Stars并登顶Hugging Face文生图趋势榜。
海康机器人发布明智系列单体智能移动机器人新品
海康机器人发布明智系列单体智能新品，将定位、建图、任务执行与避障能力下沉至机器人本体，摆脱对物流系统的前置依赖。产品支持2D、3D激光导航选配，潜伏车型支持最小60cm极窄巷道通行并可连续通过S型弯道，无需本地服务器或专门网络线路，可在车端大屏完成建图与任务下发，最快30分钟从拆箱到投产。
智元远征 A3 以 110 台协同舞蹈创吉尼斯世界纪录
智元远征 A3 在济南黄河国际会展中心完成吉尼斯世界纪录挑战，110 台量产版全尺寸人形机器人协同舞蹈，创下最多人形机器人同时跳舞纪录，参演机型均为量产机而非定制样机。
开发与生态
Zephyr开发者大会四点解析：驱动域87KB对Linux 832MB
文章梳理Zephyr开发者大会的四个技术细节：Xen驱动域用Zephyr替代Linux后镜像从832MB降到87KB，代码量约2万行对140万行，可降低ISO 26262功能安全认证负担。
开源WebUSB热像仪Picothermal：FLIR Lepton 3.5加RP2040，免装App直接在浏览器看热像
Cezar Chirila开源了热像仪项目Picothermal，硬件、固件、外壳图纸全套公开，GitHub地址 https://github.com/icamaster/picothermal，MIT协议。
Linux 内核曝出潜伏 18 年的虚拟机逃逸漏洞 CVE-2026-99999，补丁已合入多个稳定版本
Linux 内核被曝高危漏洞 CVE-2026-99999（CVSS 9.3），命名为 PwnEscape，由 pwn.ai 研究员 Paulos Yibelo 在 Vercel 举办的沙箱逃逸竞赛中发现，可让攻击者从虚拟机逃逸读取宿主机内存，Vercel 称每个包约泄露 32 字节。
论文研究
RSI两大里程碑发布：单人训千亿模型与NVIDIA大佬的生存法则
两家初创公司Mirendil和Recursive几乎同时发布RSI相关成果：Mirendil仅用1名研究员、不到1000万美元算力、3.5个月训出100B–500B参数编程基座模型Mirendil-Base，AI智能体编写了超过99%的代码；田渊栋的Recursive发布开放权重40B编程模型Flint，背后是自动化研究系统Eureka Machine。
北科大等团队用深度强化学习优化仿生蝴蝶翅膀，升力性能提升339%
北京科技大学等团队造出翅膀几何可调的仿生扑翼机器人USTButterfly-II（全重48.3克，翼展57.5厘米），用19对不同形状翅膀完成95次真实飞行实验，再用深度强化学习（DQN）在三维形态空间搜索最优翅膀。
技巧与观点
让 AI 写嵌入式状态机不出 bug 的四步操作流程
文章给出让 AI 生成嵌入式状态机代码的四步流程：先表后码、穷举事件、表驱动实现、从表生成测试并让 AI 反向对表。先让 AI 输出状态转移表供人工审查，再要求穷举命令、硬件、时间、异步四类事件且每个状态×事件组合不留默认行为；实现用 const 转移表加函数指针的表驱动结构，最后生成穷举测试并让 AI 反向输出表格逐格 diff 校验。
外骨骼
消费外骨骼正在破圈——2026年全球消费外骨骼调查报告
报告基于 Exoskeleton Index 与 Exoskeleton Report 覆盖全球 57 款消费级外骨骼的追踪数据，指出消费级外骨骼价格已降至 1000 到 5000 美元，京东成交额一年涨了 15 倍以上，国内形成从 2599 元无源款到 15999 元旗舰款的价位梯队。