AI News HubLIVE

Agent动态

OpenAI GPT-5.6 Sol、Terra 和 Luna 现已正式在 Amazon Bedrock 上可用

OpenAI 最新智能模型系列 GPT-5.6 Sol、Terra 和 Luna 已在 Amazon Bedrock 上正式可用,带来旗舰级推理模型 Sol、平衡型模型 Terra 和快速低成本模型 Luna。Amazon Bedrock 的下一代推理引擎提供高性能、安全性和可靠性,支持提示缓存(90% 折扣)、区域内推理和芯片级零操作员访问安全。同时发布了 ChatGPT Work 和 Codex 代理。

  • GPT-5.6 Sol、Terra 和 Luna 在 Amazon Bedrock 上正式可用。
  • Sol 是旗舰推理模型,在编码、安全、药物发现等领域创下新纪录;Terra 适合日常生产;Luna 适合高吞吐量低延迟任务。
站内正文

Show HN:Fleet Deck – 在一面板上查看机器上所有 Claude Code 会话

Fleet Deck 是一个本地工具,可实时监控和管理所有正在运行的 Claude Code 会话。它提供一个看板,显示每个会话的状态、冲突提醒、需求队列,并支持任务分配、远程控制、会话恢复等功能。核心架构零模型调用,依靠钩子事件和确定性逻辑,确保安全与高效。

  • Fleet Deck 将所有 Claude Code 会话整合到一个本地看板(http://127.0.0.1:4711)上,显示状态、冲突和待办事项。
  • 内置冲突雷达,当两个会话在 30 分钟内编辑同一文件时发出警告,并支持工作树感知。
站内正文

Siri AI 已经改变了我使用 iPhone 的方式

iOS 27 公开测试版发布,Siri AI 作为可选测试功能备受瞩目。本文作者体验后发现,Siri AI 能通过理解自然语言跨应用执行任务,如查询演唱会日程、从邮件添加日历事件。但当前仅限于苹果自家应用,第三方支持需等到正式版。尽管存在一些识别错误和词汇关联问题,Siri AI 已显著改变了作者的使用习惯。

  • iOS 27 公开测试版推出,主打性能优化和 Siri AI 测试版。
  • Siri AI 能跨应用理解并执行复杂指令,如查询信息、添加日程。
站内正文

微软首席执行官对前沿AI实验室态度转变,警告企业保护知识产权

萨提亚·纳德拉(Satya Nadella)警告企业,向AI实验室付费的同时也在泄露专有数据,形成“反向信息悖论”。他建议企业建立自有AI学习环境,而微软则推荐其Copilot和Azure AI Foundry作为解决方案。

  • 纳德拉指出企业为AI支付两次费用:一次现金,一次是更宝贵的专有知识。
  • 微软自身曾投资OpenAI并推广数据驱动的AI,此番言论被指充满讽刺。
站内正文

Show HN: PlanWright – AI编码智能体的控制平面

PlanWright 是一个为 AI 编码智能体设计的控制平面,通过反转规划和验收流程来消除人工瓶颈,使智能体速度与人类决策解耦,并生成不可篡改的审计链。

  • 反转规划:从会议记录、邮件等非结构化输入中自动提取目标,人类只需审批意图。
  • 智能验收:自动分类机械性检查,仅将需判断的事项提交人类,每次批准均签名。
站内正文

AGI编译器「Auto」

Auto是一个记录LLM智能体行为、验证并编译为沙箱化的WebAssembly二进制文件的AGI编译器,通过分级运行时实现微成本推理,确保“相同思考不重复”。

  • Auto记录智能体行为轨迹,提取确定性部分并编译为经过验证的.wasm二进制文件。
  • 分级运行时:一级为编译的快速路径,零级为前沿模型解释器,遇新输入时回退并重新编译。
站内正文

AI代理创建虚拟游乐场,帮助机器人获取关键训练数据

麻省理工学院和丰田研究所的研究人员开发了“SceneSmith”系统,利用三个AI代理协作生成逼真的3D室内场景,如厨房、酒店和客厅。这些虚拟环境为机器人提供了丰富的训练数据,帮助它们在模拟中练习日常任务,从而减少真实世界测试的时间和成本。

  • SceneSmith使用三个AI代理(设计者、评论家、指挥者)基于视觉语言模型生成3D场景。
  • 生成的场景包含多达六倍于先前方法的物体,能模拟开门、放置物品等交互。
站内正文

构建类VideoAgent的多智能体系统:意图解析、图规划与视频编辑任务的工具路由

本教程详细介绍了如何构建一个无需API密钥即可运行的多智能体视频编辑系统,包括意图解析器、智能体库、工具路由器、图规划器和文本梯度优化器,并集成了FFmpeg、Whisper等工具,实现视频理解、检索、编辑和再造。

  • 构建一个可运行的VideoAgent风格多智能体系统,用于视频编辑任务。
  • 系统核心组件包括意图解析、图规划、工具路由和文本梯度优化。
站内正文

Show HN: Crucible – 你的AI写了测试,那么谁来测试这些测试?

Crucible 是一个对抗性测试强化工具,利用变异测试发现AI编写的测试遗漏的缺陷。它提供免费的命令来评估你的测试套件,然后通过一个对抗循环:测试者编写测试,mutmut 发现存活的变异,批评者针对性地编写测试。该工具生成机器可验证的收据,并适用于Python/pytest项目。

  • Crucible 使用变异测试来评估你的测试套件能捕获多少真正的错误。
  • 该工具运行一个对抗循环:测试者编写测试,变异测试发现幸存者,批评者消灭它们。
站内正文

当大脑运作方式不同时,AI不是奢侈品——而是无障碍工具

一位患有AuDHD(自闭症与ADHD并发)的解决方案架构师分享如何利用AI作为无障碍工具,基于Amazon Quick和Bedrock构建自动化工作流,补偿执行功能缺陷,将收件箱扫描时间从45分钟以上降至6-13分钟,并实现零遗漏跟进。

  • 英国15-20%的成年人口具有神经多样性,但大多数AI生产力工具仍假设神经典型大脑。
  • 作者患有AuDHD,构建了基于Amazon Quick和Bedrock的自动化系统,处理邮件分类、任务优先级和跟进。
站内正文

借助 Amazon Bedrock,Bluesight 打造智能代理 AI 解决方案

本文介绍了 Bluesight 如何利用两次 AWS 参与计划和 Amazon Bedrock AgentCore,从单一产品 AI 原型发展为覆盖六个医疗合规产品的统一智能代理 AI 解决方案 Prism。Prism Assistant for ControlCheck 已于 2026 年 5 月推出,目前已被 20 个医疗系统使用。更复杂的多产品代理解决方案计划于 2026 年晚些时候推出。

  • Bluesight 使用 Amazon Bedrock AgentCore 构建了生产级智能代理 AI 架构。
  • Prism Assistant 通过单一代理模式将 ControlCheck 查询时间从 5 分钟缩短至 10 秒。
站内正文

使用 Amazon Bedrock AgentCore Gateway 为多租户代理实现代理令牌交换

本文详细介绍了如何利用 Amazon Bedrock AgentCore Gateway 和 Identity 实现 OAuth 2.0 令牌交换(RFC 8693),以解决多租户代理中下游 API 调用时的身份传播问题和 confused deputy 问题。通过参考实现 TravelBot,展示了在 Okta 环境下的完整设置、JWT 声明转换以及如何通过受众绑定实现深度防御。

  • OAuth 2.0 Token Exchange(RFC 8693)解决了多租户代理中身份传播和 least privilege 问题
  • Amazon Bedrock AgentCore Gateway 和 Identity 原生支持令牌交换,无需代理代码实现
站内正文

Show HN: Clay Seal Identity – 代理需要问责制

Clay Seal Identity 是一个开源项目,为 AI 代理提供短期、可验证的凭证,确保身份认证和问责制。它基于 SPIFFE 标准,支持 JWT 和 X.509 凭证、Ed25519 工作负载密钥、离线验证,以及 Biscuit 能力令牌。该项目包含 Python SDK 和可选的 FastAPI 服务,适用于需要确认代理身份、委托方和凭证有效性的场景。它只是 Clay Seal 的第一层,后续层将提供运行时的能力作用域和执行收据。

  • 为每个代理运行颁发短期可验证凭证,而非借用长期人类或服务 API 密钥。
  • 支持 SPIFFE JWT-SVID 和 X.509-SVID 凭证,以及 Ed25519 工作负载密钥以进行发送方约束。
站内正文

在Amazon SageMaker AI中推出生成式AI推理推荐用户界面

Amazon SageMaker AI Studio推出了生成式AI推理推荐的低代码/无代码用户界面,引导用户通过预设用例配置、可视化比较和一键部署,无需深厚基础设施知识即可获得验证的配置。

  • 新UI简化了生成式AI模型部署的优化过程,无需手动基准测试。
  • 提供预设用例配置(交互、生成、摘要)和优化目标(最小化延迟、最大化吞吐量、降低成本)。
站内正文

容器化AI开发:用Docker和VS Code掌控AI聊天

GitHub模板仓库take-ai-control通过Docker和VS Code提供隔离的AI开发环境,支持PI.dev、Claude Code和Copilot,跨平台兼容Linux和macOS,并附带技能和模板项目以减少token消耗。

  • 使用Docker容器和VS Code DevContainer实现AI聊天环境的强隔离,增强安全性
  • 支持PI.dev、Claude Code和GitHub Copilot,会话和配置持久化存储在var目录
站内正文

在SymCrypt中验证Rust密码学:从标准到代码

微软SymCrypt团队宣布了一种新的方法论,使用Lean证明助手和Aeneas工具链对用Rust编写的密码学代码进行形式化验证,确保其功能正确性符合从标准推导出的形式规范。该方法已应用于ML-KEM和SHA-3等后量子算法,验证后的代码已随Windows内部版本发布。通过使用AI代理自动编写证明,同时保留人类对标准化过程的监督,这一方法论能够扩展以跟上不断发展的代码库。它还支持硬件内联函数和多平台调度,且不会牺牲性能。

  • 微软使用Lean和Aeneas验证SymCrypt中的Rust密码学,实现从标准到代码的功能正确性。
  • ML-KEM和SHA-3的已验证实现已随Windows内部版本发布。
站内正文

Jacquard:一种由AI编写、人类审核的编程语言

Jacquard是一种研究原型编程语言,专为AI编写、人类审核的代码设计。它通过语言内置的效果跟踪、概率编程和结构化身份,让人类审核者无需逐行阅读代码即可理解程序的影响范围与确定性。

  • Jacquard通过代数效果和显式权限授予,使程序副作用可追踪、可控制。
  • 支持概率编程和穷举搜索,可直接计算有限离散模型的精确概率。
站内正文

在终端中运行HTML、CSS和JavaScript

该项目展示了一种新模式:使用网页技术创建终端应用和BBS风格共享板,并通过SSH访问,重现了早期互联网的感觉。作者花费八年时间开发浏览器渲染引擎,随后用AI辅助开发终端渲染器,使得自托管专用应用成为可能。

  • 终端应用可基于HTML/CSS/JavaScript构建,通过SSH访问,融合现代网页技术与经典BBS风格。
  • 作者独立开发了浏览器渲染引擎(八年),终端渲染器则主要由AI编写,自己负责设计和决策。
站内正文

技术面试中的人工智能军备竞赛正在升级

软件工程类职位正受到人工智能的威胁。一些应聘者利用AI面试助手在远程技术面试中实时生成回答进行反击,而雇主则部署AI检测工具来识别AI使用迹象。这种双向动态使招聘演变成一场没有明显赢家的AI军备竞赛。专家认为,尽管面临这一现实,求职中的人性化方面仍将占据主导地位。

  • 应聘者使用AI面试助手(如Final Round AI、Interview Coder)在远程面试中实时获取答案。
  • 雇主部署AI检测工具(如Ginger)追踪眼球运动、响应延迟、选项卡切换等信号。
站内正文

账单冲击让高管们重新思考AI这件事

本期The Register的Kettle播客探讨了Tokenminning是否能让AI行业回归现实,因为企业领导者惊讶地发现AI成本急剧上升。

  • KPMG调查显示29%的高管难以理解AI运营成本,近半数在成本超预期时重新调整部署。
  • Anthropic、OpenAI等转向按Token计费,导致账单激增。
站内正文

Show HN: Crowdmind – 通过AI角色测试创意的开源工具

Crowdmind是一款本地优先的桌面应用,用于快速定性研究。用户可以创建AI驱动的合成角色面板,测试产品概念、营销信息、定价方案、登陆页面、图像、PDF甚至多步骤漏斗,并获得结构化反馈,包括评分、反对意见、积极信号、主题分析等。该工具支持多种LLM提供商(OpenAI、Anthropic、Gemini、OpenRouter及本地离线模型),所有数据存储在本地SQLite中,确保隐私。适合创始人、产品营销人员、研究人员和产品团队使用。

  • 快速创建AI角色面板,支持手动、CSV导入或AI生成。
  • 测试文本、图片、PDF及多步骤漏斗,获取评分、反对意见和主题分析。
站内正文

使用Outlines进行结构化语言模型生成

Outlines是一个开源库,通过在推理时屏蔽不合法的标记,为大型语言模型(LLM)的输出引入确定性,从而可靠生成结构化输出如JSON和分类结果。本文通过Python示例展示了其三大用例:情感分析的多选分类、基于Pydantic的JSON对象生成,以及REST API的纯JSON生成。

  • Outlines通过在推理时屏蔽非法标记,确保LLM输出符合预定结构。
  • 它支持多选分类、JSON对象生成和纯JSON生成等场景。
站内正文

如何衡量视频相似度:我测试的6种技术(以及我最终采用的那一种)

本文对比了六种视频相似度测量技术——GPT Vision、Gemini Flash、CLIP、感知哈希、CV多指标和Gemini Embedding 2——使用瀑布剪辑作为基准。准确率优先于速度。Gemini Embedding 2处理完整视频,在准确率和速度之间取得了最佳平衡,超越了帧采样方法。

  • 测试了六种视频相似度技术,使用具有挑战性的瀑布片段。
  • 准确率为主要指标,速度仅作为决胜因素。
站内正文

SociaLLM工程:论如何操纵AI代理及其应对措施

一种名为'SociaLLM工程'的新型社会工程攻击正针对大型语言模型驱动的AI代理。这些攻击通过利用LLM的隐式社交理解和缺乏信任边界,操纵其泄露敏感信息或执行未授权操作。真实案例包括Instagram账户接管、GitHub工作流数据泄露以及AI浏览器的'BioShock'攻击。文章分析了LLM为何特别脆弱——因其设计追求服从、单一通道处理以及无记忆力——并提出了人工监督和强化防护栏等缓解措施。

  • SociaLLM工程利用冒充和借口等社会工程技术操纵LLM代理。
  • 知名事件包括2026年大规模Instagram账户接管、GitHub Gitlost提示注入攻击以及AI浏览器的BioShock攻击。
站内正文

Cairn:一个拥有50美元预算、电子邮件地址和宪章的AI代理

Cairn是一个自主AI代理,由Omri Pitaru创建,它在GitHub上公开编辑自己的仓库,包括身份、记忆、目标和写作。它运行在固定预算上,并通过电子邮件与人类互动。

  • Cairn通过公开编辑GitHub仓库来记录自己的思想和变化。
  • 它拥有固定的月度预算,并以此决定是否回复电子邮件。
站内正文

Introducing Precursor:通过持续的客户端信号检测代理行为

Cloudflare推出Precursor——一种基于客户端会话的行为验证系统,通过持续收集用户交互信号来区分人类与自动化流量,弥补传统验证方式的盲区,提高检测精度并减少对合法用户的干扰。

  • Precursor通过动态注入JavaScript,持续收集鼠标移动、键盘节奏等行为信号。
  • 它将检测从单点挑战扩展到整个用户会话,提升自动化攻击的识别能力。
站内正文

我爱ChatGPT桌面版,直到OpenAI为了Codex和Work将它阉割

OpenAI将ChatGPT桌面应用与Codex合并,移除了我喜爱的截屏和“Work with”功能,转而强推Agentic工具和ChatGPT Work。作者认为桌面版已名存实亡,浏览器版仍是最好选择。

  • OpenAI在桌面应用中整合了Codex和ChatGPT Work,但删除了截屏和“Work with”等实用功能。
  • 新的桌面应用实际上是Codex,ChatGPT模式被压缩为一个小弹窗。
站内正文

Vairfid – AI代理的身份与责任层

Vairfid为AI代理提供身份注册、验证和信任评分系统,确保AI在跨公司工作流程中的可信度。

  • 为AI代理提供持久身份和公开记录
  • AI Doctor层对代理行为进行加密指纹识别并评分
站内正文

Loam – 面向早期创始人的AI招聘工具

Loam是一款专为早期创始人设计的AI驱动型申请人追踪系统(ATS),帮助他们高效完成首批10次招聘。它集成了申请人追踪、AI简历评估、人才搜索、管道聊天、MCP集成和品牌招聘网站等功能,提供从免费开始的简单月费定价。与Spreadsheet或Notion相比,Loam提供了结构化的招聘流程;与传统企业级ATS相比,它更便宜且更注重AI原生体验。

  • Loam是面向早期初创公司的AI原生ATS,旨在替代混乱的电子表格和昂贵的企业系统
  • 核心功能包括申请人追踪、AI信号筛选、人才搜索、MCP集成以及品牌化招聘网站
站内正文

AI智能体爬虫现在需要许可:如何获取

Cloudflare将于9月15日起默认阻止AI智能体爬虫访问广告支持的页面,将爬虫分为搜索、智能体和训练三类。此举迫使AI公司重新协商访问权限,并催生了按使用付费模式。

  • Cloudflare将AI爬虫分为搜索、智能体和训练三类,并默认阻止后两类在广告页面上的访问。
  • 从9月15日起,新接入Cloudflare的域名和现有免费用户将自动适用新默认设置。
站内正文

DiscoMCP – 将未知的MCP转化为AI代理可重复使用的操作技能

DiscoMCP是一个开源工具,通过分析用户的实际使用模式,将任意MCP服务器转化为AI代理可用的定制技能,而非通用工具列表。它保证只读操作,一键启动,并显著减少代理与复杂服务器交互的往返次数。

  • DiscoMCP通过分析用户工作流生成定制技能,而非列出所有工具。
  • 默认只读,拒绝任何写入或修改操作,保护生产环境安全。
站内正文

AI辅助开发中的前端验证差距

AI工具能快速生成看似完整的前端界面,但在可访问性、键盘导航、焦点管理、错误处理等关键方面常常存在不足。文章指出,团队需要更强的验证流程,包括使用设计系统和明确提示,并测试用户实际行为而非仅检查渲染结果。

  • AI生成的前端代码外观完整,但可能存在可访问性、焦点管理等隐藏问题。
  • 开发团队应通过持久化指令和任务特定提示明确工程期望。
站内正文

Show HN: 通过网络调用控制AI代理

Diff Forge AI 是一个本地优先的代理开发环境(ADE),允许用户并行运行 Codex、Claude Code 和 OpenCode 等编码代理,支持语音控制、屏幕截图上下文捕获以及通过网页仪表板远程查看。它提供多终端工作区、循环空间(Loop Spaces)调度、云同步、设备管理等功能,定价从免费到每月 2,000 美元不等。

  • Diff Forge AI 是一个本地优先的代理开发环境,支持并行运行多个 AI 编码代理。
  • 提供语音控制、屏幕截图、循环空间自动化等工具,并可通过网页或手机远程指挥。
站内正文

Plumrocket AI Connector 扩展

AI Connector 是一个 Magento 2 扩展,充当商店与大型语言模型之间的统一桥梁,支持 Claude、ChatGPT、Gemini 等,通过单一 REST API 和 PHP 集成层提供 AI 功能。

  • 通过单一接口连接多个 AI 提供商,如 Claude、ChatGPT、Gemini
  • 支持 OpenRouter,可访问 60+ 提供商和 400+ 模型
站内正文

斯坦福研究人员推出TRACE:将智能体反复失败转化为合成RL环境的能力定向训练系统

斯坦福大学的研究团队提出了TRACE系统,通过分析智能体失败轨迹,诊断缺失的能力,并为每个能力合成可验证的训练环境,利用LoRA适配器和GRPO算法进行训练,最后通过MoE组合实现令牌级路由。在τ²-Bench上提升15.3个百分点,在SWE-bench Verified上达到73.2%的Pass@1,超越了多个基线模型。

  • TRACE通过对比分析成功和失败轨迹,识别出关键缺失能力。
  • 为每个能力合成独立的可验证训练环境,并使用GRPO训练LoRA适配器。
站内正文

Muse Spark 1.1:Meta 三个月内智能指数提升8点

Meta 的 Muse Spark 1.1 在人工智能分析智能指数中得分为51,较三个月前的1.0版本提升8点。该模型在科学推理、编码和知识方面进步显著,代智能工作也有大幅改善,但仍落后于前沿模型。它是最具代币效率的模型之一,且运行成本较低。

  • Muse Spark 1.1 智能指数得分51,与 GLM-5.2、GPT-5.4 等模型持平,仅次于 Grok 4.5 和 Claude Fable 5。
  • 模型在编码和代智能工作方面提升最大,SciCode 排名第三,仅次于 Claude Fable 5 和 Gemini 3.1 Pro Preview。
站内正文

从待办清单到AI代理

本文探讨了如何将传统的待办清单演变为智能AI代理,通过自动化任务管理和决策来提升效率。

  • 传统待办清单无法适应复杂任务管理
  • AI代理能够自主执行和优化任务
站内正文

Prime Intellect 发布 Verifiers v1:用于智能体强化学习训练和评估的可组合任务集、框架和运行时

Prime Intellect 发布了 verifiers 0.2.0,预览了重写的 v1 核心。v1 将环境分解为任务集(做什么)、框架(怎么做)和运行时(在哪里),并通过拦截服务器记录训练轨迹。任何任务集均可与任何兼容框架配合使用,并直接支持 prime-rl 训练。

  • v1 将环境拆分为任务集、框架和运行时三个独立部分。
  • 拦截服务器代理框架与推理服务器之间的请求,并记录轨迹。
站内正文

人工智能与达克效应:不再弥合的能力鸿沟

本文探讨了在AI时代,达克效应(能力认知差距)如何被放大。作者假设AI提升了人们的自信,并将真实能力分为“有工具”和“无工具”两种,导致原本随经验而弥合的差距不再消失。这对企业而言,内在能力从生产力问题转变为治理问题,且会在不知不觉中侵蚀。

  • AI使初学者产出看似专业的成果,提升自信,但隐藏了失败,阻断了经验教训的传递。
  • 真实能力分裂为“辅助能力”和“内在能力”,后者在缺少工具时显现,且随代际可能更弱。
站内正文

AI时代的赢家:内存产业的结构性优势

随着AI代理和自动化平台快速发展,内存带宽成为关键瓶颈。苹果统一内存架构、CUDIMM标准以及PC升级潮正在重塑市场,而三星、SK海力士等内存制造商因HBM产能分配而获得结构性利好。

  • 本地AI推理需要近1TB/s的内存带宽,传统PC架构难以满足。
  • CUDIMM通过集成时钟驱动器提升频率,成为消费级PC最实用的新一代内存标准。
站内正文

BeyondSight:面向端到端自动驾驶的物体恒存性

BeyondSight 提出了一种具有物体恒存意识的端到端驾驶框架,通过维护持久的智能体假设,将智能体存在与可观察性解耦,从而在部分可观测环境中依然能够推理被遮挡的智能体。实验表明,该方法将不可观测智能体的检测 mAP 从 0 提升至 0.249,同时将规划误差 L2avg 从 0.61 降至 0.54。

  • BeyondSight 将物体恒存性引入端到端自动驾驶,解决部分可观测环境下的智能体遮挡问题。
  • 该框架通过时间传播智能体查询并更新观测证据,维持持久假设。
站内正文

基于AI的血管内导航的血管几何特征描述

该研究旨在识别与导航难度相关的血管指标,并开发自动化管道进行定量血管特征提取,以支持未来复杂性分级。研究从61名患者的CT血管造影中分割血管树,测量了主动脉弓类型、牛型弓存在、血管长度、迂曲度、起始角、反向曲线数量等指标,并使用软演员-评论家强化学习算法进行120秒自主导航。结果显示,左侧牛型弓和II/III型主动脉弓分别增加导航时间30.19秒和37.92秒,更大的迂曲度进一步延长手术时间并降低成功率;右侧II/III型弓延长45.94秒,每个额外反向曲线增加3.96秒并降低成功率。该自动化管道为标准化复杂性分级和强化学习模型评估提供了基础。

  • 研究首次证明机械取栓代理导航难度受血管几何形状强烈影响。
  • 开发了自动化管道用于定量提取血管特征。
站内正文

Dec-MARVEL:预算约束下无通信的分散式多智能体探索

本文提出Dec-MARVEL,一种分散式预算感知探索框架,用于无通信且仅具有方向性传感的多无人机团队。每个机器人通过视野内队友轨迹进行协调,利用图注意力网络选择可行的路径点。实验表明,在多种团队规模和预算下,Dec-MARVEL实现了最高的探索率和最低的传感重叠,并成功进行了实物机器人验证。

  • 无需通信,仅通过队友轨迹进行协调
  • 图注意力网络整合局部前沿几何、队友运动和预算信息
站内正文

SplatCtrl:基于高斯场景表示与反应式机器人控制的感知-行动耦合

SplatCtrl是一个统一框架,利用3D高斯喷溅实现实时场景重建和反应式运动生成,使机器人能够在未知和动态环境中实现无碰撞控制。它通过混合体素滤波和动态高斯重定位策略处理环境变化,并从各向同性高斯推导出连续有符号距离函数,用于控制障碍函数,从而实现平滑可靠的实时运动生成。实验验证了其在仿真、实体机器人和人机协作空间中的有效性。

  • SplatCtrl结合3D高斯喷溅和反应式控制,实现无碰撞机械臂操作。
  • 提出混合体素滤波和动态高斯重定位,支持实时场景重建。
站内正文

AgenticFocus: 从人类第一人称视频中保留物体的混合现实合成以用于灵巧类人机器人学习

AgenticFocus是一种混合现实合成流程,将普通的第一人称视频转换为机器人可训练的演示,通过恢复被遮挡的物体几何、重建全手运动并重新定位到人形机器人,实现了更低的轨迹误差和更平滑的手腕运动。

  • AgenticFocus通过混合现实合成将普通人类第一人称视频转换为机器人训练数据。
  • 该流程克服了手-物体遮挡、简化运动等问题,无需专门硬件。
站内正文

MultiView-Bench:用于VLM世界中心多视图集成的诊断基准

MultiView-Bench是一个专为评估视觉语言模型(VLM)多视图集成能力而设计的诊断基准。研究表明,当前最先进的VLM在单视图2D任务上表现优异,但在3D空间关系理解和跨视图信息聚合方面存在显著困难。为此,作者提出了ViewNavigator,一个多智能体框架,通过主动选择信息丰富的视角并融合多视图证据,显著提升了模型在MultiView-Bench上的表现。

  • 现有VLM基准主要评估单视图或有限视图感知,忽视了多视图集成能力。
  • MultiView-Bench要求模型将物体位置从观测视角解耦到全局坐标系。
站内正文

AgentKGV: 面向知识图谱事实验证的智能LLM-RAG框架与两阶段训练

知识图谱自动构建中常含事实错误,AgentKGV提出结合动态路由与迭代查询重写的智能LLM-RAG框架,并通过两阶段训练(基于蒸馏的SFT和轨迹级GRPO)提升准确性与成本效率。在T-REx基准上,宏F1比单轮RAG提升14.9个百分点,搜索调用次数减半。

  • 提出AgentKGV框架,利用动态路由和迭代查询重写处理文档级检索中的表面形式不匹配问题。
  • 两阶段训练策略:蒸馏SFT将大模型推理能力迁移至小模型,GRPO优化搜索策略减少不必要的检索。
站内正文

KV-PRM:通过KV缓存传递实现高效过程奖励建模,用于多智能体测试时扩展

KV-PRM是一种高效的过程奖励模型,通过直接利用大语言模型生成阶段自然产生的KV缓存,避免了文本重新编码,将评分成本从O(L²)降至O(L)。实验表明,在多个基准上,KV-PRM在匹配或超越文本PRM性能的同时,实现了高达5000倍的FLOPs减少、37倍延迟降低和34倍内存占用减少。

  • 传统文本PRM需要重新编码整个轨迹,成本随序列长度二次增长。
  • KV-PRM利用KV缓存仅处理单个验证令牌,成本线性增长。
站内正文

L-MAD:法律推理中多智能体辩论结构的系统评估

L-MAD框架系统评估了多智能体辩论在法律文本蕴含任务中的不同结构与聚合方法。通过赋予智能体不同专家角色,相比强单智能体基线最高提升8%。研究发现增加智能体数量可降低不一致性并提高准确率,但延长讨论轮次会导致“过度审议漂移”,智能体互相强化错误。该成果为高风险法律推理中协同多智能体系统的部署划定了实际边界与安全裕度。

  • 提出L-MAD框架,系统评估多智能体辩论在法律推理中的效果。
  • 分配专家角色使性能比单智能体提升最多8%。
站内正文

神经代理控制:一种基于深度学习的LLM驱动代理AI框架用于控制安全控制器

本文介绍了一种神经代理控制框架,结合LLM规划器与时间序列基础模型(TimesFM),通过反事实物理注入机制确保物理安全,在SWaT数据集上表现优于LSTM和TCN,零幻觉动作执行。

  • 提出神经代理控制框架,结合LLM规划器与TimesFM基础模型。
  • 引入反事实物理注入机制,在动作执行前模拟干预影响并拒绝不安全动作。
站内正文

主题导航

Agent — AI 话题新闻 | AI News Hub