Adam Zerner answers How far is AGI?