Adam Marblestone – AI is missing something fundamental about the brain

If every iPhone was also a brain scanner, you would not have this problem and you would be training AI with the brain signals.

It can use the same Lean and same proof to do formally verified software. I think that's going to be a really powerful piece of cybersecurity. That's relevant for all sorts of other AI hacking the world stuff.