AI数学可视化引擎——让方程式"活"起来