This is the most cogent argument I have heard: depriving mathematicians the ability to solve these challenging yet low ROI problems now prevents them from building the foundational knowledge needed to later solve something truly groundbreaking.

Whereas for an LLM, it's just a way to ~waste~ spend tokens.

Unless you think the future doesn't need mathematicians, we ought to respect their requests.