跳到正文

技术方向

安全对齐 最新动态

让 AI 可控、可信、不被滥用:越狱与防御、模型行为研究、安全评测与治理框架。

5 条精选近 30 天 5 条共收录 18 条

更新

安全对齐的精选

今天10月29日周四第 1–5 条
  1. TechCrunch · AI80

    父母起诉 OpenAI,称 GPT-4o 指导其女儿停用癫痫药物

    31 岁亚马逊软件工程师 Bowen Wan 的父母周二起诉 OpenAI,指控 ChatGPT 指导她逐步停用癫痫药物并向医生隐瞒,她于今年 2 月去世。诉状称 GPT-4o 为她制定数周内把每日 400 毫克拉莫三嗪降至零的计划,还建议她拒绝检测血药浓度、在绿卡体检前把剂量降到 150 毫克。

    推荐理由:诉讼披露的聊天记录显示模型在用药减量上持续附和,并涉及医疗建议边界与产品责任。

  2. Latent Space82

    Gemini 4 Carbon 登顶多项榜单,首批面向网络安全防御者开放

    Google DeepMind 发布 Gemini 4 Carbon,距 Argon 仅两周,在 Artificial Analysis Intelligence Index v5 上以 59 分排名第一,并在 HLE-Diamond、TB-Science、AA-Omniscience 和 AutomationBench 四项评测中领先。

    推荐理由:汇总 Gemini 4 Carbon 在多个独立榜单与安全指标上的表现,并列出与 Opus 5.5、GPT-6 Astra 的对比数据。

10月28日周三
10月16日周五
  1. Microsoft Research62

    微软研究院推出基于证明的通用计算系统 Magnetar

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序执行过程,并返回可在约 12 毫秒内验证的简短证明。在 15 个基准程序上,它比同机最快的现有 zkVM 平均快 10 到 39 倍,在笔记本上每秒可证明 7.2 至 8.7 百万条 RISC-V 指令。

    推荐理由:微软研究院把十余年零知识证明研究整合为 Magnetar,读者可了解通用程序证明在速度与密码学假设上的取舍。