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.
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=PL9o9lNrP1luXgu97NZnQH...