Comment by ignoramous
2 months ago
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.
2 months ago
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.
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
I think everyone assumes most, if not all of the code written in a piece of new software is done by AI.