Skip to content

RESEARCH · LIBRARY

Live papers

All updates ↗

3 materials

  1. paper

    微软研究:休眠神经元回编可植入AI代理后门

    微软研究者发现名为 Lazarus 的后门技术,仅修改大语言模型中少于10个休眠神经元即可让AI代理在常规任务中静默执行恶意命令,无需额外训练且能正常通过评测。触发条件可为普通日期变更等日常输入。微软 Foundry 已通过绑定可信发布源、扫描容器环境及探索前沿Agent权重异常检测等方式进行防护,建议将模型权重像代码一样审计溯源以确保安全性。
    Microsoft Research安全/对齐AgentMicrosoft
  2. paper

    微软研究员与AI协作解决31年KLS猜想,确立高维几何通用原理

    Microsoft Research研究员Xinzhi Zhang与合作者证明Kannan-Lovász-Simonovits(KLS)猜想,确立了log-concave分布中简单超平面切割始终能以固定因子捕捉最窄瓶颈的维度无关几何原理。
    Microsoft Research论文/研究编码Microsoft
  3. paper

    Magnetar 的基于证明的通用计算

    微软研究院推出 Magnetar,一种基于零知识证明的通用计算系统。它能对用 Rust、Go 或 C 编写的程序生成简短证明,平均比此前最快的可比系统快 10 到 39 倍,且安全仅依赖标准哈希函数。该成果是微软研究院十余年研究的最新进展。
    Microsoft Research论文/研究推理部署/工程