> As someone who has met a lot of math majors and a lot of CS majors, I am skeptical of your supposition that CS majors are better at finding and applying novel abstractions than math majors who know how to code.

I do work with people who have a math major. Let me put it this way: if they were interested in finding and applying novel abstractions for programming, they would for sure often be very capable in this, but people who majored in math often rather love to apply these skills to more mathematical problems in their area of interest.