Intelligent mining is the key to high-quality development in the coal industry.