[ignoramous]

This makes me wonder, what if anyone uses Fable-class LLM and passes of its novel results as their own work?

There's no shortage of folks doing that in software, right now.

[semi-extrinsic]

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.

[IngoBlechschmid]

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

[aurareturn]

I think everyone assumes most, if not all of the code written in a piece of new software is done by AI.