You mean, when you turn into a digging automat, you are more efficient?!

-- I rather guess that the new minerals do not yet have a reworked probability table, it does not yet depend much on the mining skill. And luck is just luck.
Ask Janner, long ago he dug a race with Kelden. Kelden at level 5, Janner at level 10. Kelden won. And he was always "the most lucky guy in Janners Way", a millionair by trading (mostly selling *ty thousand tria weapons) in times of CB 0.3.012.