Martin Kleppmann personal blog
AI will make formal verification go mainstream
Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for decades has been a bit of a fringe pursuit, into the software engineering mainstream.
- Points
- 827
- HN comments
- 434
- Submissions
- 1
- Cited by
- 13 commenters
AI & Machine LearningSoftware Engineering2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 16, 2025 | AI will make formal verification go mainstream by evakhoury | 827 | 434 |
Cited in comments
Linked from 14 Hacker News comments by 13 different people, from Dec 2025 to Oct 2026.
Most recent:
- leafmeal · Oct 23, 2026
- gritzko · Jul 7, 2026
- awinter-py · Jun 14, 2026
- hnipps · Mar 17, 2026
- polyglotfacto · Feb 20, 2026
