SecurityWeek· Eduard Kovacs·· 3 小时前精选推荐指数82
Google 扩大 Gemini 4 Carbon 访问,AI Agent 完成 Signal 协议代码形式化验证
Google Widens Gemini 4 Carbon Access After AI Agents Verify Signal Code
AI 导读
Google 周二扩大 Gemini 4 Carbon 的访问范围,付费开发者与企业可通过 Gemini API 和 Gemini for business 使用,Google AI Ultra 订阅用户也将获得访问权限,前 100 万输入/输出 token 的入门价为 2/10 美元,11 月 30 日后翻倍。
推荐理由
Google 公布 Carbon 开放范围与定价,并给出 AI Agent 形式化验证 libsignal 的规模与耗时,可作为判断 AI 参与代码安全验证可行性的参照。
来源:SecurityWeek · securityweek.com