Anthropic的研究员Nicholas Carlini近期利用其AI编程助手Claude Code，成功发现了Linux内核中的多个安全漏洞，其中最引人注目的是一项在NFS（网络文件系统）驱动程序中潜藏了23年之久的堆缓冲区溢出漏洞。这一发现不...

近日，Linux基金会宣布获得来自谷歌及其他多家科技巨头总额达1250万美元的资助，旨在启动一项专项计划，帮助开源软件（FOSS）的维护者们应对由人工智能工具生成的海量安全报告所带来的挑战。随着生成式AI在代码审计...

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

随着AI生成代码的广泛应用，新的逻辑缺陷和安全漏洞也随之涌现，给软件开发质量带来了前所未有的挑战。为应对这一行业痛点，人工智能研究公司Anthropic正式推出了Claude Code Review工具。该工具深度集成于其Claude...

Anthropic公司近日为其开发者工具Claude Code推出了名为“Code Review”的新功能，标志着AI在软件工程领域的应用迈入更深层次。该工具旨在通过多智能体分析技术，对GitHub上的拉取请求进行自动化审查，能够精准捕捉代...

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

随着生成式人工智能在软件开发领域的应用日益深入，一个根本性问题浮出水面：当AI开始编写世界上大部分软件时，谁来承担验证、审计和确保其安全可靠的责任？这一问题已引发技术社区的广泛讨论。原文章及Hacker News...

人工智能安全公司Anthropic近日推出了Claude Code Security的有限研究预览版，标志着AI驱动的代码安全分析领域迈出了重要一步。该系统能够对代码库进行自动化扫描，精准识别依赖于上下文的复杂安全漏洞，并针对性地...