A lot of this would be public funding. If AI is reducing the need for mathematicians in an area it makes sense to fund it less and fund something else that isn't solved.