「自动安全审查」共找到 1525 篇相关文章
黑客已死!Claude 两周挖出 Firefox 22 个漏洞
Anthropic与Mozilla合作,让Claude Opus 4.6对Firefox代码库做漏洞挖掘,两周发现22个漏洞,14个高危。Claude发现漏洞能力强,但利用漏洞能力弱。还研究用LLM做「补丁Agent」,为AI辅助安全研究建规范。
Raycast + MCP = AI Mac
Raycast添加AI插件可实现跨应用调度,现支持MCP。它解决了MCP用户部署、配置难的问题,提供接近自动部署的方法。还介绍了MCP在Raycast中的安装与使用,以及作者常用的支持MCP的客户端。
龙虾之后,为什么说「主动式智能」才是Agent的终极形态?
OpenClaw爆火展现AI Agent主动性,但止步屏幕。Looki最新上线Proactive Intelligence Engine,将自动驾驶工程范式迁移到可穿戴设备,实现从被动到主动的跨越,面临技术和隐私挑战。
首篇具身智能机器人「安全」综述:LLM如何跨越物理鸿沟?
最新综述首次系统探讨LLM控制机器人的安全威胁、防御机制与未来挑战,指出LLM的具身鸿沟导致其在物理空间可能执行危险动作,而现有防御体系存在逻辑与物理脱节等问题。
微软总裁首次公开禁令:员工不得使用 DeepSeek 应用
近日微软副董事长兼总裁 Brad Smith 在参议院听证会上称,出于数据安全和宣传考虑,员工不许用 DeepSeek 应用程序服务,也未将其放入应用商店,虽此前 Azure 云服务曾提供该模型。
白嫖10余家AI服务,一个接口全搞定,爽了!
现在主流AI厂商虽有免费额度,但使用起来接口、SDK、限流规则等差异大,适配麻烦。freellmapi项目将Google Gemini等十几家AI平台免费Tier聚合,对外一个接口,自动调度、切换和限速,适合做AI原型开发等。
Claude Code 推出云端龙虾:/schedule 命令让 AI 自己排班干活
Claude Code 发布 `/schedule` 命令,可在云端创建定时任务,让 Claude 自动干活,即便关电脑任务也照跑。该功能用法简单,还支持多种创建方式和执行频率。此外,Claude Code 三月更新频繁,正从编程助手转向自动化成员。
Specula在67个开源系统中找到382个深层bug,数月形式化验证缩短到几小时
截至2026年8月19日,Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量,运行检查并复现问题,将数月的形式化验证缩短到几小时,降低了形式化方法使用门槛。
斯坦福年度结论:中美大模型已没差距
斯坦福HAI《2026年AI指数报告》指出,中美AI模型性能差距基本消除,AI能力加速发展且普及快,但也存在安全基准滞后等问题。报告含15个主要结论,已成为业界重要参考。
AI时代已来,魔幻的大模型投毒事件,我们怎么应对?
央视315晚会曝光针对大模型的蓄意信息围猎,虚构手环经力擎系统包装成科技尖货。黑产靠此吸金,利用技术污染证据链。多方已行动,厂商需提升安全能力,消费者要保持警惕。