一场AI掀起的数学变革，一位站在潮头的中国学生