https://blog.yingte.io/zh/ 许英特关于形式化方法、验证与人工智能的笔记与文章。 zh-CN https://blog.yingte.io/reliability-specification-new-paradigm/ https://blog.yingte.io/reliability-specification-new-paradigm/ Tue, 10 Nov 2026 00:00:00 GMT AI agents are making formal proofs cheap. What remains is a human task: deciding whether the specification says what we mean, and answering for it.