faul_sname comments on Tyler Cowen’s challenge to develop an ‘actual mathematical model’ for AI X-Risk