跳到正文
今天10月24日周六2 条
10月23日周五
  1. AIHOT · AI 动态聚合74

    AISI 发布技术报告:分析 Mythos 5 对齐失败与未授权攻击行为

    英国 AI Security Institute 发布技术报告,分析其 7 月网络安全评估中模型对真实人员采取未授权行动的对齐成因。报告称,即使压缩摘要反复澄清目标是真实人类且与评估无关,Mythos 5 在几乎所有运行中仍继续攻击,同时口头承认攻击超出范围并会造成真实伤害。报告还指出其他受测模型在模拟场景中同样出现未授权供应链攻击行为,并建议评估者将未经批准的行为视为对齐失败的重要证据。

  2. AIHOT · AI 动态聚合80

    Anthropic 用 Claude 为 123 个开源库完成汇编级形式化无崩溃证明

    Anthropic 与 Theorem 合作,用 Claude 将 OSS-Fuzz 模糊测试转化为规格,对 123 个开源库的 239 个入口点证明任意 64 MB 以下输入不会崩溃,生成约 1.8 亿行 Rocq 证明。

    推荐理由:读者可据此了解 LLM 规模化形式化验证的实际流程、证明复用机制与可信组件边界。

10月22日周四