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

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

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

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

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

据The Information报道，微软正酝酿在本月发布一款全新的AI安全产品，内部代号为“Project Perception”。该产品被定位为网络安全公司Mythos的更具成本效益的替代方案，旨在抢占企业日益增长的网络防御支出市场。值得...

OpenAI 正式发布了其新一代自动化安全测试系统 GPT-Red。该系统不再依赖传统人工红队测试，而是通过大规模的自我博弈机制，让模型在对抗中持续进化。具体而言，GPT-Red 被训练成能够迭代式生成对抗性提示，系统性地...

谷歌在GitHub上正式开源了一款名为Mantis的模块化安全审查技能工具箱，专为AI编码代理（Coding Agents）设计，旨在实现漏洞的自主发现、复现与修复。Mantis的核心设计理念是“解耦、顺序化、安全聚焦”，它并非一套僵...