top of page

Safeworld 机器人安全面临仅靠模拟无法解决的考验

3天前
讀畢需時 14 分鐘

Safeworld 结束隐身模式亮相,获得超过 1200 万美元融资,并提出了一项艰巨承诺:让概率型、生成式 AI 机器人足够安全,能够部署在人类身边。Safeworld 的机器人安全主张以模拟、独立评估以及让采购方可在批准真实世界运行前审查的证据为核心。

这一承诺出现之际,机器人开发商正让通用 AI 模型对感知、规划和物理动作拥有更大的控制权。这些模型能够处理比固定算法更广泛的情境,但其行为也更难预测。一个陌生场景、未见过的人,或一次软件更新,都可能改变机器人的响应方式。

Safeworld 押注于,这种不确定性将为专业安全测试创造市场。不过,它面临的更大挑战并不只是生成更多场景。公司必须证明,其测试能够预测物理风险,在系统变更后仍然有效,并值得客户与安全专业人士信赖。

创始人包括卡内基梅隆大学 Safe AI Lab 主任丁肇、创业公司高管 Kyle Wong,以及机器学习工程师 Simo Rachidi。他们的背景横跨安全研究、企业软件、网络安全和创业建企。这一组合赋予 Safeworld 技术可信度,但可信度并不等同于认证。

因此,核心竞争不只是 Safeworld 与另一家新创公司的对决,而是独立、基于场景的证据,与机器人制造商能够完全在自身开发流程内验证不可预测系统这一假设之间的较量。

Safeworld 瞄准机器人演示与部署之间的缺口

Safeworld 销售的是一种证据:当一台能力出色的机器人离开受控演示环境,开始与普通人共享空间时,这种证据正是所需。

根据最初的 Safeworld 发布报道,该公司的种子轮融资超过 1200 万美元。Shine Capital 和 a16z Speedrun 领投本轮融资。Box Group、Carnegie Mellon University Endowment、Innovation Endeavors 和 SV Angel 也参与了投资。

这笔融资之所以重要,是因为 Safeworld 并非在提出另一种机器人本体或通用控制模型。其产品位于机器人开发商与决定这些系统能否在员工、客户或居民身边运行的组织之间。

创始人描述了两个相互关联的问题。第一个是如何评估概率型系统的风险,其输出会随输入和上下文变化。第二个则是如何获得足够的信任,使组织愿意部署这一系统。

Safeworld 的答案是面向在人类附近工作的机器人的安全测试与评估平台。该公司表示,它能够复现危险或意外情境,而无需让真人暴露于原始风险中。

Safeworld 安全平台从一个已观察到的环境或事件入手。它构建该场景的数字版本,置入运行真实控制软件的模拟机器人,然后改变交互过程中的条件。

设想一台移动机器人在工厂内接近一个视线盲角。安全团队需要了解它的检测范围、速度、制动距离,以及面对被遮挡行人的响应。

当行人搬着箱子、蹲下、奔跑、跌倒,或仅部分露出时,这些变量会变得更复杂。传统测试可以抽样检验若干情形,但在物理环境中反复重现每一种变化将十分缓慢,有时也不安全。

Safeworld 表示,其软件能够生成可能的路径、预测交互风险,并保留测试证据。其安全测试平台还承诺将这些测试映射到相关要求和安全实践。

该公司正进入一个早期市场。它尚未提出通用认证方案、公开基准,或经独立验证的性能结果。它也仍在决定,其业务应更侧重于由客户操作的软件,还是由 Safeworld 专家交付的服务。

这种不确定性并未削弱其背后的需求,反而说明了已经发生的变化。机器人制造商如今需要能够跟随行为、软件和运行环境持续变化的系统的评估方法。

Safeworld 希望成为将这些不断变化的风险转化为可重复证据的独立层。采购方是否接受这些证据,将决定该公司是成为关键基础设施,还是又一个工程工具。

生成式 AI 让旧有的机器人安全假设不再完整

生成式 AI 扩展了机器人可尝试完成的任务,也增加了工程师必须评估的行为数量。

