In 2017 he wrote
"Within the next three years, robotics should be completely solved, AI should solve a long-standing unproven theorem, programming competitions should be won consistently by AIs, and there should be convincing chatbots (though no one should pass the Turing test)."
"We will completely solve the problem of adversarial examples by the end of August."
Very clever to take a page from Musk's own playbook of confidently promising self-driving by next year for a decade.