AI正以代码审查系统的形式进入Linux内核领域,而非代码提交。
Google的Linux内核工程师Roman Gushchin在LinkedIn上宣布了Sashiko,这是一个用Rust编写的工具,专门用于发现漏洞和筛查代码。
Gushchin表示:"根据我的测量,基于1000个带有'Fixes:'标签的最新上游问题的完全未过滤集合,Sashiko能够发现53%的漏洞(使用Gemini 3.1 Pro)。有些人可能认为53%并不那么令人印象深刻,但这些问题100%都被人类审查员遗漏了。"
虽然在开源社区中使用AI进行代码提交存在争议,但像Sashiko这样的工具可以在一定程度上减轻维护人员处理大量代码审查的负担。
Sashiko通过从邮件列表中获取补丁来工作。它分析这些补丁,然后向维护人员和开发人员提供反馈。据其作者称,"审查质量很高...误报率较难测量,但基于有限的人工审查,误报率控制在20%范围内,其中大部分属于灰色地带。"
作者们对隐私和代码共享方面非常坦诚。Sashiko会将数据和代码发送给配置的大语言模型提供商。它已经在Gemini Pro 3.1上进行了最多测试,但也应该能与Claude和其他大语言模型配合工作。然而,运行它需要成本。对于Linux内核邮件列表,Google正在承担费用。
Gushchin说:"我们已经在Google内部使用它一段时间了,它帮助发现了大量真实问题。"
Sashiko属于Linux基金会,看起来是一个有用的工具——这是智能体AI的一个应用,相比代码提交可能引起更少的担忧。
Q&A
Q1:Sashiko是什么?它有什么作用?
A:Sashiko是Google Linux内核工程师开发的AI代码审查系统,用Rust编写,专门用于发现Linux内核代码中的漏洞和进行代码筛查。它能够发现人类审查员遗漏的53%的漏洞。
Q2:Sashiko如何工作?准确率如何?
A:Sashiko通过从邮件列表中获取代码补丁,使用大语言模型进行分析,然后向维护人员和开发人员提供反馈。误报率控制在20%范围内,审查质量较高。
Q3:使用Sashiko需要什么成本?谁在承担费用?
A:运行Sashiko需要将数据发送给大语言模型提供商,会产生相应费用。目前针对Linux内核邮件列表的使用,费用由Google承担。该系统主要在Gemini Pro 3.1上测试,也支持Claude等其他大语言模型。
好文章,需要你的鼓励
企业AI搜索公司Glean宣布年度经常性收入(ARR)达3亿美元,较15个月前的1亿美元增长三倍。尽管谷歌、微软、OpenAI等科技巨头纷纷入局企业AI搜索市场,Glean凭借"上下文图谱"技术深度理解企业业务需求,并帮助客户显著降低AI计算成本。该公司提供按用量计费和混合定价两种模式,客户涵盖Databricks、Reddit、Pinterest及三星等企业。Glean上轮融资后估值达72亿美元。
香港中文大学与MiniMax提出ClaimDiff-RL框架,将图像描述的AI训练从整体打分升级为逐条核查,有效解决了传统方式导致AI"少说保平安"的问题,同时在多项基准测试上超越Gemini-3-Pro-Preview。
杰夫·贝索斯旗下的蓝色起源公司在佛罗里达卡纳维拉尔角进行静态点火测试时,新格伦重型火箭发生爆炸。这是美国历史上最大规模的火箭爆炸之一,也是蓝色起源公司遭遇的最严重失败。所有人员安全,但该事故可能导致新格伦火箭项目长期暂停。此前该火箭已成功完成三次发射,并实现了助推器回收和重复使用。
ParaVT是一个由南洋理工等多校联合提出的并行视频工具调用框架,通过让AI同时分析多段视频并引入PARA-GRPO算法解决训练中的格式崩溃与工具跳过问题,在六项长视频理解测试中平均提升约7.9%。