The Importance of Proof Checkers

The problem with machines is that the space of alien minds is just vastly larger than the space of biological minds. So it's a much harder challenge to get them to even understand our goals in the first place. If you have a virus checker on your computer, right, if it can prove that some code would you're down a lot of the internet, and it's actually going to be harmful, they won't run it. And what if you outsourced to the AI itself to come up with a proof that you should trust it? I think that's a very important thing to do with this field. There's a lot of opportunity to do it radically, but that again takes a