Qiaochu_Yuan comments on Two types of mathematician