Adam Zerner comments on How far is AGI?