That was the purpose of carbide dies, so lubing all those little pistol cartridges wouldn't have to be done. It doesn't hurt to use some, but that's the reason guys pay more for the carbide dies. Some guys do still and some guys don't.
I agree it can't hurt. I actually think it helps but people will always argue differently. In the end whatever works for a person is the right answer.
It seems that "no lube" is why everyone buys carbide dies. It does really help but another benefit is that they will last a LOT longer. IT may come as a shock to some but yes dies can wear out over time. When I did a lot of 223 to 300BLK conversion I wore out 2. and the first one I modified twice to get it back into spec and add a little extra life out of it. how many rounds to wear one out? Never counted 50K to 100K?