数学系老师也忙着做AI？