content: Computers can come up with mathematical proofs now, so I imagine it's only a matter of time before they can perform formal verification for programming.  It would be a total game changer indeed. https://plus.maths.org/content/future-proof