If the mathematicians refuse to use LLMs they will be superseded by a new set of Mathematicians 2.0 willing to do so. Eventually, the flow of money and students for bespoke artisanal manual math will dry up.