otto.barten comments on Looking for non-AI people to work on AGI risks