Koen.Holtman comments on Thoughts on AGI safety from the top