Seth Herd comments on Dave Kasten’s AGI-by-2027 vignette