**DeepMind 推出 AlphaProof Code：AI 驱动的代码生成与验证工具**

_AlphaProof 代码_

> DeepMind 发布了 AlphaProof Code，这是一款结合代码生成与形式化验证的 AI 工具，旨在提升软件开发的可靠性与安全性。

**来源信息**
- **来源**：Hacker News 热门（buzzing.cc 中文翻译）
- **分类**：ai-models
- **发布时间**：2026-11-10 21:06（北京时间）
- **原文**：[打开原文](https://deepmind.google/blog/introducing-alphaproof-code)