Comment by IngoBlechschmid

2 months ago

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

0 comments