8月23日新闻
AI 代码生成泛滥引发系统性安全隐忧
AI数小时内攻破机密系统敲响警钟，业界呼吁引入“形式化验证”重构关键基础设施代码信任
AI代码生成正加速渗透关键基础设施，但“无人完全理解”的黑盒代码引发系统性安全隐忧。文章剖析AI在漏洞挖掘上的指数级效率与防御滞后矛盾，报道“形式化验证”如何以数学证明重构代码信任，从被动修补转向主动审计。针对医院、银行、电网等核心系统，专家建议明确“必须做”与“绝不能做”的边界，从源头引入数学级安全保证。本文为开发者......
阅读更多
8月22日新闻
Anthropic 部署最强模型 Claude Mythos 5 专注网络防御
推出企业级代码安全扫描器，并向关键基础设施合作伙伴开放受限API，旨在赋能防御者而防范恶意滥用
Anthropic推出最强AI模型Claude Mythos 5，定向部署于网络安全防御领域。基于该模型的企业级代码扫描工具Claude Security已开放公测，能深度扫描代码漏洞、提供CWE分类评级及修复补丁，并采用“人类在环”审核机制确保合规。Anthropic同时将模型能力集成至第三方安全产品，重点保护医院、.....
阅读更多
鄂ICP备2025151647号
鄂公网安备42011002025860号