孙宇晨设立个人数学奖，奖池上链公开，规则透明：机器核验证明后自动发放奖金，跟随题目不跟随人，向人工智能开放。