硅谷初创公司Axiom在成立仅一年、团队约20人规模之际，成功完成了由Menlo Ventures领投的2亿美元A轮融资，估值高达16亿美元。该公司致力于开发名为“Verified AI”的系统，其核心创新在于利用形式化验证技术，确保AI生...

OpenAI近日正式开放了其Codex Security的研究预览版，标志着人工智能在应用安全领域迈出了重要一步。Codex Security是一款专为代码安全设计的AI代理，它能够深度分析整个代码仓库的上下文，旨在以更高的置信度和更低...

近期，一项由人工智能系统独立完成的安全研究引发了科技界广泛关注。该系统在2025年12月至2026年1月期间，在没有人类干预的情况下，自主执行了完整的安全研究流程，成功发现了Node.js和React这两个全球部署最广泛的J...

OpenAI近日正式推出了其最新的智能编码模型GPT-5.2-Codex，该模型被定位为面向专业软件工程和防御性网络安全领域的最先进的“智能体”编码模型。此次发布标志着AI在代码生成与理解能力上的又一次重大飞跃。GPT-5.2-Cod...

近日，GitHub开源项目safe-npm引发开发者社区关注。该项目由开发者kevinslin创建，是一款专注于防御软件供应链攻击的npm包安装工具。其核心技术原理是通过设定软件包版本的最小公开存活时间阈值（默认90天），自动过...

近日，AI编程助手Claude Code在底层密码学调试领域取得重大突破。根据开发者Filippo Valsorda披露的技术细节，该AI系统成功诊断出Go语言标准库crypto/rsa模块中存在的椭圆曲线密码学实现错误。这一突破性进展标志着A...

OpenAI近日推出名为Aardvark的智能安全研究代理，目前正处于私有测试阶段。该代理基于GPT-5架构构建，具备自主扫描代码仓库、识别安全漏洞、验证漏洞可利用性及生成修复方案的全流程能力。其核心技术突破体现在三方...

F*是一种面向证明的通用编程语言，它将形式化验证与编程实践相结合，为软件安全性提供了一个新的解决方案。这种语言的设计初衷是帮助开发者构建能够通过数学证明来验证其正确性的软件系统。F*语言的核心特性包括了类...