代码

人类专家仍然需要定义和审核安全规格，证明系统也只能保证代码满足已经明确表达出来的属性。

即使对于非常重要的系统，想要证明其代码满足严格的安全属性，也往往需要专家团队耗费数年。

而当AI不仅能写出代码，还能帮助人类用数学证明代码满足安全要求，Agent能力的边界也就被推向了一个新的领域。

随后，Gemini4Carbon驱动的多个Agent开始自动构造证明，尝试证明实际代码满足这些安全要求。

与此同时，Google正在GoogleAntigravity中预览/swarm功能：用户只需给出一个任务，就可以让多个Agent组成协作团队，分别承担架构设计、任务协调、代码实现和审查等工作。

从协议设计到实际运行，中间还要经历代码实现、编译和优化。