“The belief that better-than-human intelligence will contribute very little to technological progress is implausible.”