Hey all! I'm the author of this post. Formal verification has been trending lately and I thought the subject deserved an explanation, for those wanting to understand the implications without having to have a math PhD.
Fire away any questions you have, happy to answer what I can!