6 ms·
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 softwar
by ignoramous 3mo 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.
- semi-extrinsic 3mo agoCurrently 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 3mo agoStrongly 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 https://types.pl/@amy/116522250630340534
- aurareturn 3mo agoI think everyone assumes most, if not all of the code written in a piece of new software is done by AI.