We cannot afford to lose mathematicians to AI