More work on the mining AI