传统自动化通常在严格界定的边界内运行。工业机械臂在防护单元内遵循预设动作。工程师可以限制其路径、接近方式、速度和运行顺序。

由 AI 驱动的移动机器人和人形机器人面对的是不同的环境。它们要理解视觉场景、语言、物体、人类动作和不完整的指令。周围环境的变化速度,可能快于安全团队列举所有条件的速度。

视觉-语言-动作模型将视觉和语言输入连接到物理动作。它使机器人能够理解请求并选择动作,而不只是重放固定序列。

这种灵活性构成了通用机器人的商业吸引力。一台机器无需为每个动作单独编程,便可能完成更多任务。同样的灵活性也让安全保证变得复杂,因为一次成功演示仅覆盖了可能行为中很小的一部分。

软件更新又增加了一层复杂性。新的模型检查点、修改后的提示词、更换的感知组件或调整过的规划策略,都可能带来不同响应。即使机器人的金属本体保持不变,测试结果也可能过时。

运行地点同样重要。仓库通道、太阳能设施、医院走廊和私人住宅包含不同的物体、人员、可见性条件以及可接受的运行速度。

没有任何单一结果能够证明这些场景中的安全性。负责任的表述应更为有限:某一确定配置,已在记录在案的条件下,针对指定风险进行了评估。

现有标准仍提供了不可或缺的基础。它们指导风险评估、机械设计、功能安全和工业机器人集成。然而,较新的系统结合了移动性、操控能力、AI 决策以及与人的近距离接触。

一份近期的人形机器人安全标准指南得出结论:没有单一标准覆盖每一种通用机器人。适用框架取决于任务、环境、移动能力、人员接近方式、AI 行为和目标市场。

这种碎片化为 Safeworld 机器人安全测试创造了机会。能够将场景证据连接到多项要求的平台,或可帮助工程、运营和安全团队讨论同一组风险。

不过,软件评估无法替代物理防护措施。当人员进入危险区域时,机器人仍需要限制力量、速度、触及范围或运动的工程控制。

在故障可能导致伤害的情形下,AI 推理也应与安全等级机制保持分离。模型可以建议一项动作,而底层控制则负责执行模型无法覆盖的边界。

Google DeepMind 在其机器人安全方法中描述了类似的分层立场。其机器人模型可以与底层防护措施配合运行,而对抗性评估则用于寻找模型漏洞。

DeepMind 也警告,其人体检测行为并非保证达到安全等级的系统。这一限定概括了行业的核心问题:模型在评估期间表现安全,并不等同于经过认证的保护功能。

Safeworld 并未试图消除这种区别。它的机会在于记录 AI 控制机器人在独立防护措施、运行规则和部署决策完成整个安全论证之前的行为。

Safeworld 机器人安全将罕见边缘案例转化为可重复测试

Safeworld 最有力的理念,是将一次罕见交互转化为一组相关测试,而非将一次成功重演视为证明。

该公司提出的工作流类似于自动驾驶领域使用的加速评估。工程师将测试聚焦于具有重要后果的交互,而不是等待罕见事件自然发生。

丁肇多年来一直研究这一问题。他在卡内基梅隆大学的工作涵盖可信 AI、自主系统,以及人类与机器人之间的安全物理交互。

他的官方研究主页列出了强化学习、以人为中心的机器人技术、AI 推理,以及物理人机交互安全等研究方向。他也曾与横跨交通、计算和工业技术领域的机构合作。

Safeworld 将这一研究方向应用于商业评估平台。客户可以在 Genesis 或 MuJoCo 等模拟器中重建地点,并连接机器人的控制软件。

随后,测试会改变危险交互周边的细节。人的位置、动作、外观、可见性、物体放置和时序,都可能影响机器人的响应。

机器人附近有人跌倒,便说明了这种方法的价值。反复让真人测试人员在移动机械前绊倒并不现实。模拟可以改变跌倒发生的方式和时机,而不会让测试人员陷入危险。

