The real concern is for generations of learners who are being robbed of the opportunity to acquire the expertise to objectively discern what is slop and what is not. Even worse, the possibility that experienced folks who use these tools effectively, will feel disincentivised from mentoring and training junior folks in foundational ways, something that was a natural part of societal evolution. And not just with software development, but the wholesale offloading of agency and decision-making to black boxes.
Slopucation.
E-Kettle.
How did anyone ever live without a water boiler?
Proof Standards.
Any artificially generated mathematical text will not be considered as a proof unless:
- It has been communicated in both a natural language text paired with a computer formalization of all definitions, theorems, and proofs.
- The formalization has been accepted by the proof assistant and human expert referees have vetted both the formalization and the paired text.
Slop Slogging.
We are in fact faced with a challenge to devise methods of buying originality with plodding, now that we are in possession of slaves which are such persistent plodders.
Skyscrapers we created on shaky ground.
This is the letter that I ...
I didn't write.
Linkin Park: Over Each Other