Currently there seems to be very little anti-AI bias in maths, and more of a "huh, cool new toy, let's see what it can do" vibe.

Strongly depends on the subbubble of mathematics. In some parts of type theory / formal proofs for instance, there is a rather strong rejection of LLMs (for moral reasons in addition to quality reasons). The proof assistant Agda was even forked for this reason: https://types.pl/@amy/116522250630340534