视线盲角提供了另一个具体案例。问题不只是机器人是否会为一名可见行人停车。工程师还需要检验遮挡、接近速度、检测时机、携带物体以及其他人的行进路径。

Gritt Robotics 提供了一个早期客户案例。该公司为协助工人在工业级太阳能农场安装光伏板的机器人开发 AI 系统。

其机器人在建筑环境中与人并肩工作。工人可能站立、跪下、蹲伏、奔跑、搬运物体或跌倒,而服装和身体特征也存在差异。

随着双方公司开发安全模拟,Gritt 正与 Safeworld 合作。这一关系为 Safeworld 安全平台提供了超越摆拍式人形机器人演示的真实运行场景。

它也暴露了核心技术限制。模拟是现实的模型,而不是现实本身。其结果取决于机器人动力学、传感器、控制软件、人类行为和环境重建的准确性。

如果模拟摄像头比实体传感器看得更清楚,评估就可能低估风险。如果人类模型遗漏某个重要动作,即使运行数千次,也可能反复错过同一风险。

场景生成带来第二项挑战。仅当大量变化覆盖了有意义的失效模式时,生成众多变化才有价值。单靠测试数量几乎无法说明覆盖质量。

因此,Safeworld 机器人测试必须针对每项结果回答三个问题:为何选择这一场景、它被如何忠实呈现,以及部署决策应如何据此作出?

保留的证据可包括配置细节、场景参数、模型版本、检测到的危险、机器人响应以及最终的安全指标。这类记录在更新后尤其有价值。

客户可以针对修订后的软件重新运行同一类场景,并识别发生变化的行为。这种回归方法能将真实事故或险些发生的事故转化为永久性的测试资产。

这比一次性的安全演示更具可辩护性。它为各版本之间建立可追溯性,并为团队讨论某次更新是否增加风险提供共同依据。

Safeworld 仍需证明,其生成的场景能够发现客户原本会遗漏的问题。该产品的价值取决于发现质量,而非模拟数量。

独立验证挑战行业的自测模式

Safeworld 押注于:机器人采购方最终会要求获得制造商自身评估流程之外产生的证据。

机器人开发者已经在使用模拟、硬件测试、内部红队测试和受控试点。新的测试公司若只是复现有能力的制造商已具备的工具,便难以成功。

Safeworld 的差异化建立在独立性、专业能力和共享的安全知识之上。创始人认为,机器人制造商会希望由第三方评估其系统,并协助在不同部署之间转移经验教训。

这一角色类似于网络安全和其他安全敏感行业中的独立评估。产品团队可以充分测试自己的系统,但仍能受益于激励机制和失效案例库不同的评估方。

外部测试可以挑战隐藏的假设。制造商了解系统预期的工作方式;独立评估方则可以关注这种预期与陌生行为发生冲突时会出现什么情况。

采购方也面临信息不对称。仓库运营方或许了解自己的工作流程,却无法获取模型的训练数据、架构或完整的失效历史。

机器人供应商了解系统,但在商业上有理由强调其能力。独立证据可以为采购方批准、限制或推迟部署提供另一项依据。

这并不会自动使 Safeworld 保持中立。客户将为其工作付费,而该公司可能依赖机器人制造商的重复业务。其方法论、报告边界以及对不利结果的处理方式都将至关重要。

“验证”一词也有不同含义。第三方报告可以确认已完成既定测试,但无法保证在未来每一种条件下都能安全运行。

在这里,Safeworld 面临的信任挑战比技术挑战更棘手。工程师可以审查场景构建、指标和软件版本;高管、保险机构、员工和监管机构则需要能够理解、且不会夸大确定性的结论。

一份有用的报告应区分观察到的证据与假设。它应说明经过测试的配置、未测试条件、已知模型缺口,以及由运营方接受的剩余风险。

公司还必须避免沦为安全戏剧的一层包装。精致的仪表板和大量场景数量,可能制造信心,却无法证明最重要的危险得到了准确呈现。

