David Deutsch on The Fun Criterion, Objective Beauty & Artificial Intelligence