AdaCore发布GNAT Foundry演示可信AI代码开发

2026年10月14日，Hacker News热帖显示，AdaCore发布并在GitHub开源GNAT Foundry: Intersection演示项目。该项目以交通信号灯为例，展示AI智能体如何修改需求、架构、代码、测试和形式化证明，并通过确定性工具生成可信报告，核心是用形式化证明验证AI生成代码，探索可信AI辅助代码开发流程。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。