This makes me wonder, what if anyone uses Fable-class LLM and passes of its nove...

semi-extrinsic · 2026-07-20T05:30:41 1784525441

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 · 2026-07-20T07:37:38 1784533058

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 · 2026-07-20T05:34:14 1784525654

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