Comments on “What kind of AI might accelerate technological progress?”