独立评估通过透明的方法和可复现的结果获得权威性。Safeworld 尚未披露足够的公开细节,来在行业规模上确立这两者。

其商业模式同样尚未确定。软件平台更易扩展,也支持持续测试,但客户必须正确使用它。

服务模式能带来更深入的专家参与,但也会让交付更慢、更难规模化,并依赖专业人员。

混合模式似乎是可行的。客户可以通过软件运行日常回归测试,而 Safeworld 则负责危险分析、复杂环境和独立审查。

公司尚未公开承诺采用这一确切模式。其最终的产品打包方式将揭示,它主要希望成为基础设施、测试实验室,还是拥有专有软件的安全咨询机构。

机器人制造商也会开发更强大的内部工具。Tesla、Wayve 和主要机器人实验室已将模拟视为核心开发能力。

大型模型开发者正在构建自己的对抗性评估系统。安全专家、标准顾问和认证机构也在处理该问题中相互重叠的部分。

Safeworld 的可辩护定位不能只是“我们使用模拟”。它必须成为“我们的独立方法论能够发现实质性风险,并产出部署决策者认可的证据”。

Safeworld 机器人测试无法证明什么

模拟可以暴露故障并比较不同配置,但无法证明一台概率性机器人永远不会伤害任何人。

形式化证明最适用于系统及其边界能够被精确规定的情况。现代 AI 组件学习统计模式,并对设计者无法完全枚举的输入作出响应。

机器人还增加了物理复杂性。传感器噪声、摩擦、载荷变化、磨损、照明、网络延迟和人员移动,都可能影响动作结果。

因此,模拟中的安全结果只支持模型范围内的主张,并不能确立在现实环境中的普遍安全性。

生成式 AI 使这一限制更加突出。模型可能在软件更新后,或在提示词、摄像头角度或物体排列发生变化时作出不同响应。

Safeworld 承认这一不断变化的目标。其公开材料称,每个新环境和每次软件更新都可能引入新的风险。

持续测试是一种合理应对方式,但组织仍需决定哪些变更会触发重新测试、多少证据才足够,以及谁有权批准部署。

首要重大风险是模拟保真度。数字环境必须足够贴近相关的物理行为,测试结果才能为实际部署提供指导。

第二项风险是场景覆盖度。生成器可以创建无数案例,却仍可能遗漏某种落在其假设之外的罕见交互。

第三项风险是指标选择。机器人即使避免了碰撞,也可能因运动不稳定、掉落物品、堵塞出口或信号令人困惑而造成危险。

第四项风险是系统集成。测试 AI 策略并不自动验证制动器、执行器、传感器、网络、电池、附件或工作场所流程。

第五项风险是人类适应。员工会改变自己在机器周围的行为,有时会在反复安全运行后走捷径。即使软件保持不变,部署也可能变得更具风险。

这些限制并不会让 Safeworld 的机器人测试失去意义。它们界定了该测试能够发挥作用的条件。

该平台应支持更广泛的安全论证,其中包括物理控制措施、运行限制、培训、事故报告和现场监控。模拟在该体系内提供证据。

Safeworld 必须准确说明自己销售的是什么。“该配置通过了这些既定场景”是可信的;“这台机器人是安全的”则过于宽泛。

公司还必须证明自己不受乐观模型假设的影响。如果客户提供机器人模型、人员模型和选定场景,评估可能只是将其既有盲点形式化。

Safeworld 可以通过维护自己的危险案例库、记录模型不确定性,并将模拟发现与真实事故进行比较来回应这一担忧。公开方法论将进一步增强信心。

重复的现场相关性验证尤其有价值。如果模拟风险评分能够预测试点期间的险些事故或人工干预,采购方就能获得证据,证明该工具衡量的是具有实际运营意义的内容。

负面发现将考验这一商业模式。当评估方能够不顾客户压力,建议施加限制、增加额外保障措施或推迟部署时,信任才会增长。

一家由投资者支持、并向快速发展的机器人公司销售服务的初创企业,必须在增长与这种独立性之间取得平衡。这种张力具有结构性,并非只针对 Safeworld 的批评。

