CORRECTS final sale price in headline and paras 1-2. Sotheby's revised its figure A portrait of English mathematician Alan Turing became the first artwork by a humanoid robot to be sold at auction ...