Sorry if this is a necropost, but I figured I'd share... Look for Argon-based coins if you want to take advantage of AVX-512. I've been playing with nimiq on and off for 18 mos and the miner from sushipool takes advantage of the newer instruction set. Turtle recently forked to an Argon variant they're calling "chukwa" and I found the miner from MoneroOcean also uses AVX-512 (plus you get paid in XMR)