Hacker News：AI 热帖· nonmaskable·· 3 小时前AI 评分53
AdaCore 发布 GNAT Foundry: Intersection，用形式化证明验证 AI 生成代码
Demonstrating Deterministic Trust and Formal Proof for AI-Generated Code
AI 导读
AdaCore 发布并在 GitHub 开源 GNAT Foundry: Intersection 演示项目，展示 AI 智能体在交通信号灯示例中修改需求、架构、代码、测试和证明，并由确定性工具生成可信报告。
来源：Hacker News：AI 热帖 · adacore.com