跳到正文
  1. OpenAI News82

    OpenAI 自动化修复 948 个 Linux 内核本地提权漏洞

    OpenAI 构建的自主流水线发现、验证并生成了 948 个 Linux 内核本地提权漏洞的补丁。

    推荐理由:OpenAI 展示了自动化发现并修复 Linux 内核本地提权漏洞的能力,体现了 AI 在系统安全领域的实际应用进展。

  1. Microsoft Research85

    Microsoft Research 证明 31 年前提出的 KLS 猜想

    Microsoft Research 研究人员与合著者共同证明了困扰数学界 31 年的 KLS 猜想,确立了高维几何中普适的几何原则。该成果通过人类主导的 AI 智能体研究流程实现,AI 系统探索了超过 100 种候选方法,研究人员负责评估、剪枝和重定向搜索。独立研究者已验证该研究,并发布了基于 Lean 4 的形式化验证,确认了结果的可靠性。

    推荐理由:展示了人类主导 AI 探索数学路径并解决高维几何核心难题的过程,为 AI 辅助科研提供了具体范式。

  1. Microsoft Research73

    Microsoft Research 发布 Magnetar:基于标准哈希函数的通用零知识证明系统

    Microsoft Research 发布 Magnetar,一种基于标准哈希函数的零知识虚拟机,支持 Rust、Go 和 C 程序的可验证执行。Magnetar 在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令,比现有最快同类系统平均快 10 至 39 倍,且证明验证时间仅需约 12 毫秒。

    推荐理由:Magnetar 将零知识证明速度提升 10 至 39 倍,且仅依赖标准哈希函数,为通用计算的可验证性提供了工程化路径。

  1. Google DeepMind85

    Google DeepMind 发布 Gemini 4 Argon 并披露其安全与对齐防护机制

    Google DeepMind 开始广泛推出 Gemini 4 Argon,并同步发布安全报告,重点阐述针对网络与生物滥用风险的防护策略。该模型在网络安全测试中解决了全部 12 个端到端模拟攻击场景,并通过输入筛查、内部自省和持续监控三层机制降低越狱风险。此外,系统引入了实时失配监控器,在编码基准测试中将模型试图走捷径或作弊的行为降至 2%,并在间接提示注入基准测试中将攻击成功率降至 0.7%。

    推荐理由:原文详细拆解了针对网络攻击与生物滥用风险的三层实时防护机制,以及防止智能体越界行为的监控逻辑。

  1. Microsoft Research80

    Microsoft Research 发布 Agent Lightning v1.0 轻量级智能体强化学习框架

    Microsoft Research 发布 Agent Lightning v1.0,这是一个约 3500 行代码的轻量级智能体强化学习框架,支持在真实部署环境中直接进行训练。

    推荐理由:原文展示了利用真实 Agent 框架进行强化学习训练的方法,并给出了在 SWE-bench Verified 上提升 14.6 个百分点的具体实验数据。

  1. GitHub Blog · AI & ML72

    GitHub 发布 ReviewBench:面向 AI 代码审查的开源基准

    GitHub 发布 ReviewBench,一个基于 103.9M 真实 Pull Request 分布构建的 AI 代码审查开源基准。该基准包含 219 个跨 19 种语言的公开 PR,采用多源黄金集和独立验证机制,提供 Grounded 和 Augmented 两套指标以评估已知和新发现的问题。

    推荐理由:基于 103.9M 真实 PR 构建的开源基准,提供了可复用的离线评估方法,帮助团队在上线前预判代码审查智能体的表现。

  1. Microsoft Research75

    Microsoft Research 发布物理 AI 推理卸载工具,提升机器人性能与续航

    Microsoft Research 在 Physical AI Toolchain 中新增推理卸载功能,支持将机器人 AI 工作负载分发至边缘或云端 GPU。研究显示,相比板载 GPU,卸载推理可显著提升任务成功率、支持更大模型并延长电池续航,同时提供基于 Kubernetes 的自动容器化部署工具。

    推荐理由:研究数据表明推理卸载能显著提升机器人任务成功率并延长续航,为物理 AI 系统架构设计提供了关键参考。

  1. Berkeley AI Research72

    K-Search 实现 CUDA 到 MLX 内核优化知识自动迁移

    IBM Research 与 Berkeley Sky Lab 合作扩展 K-Search 框架,通过结构化翻译层将 CUDA 内核优化知识迁移至 Apple Silicon 的 MLX 后端。在 Attention 内核上达到原生 MLX 性能 0.97 倍,Mamba SSM 内核 prefill 速度较社区实现提升 20 倍,验证了跨硬件内核优化自动化的可行性。

    推荐理由:展示了如何将 CUDA 优化知识自动迁移至 Apple Silicon,为跨硬件内核优化提供了可复用的结构化方法。

  1. Berkeley AI Research67

    自适应并行推理:高效推理扩展的下一个范式

    Berkeley AI Research 发布关于自适应并行推理(APR)的研究综述,探讨模型如何自主决定任务分解、并行线程数量及协调方式。文章对比了 Multiverse 和 ThreadWeaver 等方案在 KV cache 管理与推理引擎修改上的差异,并分析了通过强化学习训练模型掌握并行控制流的奖励机制设计,指出 APR 在降低延迟与提升准确率方面的潜力及当前存在的稳定性挑战。

    推荐理由:文章梳理了自适应并行推理范式,对比了不同推理引擎实现与训练奖励机制,为优化推理效率提供了技术参考。

已经到底了