Open AI: Can we rule out near-term AGI? — LessWrong