500 people vs 1 AI. Who's better at Mario?