**AdaCore 发布 GNAT Foundry：利用形式化证明确立 AI 生成代码的确定性信任**

_Demonstrating Deterministic Trust and Formal Proof for AI-Generated Code_

> AdaCore 推出 GNAT Foundry 演示项目，旨在解决高完整性软件中 AI 生成代码的信任难题。该方案通过结合 Ada/SPARK 语言及 GNATprove 等确定性工具，对 AI 输出进行形式化验证，从而替代低效的人工全量审查。此举旨在降低高完整性软件开发成本，在保持安全性的同时提升 AI 辅助开发的效率与可信度。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-10-14 16:25（北京时间）
- **原文**：[打开原文](https://www.adacore.com/blog/gnat-foundry-intersection-demonstrating-trustworthy-ai-development)