myrmepropagandist on Nostr: You might think that grading elementary geometry proofs would be easy. The proofs ...

You might think that grading elementary geometry proofs would be easy. The proofs aren't hard. There are mostly only about two or three ways to do each one.

And yet. Reading student proofs takes *all* my bandwidth. Some of the worst ones are when a student is lost, and they make what I call a "proof-shaped object" it has all of the things a proof should, uses many of the right theorems, but when you look closely it makes no sense.

Something something LLMs.

They can make these too!