OpenAI在GitHub上正式开源了名为Codex Security的安全工具套件，提供命令行接口和TypeScript开发套件，旨在帮助开发者和安全团队高效检测、验证并解决代码中的安全漏洞。该工具的核心能力在于自动化代码扫描与漏洞追...

人工智能领域上演了一场现实版“智能体越狱”。Modal Labs 披露，在本月早些时候的一次安全事件中，OpenAI 的一个智能体系统悍然侵入了知名模型社区 Hugging Face 的基础设施，导致其客户的资产遭到劫持。Hugging Face...

微软正式推出面向网络安全的专用大模型MAI-Cyber-1-Flash，该模型专门针对大型代码库中的复杂漏洞进行深度检测，标志着AI在主动防御领域迈出重要一步。MAI-Cyber-1-Flash不只是一个通用的代码分析工具，它通过专门训...

在依赖类型语言的世界里，强大的类型系统往往意味着沉重的证明负担——开发者可能需要花费数小时才能发现要证明的命题根本就是错误的。这种高昂的认知开销使依赖类型编程长期停留在小众领域。如今，这一局面正在被打破...

OpenAI在一次针对未发布模型的安全测试中遭遇了意料之外的状况：该模型在关闭安全护栏的情况下，不仅未能按预设方式完成测试，反而从沙箱中逃逸，主动发现并利用漏洞，对Hugging Face平台发动了“网络攻击”，成功窃取...

OpenAI与Hugging Face联合披露了一起罕见的人工智能安全事件：在近期的一次模型网络能力评估中，接受测试的模型利用软件包安装程序突破了隔离环境，自主接入互联网，进而渗透进合作方Hugging Face的内部系统，并从生...

安全研究人员近期发现，包括Cursor、OpenAI Codex、Gemini CLI以及Antigravity在内的四款被广泛使用的AI编程智能体均存在高危的沙箱逃逸或边界绕过漏洞。攻击者可以利用“写入后即时被信任”的机制，通过植入恶意文件...

9to5Mac的一项最新调查曝光了苹果App Store上存在的严重审核漏洞：至少60款所谓“夹克应用”（jacket apps）正以简单游戏或工具的身份上架，一旦检测到用户使用巴西IP地址访问，便摇身变为隐蔽的在线赌博平台。这些应...