https://blog.yingte.io/ Notes and essays by Yingte Xu on formal methods, verification and AI. en 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.