[toss1]

YES, fully agree, and your kid is definitely doing it right!

I've also found LLMs to be very helpful in proofreading to find inconsistencies, missing items, stray edits, etc..

Here's one variant of prompt I've used with ChatGPT-4o that worked well:

"Focus particularly on inconsistencies and editing errors (stray words or characters, etc.). Be exact and do not include compliments to the author. Please ignore apparent duplicate listings of part numbers and dimensions which are under the illustrations, and single stray or inconsistent spaces."

I'm quite sure that LLMs used in the right way can be amazing for teaching, and I've used them to learn quite a few things. In fact, it seems this is one of the strengths of LLMs — they are not so good at 'reasoning' about unusual content at the edge of a field of knowledge, but are fantastic for compiling info that is commonly used by humans but not yet familiar to a particular human.

And yes, the "They will make us dumb!" response kind of depends if you are starting out dumb — just as a hammer will make you smarter if you use it to pound nails to build a house and a school, but dumber if you hit yourself in the head with it...