Has AI Progress Really Slowed Down? (Harry Booth, Time)