深度专题 FEATURES — 2
OpenFlyV2:无人机也有VLA
OpenFlyV2把看、听、想、飞装进同一机载模型,展示空中VLA如何在有限算力下闭环导航。
粒子碰撞也有基础模型了
EVENET先读5亿次模拟碰撞,再复用于多种分析,让粒子物理也有了自己的基础模型。
速览 BRIEFS — 8
PAPER
AI数学证明,谁来验真
AI能快速写出候选证明,但真正的瓶颈正转向:谁能独立确认它没有漏洞。
PAPER
火星车开始自己排日程
毅力号把部分排程交给车载AI,用现场决策减少等待、争取更多科学活动。
PAPER
聊天机器人可能泄露研究构想
未发表构想交给聊天机器人,泄露的可能不只是原文,还有研究趋势。
PAPER
像素生成模型学会按需分词
SpecSlot按频率给Token分工,只让负责整体结构的Token参与全局交流。
PAPER
软体肠镜机器人能爬也能操作
MIT软体肠镜把主动爬行、转向、观察和取样装进同一平台。
PAPER
AI水印需要外部审计
AI水印可作透明度信号,但要成为治理工具,必须先经独立公开审计。
PAPER
天气AI把预报推到一个月
AI校准把2至6周天气趋势预报变得更可靠,但不是精准预知某天晴雨
PAPER
机械解释工具更新雅可比透镜
J++ lens先给模型内部状态分组再读出,减少噪声干扰,让推理线索更清楚。