in his recent TED talk, Stuart Russel describes a way to build an AI, and says that it had been mathematically proven that this design is better than the alternative. Where can I see this proof?

Upvotes: 1