上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证
上海AI实验室访问学者、大湾区大学教授许地生团队依托书生-S2,通过人机协同完成三维Ghys猜想证明,论文已在arXiv发布、形式化代码在Github公开。
推荐理由:原文交代了人机协同流程与Lean形式化验证细节,可了解大模型介入前沿数学研究的实际工作方式。
上海AI实验室访问学者、大湾区大学教授许地生团队依托书生-S2,通过人机协同完成三维Ghys猜想证明,论文已在arXiv发布、形式化代码在Github公开。
推荐理由:原文交代了人机协同流程与Lean形式化验证细节,可了解大模型介入前沿数学研究的实际工作方式。
谷歌发布 Gemini 4 Argon,定位为通用物理推理模型,在具身推理(ERQA)基准上纯推理取得 87%。
推荐理由:文章汇总了多组成本与速度对比数据,便于评估该模型在具身推理方向的实际性价比。
Science Robotics Volume 11, Issue 119, October 2026 发表论文 MonoRace: Robust monocular AI for champion-level drone racing。
Science Robotics Volume 11, Issue 119, October 2026 刊出论文 System design of the Ultra Mobility Vehicle: A driving, balancing, and jumping bicycle robot,介绍一款可行驶、平衡与跳跃的自行车机器人的系统设计。
Science Robotics Volume 11, Issue 119, October 2026 刊出论文 Fast Feature Field (F3)。
KAIST 研究人员在 Science Advances 发表论文,介绍 BeetleBot——一种用人工肌肉行走、转向并抓取物体的微型软体机器人,不依赖传统电机。
推荐理由:原文给出了LCE人工肌肉在3 V下收缩约45%的实测数据和100°C以上的温度限制,可据此评估该方案的可行性边界。
Recursia 提出的 Embodied RSI 范式用于解决机器人零样本泛化瓶颈,在长时任务上超过英伟达 ASPIRE 10 个点。文中以长序列真机任务 T3 为例,机械臂先把碗放到盘子上,再抓起杯子放进刚移动过的碗里,说明即使识别、抓取、放置等单项技能已相当可靠,第二步仍发生在变化后的场景中。
推荐理由:原文点出长时任务上与英伟达 ASPIRE 的量化差距,可据此了解该范式在零样本泛化上的相对位置。
UNCAP 是面向协同自动驾驶的零样本框架,车辆通过自然语言描述所见场景并决定信任哪些邻居消息。框架分四步:广播心跳、筛选相关车辆、用 conformal prediction 校准置信度并以互信息衡量消息价值、再交给现成视觉语言模型输出驾驶决策。
推荐理由:原文给出了带宽、驾驶分和安全裕度的量化对比,可评估语言通信方案相对原始传感器共享的实际收益。
一项研究为Ego数据补上全身信息,为世界模型的Scaling提供了新路径。文章背景指出,机器人数据采集长期依赖遥操作,操作员控制机器人完成任务并记录关节状态、末端动作和环境信息,这类数据可直接用于策略训练,但每一小时数据背后都需要真实的机器。
推荐理由:原文点出遥操作采集成本高这一背景,可帮助理解该研究补全全身数据的动机。
宾大、MIT 与 Stanford 联合团队的茅佳源在 IROS 2026 演讲中指出,纯数据拟合路线数据效率低、难泛化,提出以世界建模与约束求解为核心的思路。
推荐理由:梳理了端到端范式与模块化路线的取舍,并给出可量化的 TR 诊断指标,便于评估泛化失败原因。
新加坡科技设计大学团队开发的 ALBATROSS 仿生混合机器人登上《Science Robotics》,它用同一对刚性翼帆在空中作旋翼、落水后作帆船主帆,无需机械重构即可完成从空降到航行的全过程。
推荐理由:原文给出了下降速度、撞击减速度和功耗等实测数据,可据此评估空投式海洋传感方案的可行性边界。
IDTechEx 分析指出,截至 2026 年约三分之一的现役人形机器人开发者正在集成或开发触觉传感器,其中包括 Tesla 和 Unitree 等厂商,多数将传感器部署在手部或夹爪上以实现精细操作和材质识别。
推荐理由:文章给出了触觉传感器在人形机器人中的渗透比例和市场预测,便于评估这一技术方向的商业化进度。
华为诺亚方舟实验室联合UCL等团队提出 Memento 3 智能体系统,以 Claude Opus 5 为底模、不更新模型权重,在 ARC-AGI-3 公开集25款游戏、183个关卡上拿到满分100的RHAE成绩,总操作7518次,比人类的17135次少约56%。
推荐理由:原文列出了各团队在ARC-AGI-3上的得分对比和消融实验数据,便于评估该方法的实际增益。
麻省理工等机构提出 HugAgent,让大模型基于真实参与者访谈预测其在全民医疗、公共监控、住房增密等新情境下的回答,覆盖 54 名参与者、1,742 个评测项,测试 GPT、Claude、Gemini、DeepSeek、Llama、Qwen 等模型,论文入选 EMNLP 2026 Main Oral。
推荐理由:通过对比两类任务的准确率与访谈长度实验,说明复述已知观点和外推新情境是两回事,可迁移至数字分身的评估思路。
何恺明团队在论文《VISTA: A Visual Harness for Reasoning in an Interactive World》中提出视觉原生Harness框架VISTA,让现有多模态模型直接观察环境、保存原始画面并在推理时回看放大细节,无需从头训练。
推荐理由:文中给出VISTA在多个基准上的成功率提升数据,可评估视觉记忆框架对现有多模态模型的实际增益。
字节团队论文《Periodic Weak Spots: Phase Sensitivity from Chunked KV-Cache Compression》指出 DeepSeek V4 系列因分块 KV Cache 压缩存在周期性失忆,关键 Token 落在压缩槽位盲区时模型答错。
推荐理由:原文梳理了论文的实验数据与动态分块三层技术路径,便于理解分块 KV Cache 压缩的结构性缺陷。
清华大学团队联合多所高校推出的 WorldArena 2.0 Challenge 在 IROS 2026 完成评测,9 月 16 日揭晓终榜,总奖金 7000 美元。
推荐理由:梳理了三条赛道的评测设计与最终名次,可据此比较世界模型不同技术路线在真机场景下的实际差距。
哥伦比亚大学李昀烛团队在 IROS 2026 触觉专题研讨会介绍开源柔性压阻式触觉传感器平台 FlexiTac 开源约一年半来的进展。FlexiTac 采用 FPC 与力敏薄膜层叠结构,组装仅需 3 分钟,完整 BOM、装配说明与读取软件均已开源,并集成进 LeRobot 框架,可弯曲裁剪包裹于手套、指尖或机器人皮肤等形态。
推荐理由:演讲梳理了触觉传感器在一致性、仿真适配和数据采集上的具体解法,可迁移性强。
IDTechEx 发布报告,将人形机器人传感器分为感知、触觉、力与力矩、编码器、IMU 五类,并指出约80%的人形机器人面向工业环境、20%面向消费场景。其对50多款人形机器人的分析显示每台平均约31个执行器,电动执行器目前最常见;成本与可靠性是部署的主要顾虑。
推荐理由:原文给出人形机器人五类传感器划分与平均31个执行器的统计,可为选型提供参考。
丹麦奥胡斯大学团队提出人工离子机械感受器 AIM,用灌满 NaCl 溶液的微流道在按压下产生流动电位,实现无需外加电压的自供能触觉传感,论文近日登上《Advanced Functional Materials》。
推荐理由:原文拆解了器件结构、关键参数与义肢实测,可据此评估离子路线与主流触觉方案的差异。