**Oath 技术分享：利用 AI 智能体构建形式化工具链的初步建议**

_Tentative Advice on Building with AI_

> Oath Technologies 的 Mike Dodds 分享了关于使用 AI 构建形式化工具（如语义分析、验证器和证明工具链）的经验。该演讲基于数月来利用 AI 智能体主导开发工作的实践，探讨了如何有效整合 AI 以完成复杂的软件工程任务。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-11-13 21:08（北京时间）
- **原文**：[打开原文](https://oath.tech/pub/2026/08/tentative-advice-building-with-ai)