So I read this, and got inspired to learn a bit more about formal methods. I fell asleep listening to this[1] (not because it's boring... just because it was be

So I read this, and got inspired to learn a bit more about formal methods. I fell asleep listening to this[1] (not because it's boring... just because it was bed time) It appears to me to be the worst part of high school math (proofs) without much gain. I'm really, REALLY, REALLY hoping that AI can help with this stuff, because doing it by hand seems insane. [1] https://www.youtube.com/playlist?list=PL9o9lNrP1luXgu97NZnQH4cxUkEGB5TJ_ https://www.youtube.com/playlist?list=PL9o9lNrP1luXgu97NZnQH...