Zhao 关于企业将需要为安全付费的说法,反映了一种真实的市场可能性。它仍然只是公司的预测,而非既定的采购规则。

一些制造商会自行建设能力;一些采购方将依赖现有安全顾问;另一些则可能推迟采用先进机器人,直到标准和责任预期更加明确。

Safeworld 发现了一个紧迫问题,但尚未证明其具体方法会成为被广泛接受的答案。

三个信号将显示 Safeworld 能否赢得信任

Safeworld 的下一场考验并非又一次戏剧性的机器人演示,而是客户、评估机构和标准专业人士是否依赖其证据。

第一个信号是有记录可查的部署结果。与 Gritt Robotics 的合作为 Safeworld 提供了一个机会,将模拟危险与真实的建筑环境关联起来。

最有力的证据将展示模拟如何改变机器人行为、现场控制措施或部署限制,并说明哪些剩余风险仍在测试范围之外。

模糊的客户背书作用不大。一份具有可追溯性的案例,包含前后对比结果和明确的运行条件,才能支撑 Safeworld 的核心主张。

如果这样的证据出现,独立评估的论点将更有力;如果合作关系仍停留在探索阶段,Safeworld 看起来仍会像一家正在寻找产品市场匹配的早期测试供应商。

第二个信号是透明、可重复的方法论。采购方需要了解 Safeworld 如何选择场景、建模人员、呈现不确定性,以及判定结果是否具有意义。

可信的方法论应将生成的可能性与经验证的危险区分开来,也应说明何时模拟保真度不足以支持部署决策。

Safeworld 无需披露每一项专有技术,但需要足够的透明度,让安全专业人士能够质疑其假设并复现重要结论。

公司可以通过外部技术审查、基准发布,以及记录模拟与物理测试之间的相关性来强化这一信号。目前尚无一项使 Safeworld 成为行业权威。

方法论开放性的证据将强化“第三方审查提升信任”的论点。围绕专有评分建立的封闭流程则会削弱这一论点。

第三个信号是在采购、保险或标准流程中获得认可。公司的长期价值取决于,其输出是否能超越机器人工程团队的范围。

工厂运营方可能在接收机器人前要求提供 Safeworld 报告。保险机构可能在风险评估中考虑其证据。标准组织可能引用兼容的场景方法。

这些发展将表明,Safeworld 机器人安全测试已成为部署治理的一部分。若没有这些进展,该产品可能仍只是可选的开发辅助工具。

获得标准认可需要时间。更直接的证据可以更务实,例如客户使用测试结果来批准版本发布或施加运行限制。

未来一到三个月应会澄清公司的产品形态。Safeworld 必须决定测试中有多少由客户自行完成,又有多少依赖其专家。

这一决定将影响规模、问责和信任。自助式平台传播迅速,但会将更多责任交给客户;服务模式提供监督,但增长更慢。

Safeworld 选择了恰当的时机,提出了一个关键问题:在概率型机器进入共享空间之前,谁来验证它们?机器人的能力提升速度,正快于任何单一安全框架的消化能力。

不过,恐惧本身无法创造信任。信任需要经得起模型变化、环境差异,以及客户希望推进部署时检验的证据。

Safeworld 的技术可以让危险情形更容易被审查。其更艰巨的任务,是证明这些审查足够真实、足够全面,并且足够独立,能够影响决策。

开发者和企业买家应关注模拟运行之后发生的事。客户是否会修改系统、限制部署,并在软件版本迭代中保留相关发现?

这种行为比生成情景的数量更重要。它将揭示 Safeworld 构建的是一款模拟器、一个保障平台,还是一家独立安全机构的雏形。

 
 

免费开始使用

一款本地优先的AI助手

为了获得更好的人工智能体验,

remio 目前仅支持Windows 10+ (x64)和M-Chip Mac 。

你的 AI 工作伙伴

和 remio 一起高效工作

规划、创作、交付

一站式完成

bottom of page