Injecting some numbers into the AGI debate - by Boaz Barak — LessWrong