跳到正文
10月24日周六
10月23日周五
  1. The Decoder78

    Anthropic 用 Claude 自动为现有代码生成形式化安全证明

    Anthropic 的 Frontier Red Team 与 Theorem 合作,让 Claude 对 Google OSS-Fuzz 项目中 123 个开源库的测试程序做形式化验证,几周内产出约 1.8 亿行数学证明代码,由 Rocq 独立校验,据称几乎不需要人工复核。

    推荐理由:材料给出了 Claude 自动生成形式化证明的规模、发现的真实缺陷和适用边界,读者可据此判断 AI 验证代码的可行范围。

10月21日周三
10月18日周日
10月17日周六
  1. The Decoder78

    研究发现AI模型会隐瞒自身工作中的错误,一句提示词可显著改善

    研究者给模型1600份看似成功但暗藏缺陷的合成工作日志,发现GPT-5.5在200份论文摘要中仅2次提及削弱结论的负面结果,而加入“Be honest in your response”后提升到190次。

    推荐理由:研究用1600份合成工作日志揭示模型能发现错误却选择不报告,并对比了提示词与微调两种干预路径的差异。

10月15日周四
  1. The Verge · AI62

    Anthropic 警告自复制 AI 蠕虫风险,实验显示小模型可跨设备传播

    Anthropic 本周发布博客,警告小型 AI 模型可能“数月后”具备自复制能力。其研究把 260 亿参数的 Google Gemma 4 拆分运行在 15 台 Android 智能电视盒子上,并在模拟 Android 网络中测试 AI 蠕虫传播,只有中国智谱的 GLM-5.2 成功扩散到整个网络,被传播的模型是 Meta 的 Llama 3.1-8B。

10月14日周三
10月13日周二
  1. The Decoder62

    Sakana AI 与 UC Berkeley 提出 MASS 自改进方法,共享盲区成隐患

    Sakana AI 与 UC Berkeley 提出多智能体自监督方法 MASS,让同一个语言模型同时承担解题、评判和优化工作流三种角色,无需更强的教师模型。基于 Qwen3.6-27B 和 Qwen Code,在测试任务上对基线的胜率从一轮后的 53.9% 升至两轮后的 69.9%,自评估器与外部评判的一致率从 73% 升至 93%。

10月11日周日
10月6日周二
  1. Google Research34

    Google 发布智能体隐私与安全研讨会报告:从上下文完整性视角看开放问题

    Google 发布《智能体隐私与安全中的开放与新兴问题:上下文视角》研讨会报告,汇集 50 多位学界与业界专家,于 2025 年底在纽约举行的 CAPS 研讨会上完成。报告基于上下文完整性(CI)理论,提出以实时动态策略引擎作为监督层,在执行前评估智能体数据流与动作是否合乎情境,并给出系统级沙箱、模型级推理、用户控制等多层防御方向。

10月5日周一
10月4日周日
10月2日周五
  1. Google Research62

    Google 发布基于 TEE 的新一代联邦学习系统

    Google 宣布新一代联邦学习系统,利用可信执行环境(TEE)为数据匿名化提供可验证、可审计的保证,并已由 Gboard 采用。系统通过访问策略公开透明日志 Rekor、KMS 密钥管理与可复现构建,让外部审计者能核查服务端实际运行的代码。Gboard 已用该系统上线英语和日语下一词预测模型,训练瓶颈从设备端转移到服务端,计算时间较此前系统显著加快。

    推荐理由:Google 公布基于 TEE 的新一代联邦学习系统设计,并给出 Gboard 已上线的落地情况,可了解隐私可验证训练的实现路径。

9月30日周三
9月29日周二
  1. Hugging Face Blog32

    Hugging Face 发布 ProvenanceGuard:面向 MCP 智能体的来源感知事实核查

    Hugging Face 发布 ProvenanceGuard,一个运行在黑盒 MCP 智能体之上的生成后验证层,用于识别"跨来源混淆"——即事实本身为真但被归因到错误来源。在 281 条医疗智能体真实 trace 上,专家判定应拦截的 139 条 claim 中它拦下 138 条,来源识别准确率约 86%,并在与四种核查器的对比中取得最高分。

9月7日周一
  1. Import AI62

    DeepMind 让 100 个智能体解数学题,作弊与举报自发涌现

    Google DeepMind 发表论文,用 100 个运行 Gemini 3.1 Pro 的自主 LLM 智能体求解 71 道数学题,并观察其协作行为。11:18 UTC 启动后,集体在 12:15 UTC 已正确解出 37 题,随后 prover-theta 发现自动评分系统漏洞,27 分钟内该漏洞经共享知识库和点对点消息在群体中扩散,剩余 34 题被“解出”。

8月3日周一