John Carmack and Rich Sutton partner to accelerate development of AGI