The robot artist Ai-Da, a humanoid powered by artificial intelligence, will be the first of its kind to have a painting sold at a major auction house. The work is described as a "haunting" portrait of the English mathematician Alan Turing, considered one…