bluesky — @smangla.bsky.social — 11 Sep 2026
I do think that formal verification will become/has become usable on a much larger scale due to AI though this isn't an…
#ai-assisted-mathematics #formal-verification #theorem-proving
I do think that formal verification will become/has become usable on a much larger scale due to AI though this isn't an observation original to me obviously.
blog.janestreet.com/formal-metho...
I was kind of inspired by reading this from Rinard
arxiv.org/abs/2605.01660