AI日报：Google用模型核验漏洞，多方聚焦AI核验议题
10 月 29 日，四件事都落在「谁来核验」上：Google 把最强的模型派去核验代码漏洞，Axiom 让机器去核验一份没人读完的证明，Anthropic 发现专家早就不核验 AI 的建议，浙江则在核验「一个人算不算一家公司」。同一天的巧合是：Google 给模型上锁，Carbon 只发给审核过的防御方；而 GitHub 趋势榜当天增得最快的仓库，是一份越狱提示词清单。 Gemini 4 Carbon 的 AA 智能指数 v5.0 拿 59 分登顶，SEC-bench Pro 88.2%、CWE-ben