外部精选
软件工程
#开发者实时流Mike Dodds 分享用 AI 智能体构建形式化工具的初步经验
来源标题：Tentative Advice on Building with AI
Oath Technologies 的 Mike Dodds 发布了一份幻灯片，总结过去几个月让 AI 智能体承担大部分工作、构建语义、验证器和证明工具链的经验。内容聚焦如何用 AI 构建形式化工具，具体做法与结论未在节选中展开。
Hacker News 最新MrBuddyCasino2026/11/13 · 昨天1 分钟阅读
这个来源的 RSS 只提供摘要，下面是原文导语；完整论述请点「打开原文」。
How do we use AI to build formal tools? Notes from a few months of building semantics, verifiers, and proof toolchains with AI agents doing most of the work.
Slides · Mike Dodds · Oath Technologies · 21 August 2026
Your browser can’t display the PDF inline. Open the slides instead.
本条为导读摘要，完整论述请以原文为准。