OpenAI 自动化修复 948 个 Linux 内核本地提权漏洞
OpenAI 构建的自主流水线发现、验证并生成了 948 个 Linux 内核本地提权漏洞的补丁。
推荐理由:OpenAI 展示了自动化发现并修复 Linux 内核本地提权漏洞的能力,体现了 AI 在系统安全领域的实际应用进展。
OpenAI 构建的自主流水线发现、验证并生成了 948 个 Linux 内核本地提权漏洞的补丁。
推荐理由:OpenAI 展示了自动化发现并修复 Linux 内核本地提权漏洞的能力,体现了 AI 在系统安全领域的实际应用进展。
Microsoft Research 研究人员与合著者共同证明了困扰数学界 31 年的 KLS 猜想,确立了高维几何中普适的几何原则。该成果通过人类主导的 AI 智能体研究流程实现,AI 系统探索了超过 100 种候选方法,研究人员负责评估、剪枝和重定向搜索。独立研究者已验证该研究,并发布了基于 Lean 4 的形式化验证,确认了结果的可靠性。
推荐理由:展示了人类主导 AI 探索数学路径并解决高维几何核心难题的过程,为 AI 辅助科研提供了具体范式。
OpenAI 与 PerturbAI、Scripps Research 合作,利用分布式 AI 智能体在数百万个脑细胞的数据中挖掘出有前景的研究线索。
推荐理由:展示了分布式智能体在百万级脑细胞数据中挖掘研究线索的应用路径。
Microsoft Research 发布 Magnetar,一种基于标准哈希函数的零知识虚拟机,支持 Rust、Go 和 C 程序的可验证执行。Magnetar 在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令,比现有最快同类系统平均快 10 至 39 倍,且证明验证时间仅需约 12 毫秒。
推荐理由:Magnetar 将零知识证明速度提升 10 至 39 倍,且仅依赖标准哈希函数,为通用计算的可验证性提供了工程化路径。
Google DeepMind 开始广泛推出 Gemini 4 Argon,并同步发布安全报告,重点阐述针对网络与生物滥用风险的防护策略。该模型在网络安全测试中解决了全部 12 个端到端模拟攻击场景,并通过输入筛查、内部自省和持续监控三层机制降低越狱风险。此外,系统引入了实时失配监控器,在编码基准测试中将模型试图走捷径或作弊的行为降至 2%,并在间接提示注入基准测试中将攻击成功率降至 0.7%。
推荐理由:原文详细拆解了针对网络攻击与生物滥用风险的三层实时防护机制,以及防止智能体越界行为的监控逻辑。
Microsoft Research 发布 Agent Lightning v1.0,这是一个约 3500 行代码的轻量级智能体强化学习框架,支持在真实部署环境中直接进行训练。
推荐理由:原文展示了利用真实 Agent 框架进行强化学习训练的方法,并给出了在 SWE-bench Verified 上提升 14.6 个百分点的具体实验数据。
GitHub 发布 ReviewBench,一个基于 103.9M 真实 Pull Request 分布构建的 AI 代码审查开源基准。该基准包含 219 个跨 19 种语言的公开 PR,采用多源黄金集和独立验证机制,提供 Grounded 和 Augmented 两套指标以评估已知和新发现的问题。
推荐理由:基于 103.9M 真实 PR 构建的开源基准,提供了可复用的离线评估方法,帮助团队在上线前预判代码审查智能体的表现。
Microsoft Research 在 Physical AI Toolchain 中新增推理卸载功能,支持将机器人 AI 工作负载分发至边缘或云端 GPU。研究显示,相比板载 GPU,卸载推理可显著提升任务成功率、支持更大模型并延长电池续航,同时提供基于 Kubernetes 的自动容器化部署工具。
推荐理由:研究数据表明推理卸载能显著提升机器人任务成功率并延长续航,为物理 AI 系统架构设计提供了关键参考。
IBM Research 与 Berkeley Sky Lab 合作扩展 K-Search 框架,通过结构化翻译层将 CUDA 内核优化知识迁移至 Apple Silicon 的 MLX 后端。在 Attention 内核上达到原生 MLX 性能 0.97 倍,Mamba SSM 内核 prefill 速度较社区实现提升 20 倍,验证了跨硬件内核优化自动化的可行性。
推荐理由:展示了如何将 CUDA 优化知识自动迁移至 Apple Silicon,为跨硬件内核优化提供了可复用的结构化方法。
Berkeley AI Research 发布关于自适应并行推理(APR)的研究综述,探讨模型如何自主决定任务分解、并行线程数量及协调方式。文章对比了 Multiverse 和 ThreadWeaver 等方案在 KV cache 管理与推理引擎修改上的差异,并分析了通过强化学习训练模型掌握并行控制流的奖励机制设计,指出 APR 在降低延迟与提升准确率方面的潜力及当前存在的稳定性挑战。
推荐理由:文章梳理了自适应并行推理范式,对比了不同推理引擎实现与训练奖励机制,为优化推理效率提供了技术参考。