Toots from 2025-12-09#
“If formal verification becomes vastly cheaper, then we can afford to verify much more software…#
“If formal verification becomes vastly cheaper, then we can afford to verify much more software. But on top of that, AI also creates a need to formally verify more software: rather than having humans review AI-generated code, I’d much rather have the AI prove to me that the code it has generated is correct.”
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html