Quant finance is very different from math research; quant is much more applied math and programming, and the tasks are typically smaller than math research questions. Although it's true there's a huge overlap in the people good at both, there is massive re-training needed if you want to turn non-math-phd quants into research mathematicians.

As I argued in another comment here, I think even with unlimited budget, humans wouldn't be able to reproduce these results within a few years. I think AI has crossed a superhuman theshhold in math problem solving skills.