推理语言模型赋能教育的实践价值、风险挑战与发展进路