跳到正文
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