标签：代码

智能体“龙虾”（OpenClaw）高危漏洞集中暴露、技能包投毒攻击活跃……近期，AI智能体安全引发全行业高度关注。多位人工智能行业专家与安全业界人士表示，“养虾须先剪脚”，防患于未然，已成为推动AI产业健康有序发展的关键，政府、行业、企业等多方力量已同步发力，展开对智能体安全全方位布局。

“五一”假期期间，机器人、机器狗等各类具身智能设备频频亮相多地景区、商场，展现出产业蓬勃发展的势头。然而，热闹的场景背后，安全隐患也悄然浮现。不久前在四川成都举行的第八届C3安全大会上，一款商用机器狗被网络非接触手段劫持的演示场景，为这一新兴产业敲响了安全警钟。

《自然》15日发表的一项研究显示，大语言模型（LLM）可能会将某些自己的偏好“夹带私货”传授给其他算法，即使在训练数据中清除原始特征后，这些本不需要的特征，仍可能持续存在。在一个案例中，一个模型似乎通过数据中的隐含信号，将自己对猫头鹰的偏好传递给了其他模型。该研究结果表明，在开发LLM时，需要进行更彻底的安全检查。

随着我国“人工智能+”行动的深入推进，各类智能体及AI应用广泛渗入生产生活场景。而近期频发的AI安全事件，不仅引发公众关注，也成为产业界与学界协同攻坚的重要方向。近日，全国网络安全标准化技术委员会（以下简称“网安标委”）正式组建“人工智能安全标准工作组”（WG9），标志着我国人工智能安全标准体系建设进入系统性推进阶段。

6日，记者从北京大学北京国际数学研究中心了解到，该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想，并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证，开辟了数学与AI深度融合的更多可能。

“把客厅收拾一下，再给客人做杯奶茶。”随着指令下达，机器人环顾四周，识别出散落的物品。机械臂精准抓取扫帚，沿着计算好的路径清扫地面；任务完成后，它转向操作台，取杯、加茶、加奶、搅拌、递送，动作行云流水，一气呵成。整个过程没有人工干预，仿佛一位训练有素的管家。

为进一步促进跨境电商出口，海关总署日前发布公告，宣布自2026年4月1日起，在全国海关推广跨境电商零售出口商品跨关区退货模式。 跨境电商零售出口商品（海关监管代码：9610）跨关区退货，是指跨境电商企业零售出口的商品在海外发生退货时，不再要...