Development Status and Trend of Mine Intelligent Mining Technology - Wang, Zhuo (Mathematics, 2025)