News for hackers. Stuff that matters.
Re:Number theorist fears many proofs widely considered to be... by knzhou on Sunday September 29, 2019 @02:50PM (#21108894)
I don't, I'm just saying that trying to make every paper accessible to undergrads (or high schoolers, or elementary schoolers, or whatever) is going to bloat their length by so much that errors become harder to check, not easier.

There are no comments on this comment yet.