Interesting. I tried a few games and they actually are kinda fun. Not amazingly so, but certainly more interesting than class. If skill in these games actually transfers to real math skills, then I'll update my beliefs.

I also don't see how more abstract or fuzzy skills like "detecting a bias" could be gamified, but just improving math and math-like skills alone would be a great benefit already.