数学家靠机器学习做市，身家一年涨640亿，他却先把自己设的AI数学奖关了