You tell them to cancel their Astra subscriptions and get to work. Hundreds of mathematicians, including Peter Scholze, have already agreed to not use AI at all. There’s absolutely no reason to help train an AI that will just make your own life more miserable.
https://www.ahmath.org/members