Mastodon Feed
Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
futurebird@sauropods.win ("myrmepropagandist") wrote:
One of my favorite student proofs was written by a student who was just learning to speak English. He'd get frustrated with long explanations and just switch to equations or diagrams and write "it is like this:"
Then demonstrate his point.
He could have run the final draft through and LLM and it would add some pointless sentences to pad out the proof so it was less terse and more like every other proof ever written.
It would have been worse.