Stuart Russell

So this idea of provably beneficial machines based on explicit uncertainty in the objective, you know, it seems to be

you know, my gut feeling is this is the core of it.

It's going to have to be elaborated in a lot of different directions.

Yeah.

But there, I mean, it has to be right.

We can't afford, you know, hand wavy beneficial because there are, you know, whenever we do hand wavy stuff, there are loopholes.

And the thing about super intelligent machines is they find the loopholes and

You know, just like, you know, tax evaders.

If you don't write your tax law properly, people will find the loopholes and end up paying no tax.

And so you should think of it this way.

And getting those definitions right

It is really a long process.

So you can define mathematical frameworks, and within that framework you can prove mathematical theorems that, yes, this theoretical entity will be provably beneficial to that theoretical entity, but that framework may not match the real world in some crucial way.

I would say Interstellar has my favorite robots.

Yeah, yeah, yeah.

So TARS, the robots, one of the robots in Interstellar is the way robots should behave.

And I would say Ex Machina is in some ways the one that makes you think in a nervous kind of way about where we're going.

Pleasure.