复杂任务

刚刚，Gemini4Carbon全球全量开放，4周、650万行数学证明验证「Signal安全」2026年11月11日07:16机器之心Pro刚刚，GoogleDeepMind宣告Gemini4Carbon今天正式开放，号称为「Google目前能力最强的模型」，专门面向复杂、长周期任务，能够投入更多推理资源，深入探索问题，并通过持续的执行、检查和修正，完成软件工程、网络安全、知识工作和科学研究中的复杂任务。

此外，为了证明Gemini4Carbon在处理科学研究中复杂任务的能力，就在刚刚模型正式发布后，GoogleDeepMind给出了一个颇具代表性的案例，公布了一项名为AlphaProofCode的研究：研究人员利用Gemini4Carbon驱动的AIAgent，对Signal加密协议的底层代码进行了形式化验证，最终生成了超过650万行经过机器检查的数学证明代码。