数字赋能助力数学精准命题