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

近日，一个托管在GitHub上的开源项目“DHS Contracts Explorer”引发了科技界与数据安全领域的广泛关注。该项目基于黑客入侵美国国土安全部（DHS）下属行业合作办公室（Office of Industry Partnership）所获取的数据...

随着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驱动的代码安全分析领域迈出了重要一步。该系统能够对代码库进行自动化扫描，精准识别依赖于上下文的复杂安全漏洞，并针对性地...

近日，一起涉及未成年人数据的高危漏洞披露事件在技术社区引发广泛关注。一位安全研究员在发现某系统存在严重安全漏洞，可能导致包括未成年人在内的个人敏感信息泄露后，遵循业内通行的“负责任披露”原则，主动向涉事...