“A key milestone for the public to become seriously concerned about AGI risk is when AI systems become "superhuman coders" capable of substituting for human programmers.”