Interactive proof system

And I think that's what we should, the way we should approach artificial intelligences is to say, we can't trust them, but they can help us because we, we can figure out how to ask them questions where if they, they're either telling us the truth or we'll catch them at lying.

Okay, and let me add that the invention of interactive proofs was awarded the Turing Award in 2012 to Silvio Michelli and Sheffi Goldwasser.

Yes,

yes.