2 ms·
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.
by semi-extrinsic 2mo ago
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 2mo 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