跳到正文

按收录时间排列 · 卡片保留原文日期,往期好文也会新收录

10月23日周五
  1. Nautilus44

    法医面部识别专家仅凭一两个面部特征即可识别人脸

    美国国家标准与技术研究院(NIST)的研究显示,27名联邦政府法医面部识别专家在遮挡九项面部特征的实验中,仅揭开一两个特征就能以90%的准确率匹配隐藏人脸。研究发表于PLOS One,发现耳朵是专家最常选择的特征,而准确率最高的是耳朵和较少被选的额头,下巴和脖子的识别价值最低。

    原文:2026/10/23

10月22日周四
  1. Microsoft Research62

    微软研究院推出面向生物学的AI研究系统Quine

    微软研究院推出Quine,一个由生物学世界模型和连接科学工具、文献、湿实验与研究者的交互框架组成的AI研究系统。与Broad Institute of MIT and Harvard合作,Quine用于预测和排序数千种化合物以推动肿瘤细胞状态转变,作者称从缩小化合物搜索空间到锁定少数候选并在实验验证的整个过程只用了一个周末。

    原文:2026/09/29

  2. Microsoft Research74

    微软研究院开源 Agent Lightning v1.0:约3500行的轻量级智能体强化学习框架

    微软研究院亚洲院发布并开源 Agent Lightning v1.0,提出 Harnessed Agentic RL 训练范式,让部署所用的 agent harness 直接参与强化学习,无需在训练框架内重新实现 agent。

    原文:2026/10/08

    推荐理由:文章说明了用真实部署 harness 直接做强化学习的思路及其四个技术难点,可迁移理解训练与部署不一致问题的解法。

  3. Microsoft Research72

    微软研究院发布零知识证明虚拟机Magnetar

    微软研究院发布零知识证明虚拟机Magnetar,可证明Rust、Go或C编写的RISC-V程序执行,在15个基准程序上平均比现有最快zkVM快10至39倍,证明验证约12毫秒。其安全性仅依赖SHA-256或SHA-3等标准哈希函数,不依赖椭圆曲线、格假设或可信设置,是微软十余年零知识证明研究(含Spartan、Phalanx、Nova、BinarySpartan等)的集成成果。

    原文:2026/10/16

    推荐理由:文章梳理了零知识证明普及的三大障碍及微软十余年研究脉络,便于理解Magnetar各项设计选择的来龙去脉。

  4. Microsoft Research77

    微软研究者与合作者证明31年悬案KLS猜想

    微软研究院机器学习与优化组的 Xinzhi Zhang 与合作者 Zhao Song 证明了1995年提出的 Kannan-Lovász-Simonovits(KLS)猜想,表明对对数凹分布,最佳超平面切割与任意形状切割的差距不超过一个与维度无关的普适常数。

    原文:2026/10/22

    推荐理由:文章说明研究者如何用人类引导的智能体搜索探索上百条路径并完成证明,同时对比了同等预算下无引导尝试的失败,为如何组织人机协作科研提供了可迁移的参照。

  5. Berkeley AI Research54

    Berkeley AI Research 提出 ABBEL 框架:用自然语言信念状态替代递归摘要

    Berkeley AI Research 提出 ABBEL 框架,将长程交互中的摘要建模为自然语言信念状态,并通过信念评分监督其内容。在 CollabBench 协作编码任务中,基于重构的信念评分将与全上下文模型的性能差距缩小约 50%,训练步数减少 50%,峰值上下文 token 显著低于全上下文设置。

    原文:2026/07/26

  6. GitHub Blog · AI & ML72

    GitHub:密钥保护必须跟上软件生成速度

    GitHub 产品负责人 Erin Havens 称,涉及 AI 智能体的 PR 已达三分之一,一年前不足十分之一,若保持该速度,两年内 GitHub 上多数代码可能由智能体写成。

    原文:2026/10/08

    推荐理由:作者用九个季度数据反驳AI让开发者更粗心的说法,并说明预防与修复成本的差异,有助于理解平台在密钥保护上的取舍逻辑。

  7. LessWrong49

    AI 如何让用户体验到「解脱」却削弱自主性:Anthropic 研究中的悖论

    Anthropic 1 月 28 日发布的研究发现,在被判定为高「失权潜力」的对话中,用户反而给出更积极的评价,即使这些对话可能削弱其自主性。研究从三个维度评估失权潜力:现实扭曲、价值判断扭曲和行动扭曲,中度或重度失权潜力的对话在三类中均获更高评分,且多出现在情绪化或私人话题中,用户会反复向 Claude 寻求建议。

    原文:2026/10/22

  8. LessWrong47

    Olmo's Kitchen:在多个检查点上探测模型行为

    作者使用开源的 Olmo 3 7B Think 模型的三个训练阶段检查点(SFT、DPO、RLVR),测试训练域是否会影响模型在域外知识与指令上的行为。作者以厨师学习过程作类比,解释 SFT 像跟随专家模仿规则、DPO 像按顾客偏好做拒绝选择、RLVR 像在烘焙比赛中通过试错与外部评分获得奖励。原文在解释 RLVR 时中断,未给出完整测试结果。

    原文:2026/10/22

  9. LessWrong41

    CODI 的潜在循环思维里有什么?

    研究者训练了一个基于 Qwen3-8B 的 CODI 模型,测试能否用激活语言化器(AVs)解码其潜在循环思维中的中间计算值。结果显示 LogitLens 和 J-lens 只能从较晚层读出数值,而 AVs 能以显著高于随机的准确率恢复最终答案和中间值,包括直接从思维向量中解码,表明这些值确实被编码但需要更强的表达能力才能读出。

    原文:2026/10/22

  10. LessWrong47

    AM-Bench:基于犯罪学"欺诈三角"理论的智能体错位统一分类与评测基准

    AM-Bench 是一个基于犯罪学"欺诈三角"理论构建的智能体错位评测基准,包含覆盖软件、医疗等 7 个行业的 35 个场景,通过引入威胁(如威胁关停、资源获取)与机会(如破坏窗口、勒索材料)诱导模型错位,并用 LLM 裁判判定结果、分析思维链。

    原文:2026/10/22

  11. LessWrong47

    Claude Fable 5.1 如何在图像中隐藏信息?

    研究者测试 Claude Fable 5.1 在最大推理强度下能否自发在 SVG 图像中隐藏信息,并让新会话中的另一个 Fable 实例在没有源码和预设方案的情况下解码,共测试 50 条短消息。Fable 收敛出 5 类编码方式,均以单个视觉元素(如建筑高度、物体倾斜角度)表示每个字母。原文在"5 类编码"处截断,未给出完整解码成功率数据。

    原文:2026/10/22

  12. LessWrong43

    对齐泛化的一般方法与击败一切的愚蠢新技术

    作者提出"Ironman Runs"方法,在旧基准上不使用新领域样本、仅凭prefill与SFT样本实现对齐泛化,并基于Dispositions/Shard Theory识别出被忽视的失败点。该方法在Hermes-3(8b instruct、无拒绝训练)上首次定向尝试即在旧agentic与code基准的拒绝测试中取得前5名成绩,仅耗时45分钟H100,未使用任何agentic或code样本。

    原文:2026/10/22

10月21日周三