News for hackers. Stuff that matters.
Re:Number theorist fears many proofs widely considered to be... by nilkn on Sunday September 29, 2019 @01:40PM (#21108415)
The problem is really that a PhD doesn't get you to reading level either. It might get you there in only one specialized subfield. And there might only be a few dozen other people who are also at reading level for that area. How much do you trust that small group to catch every single subtle, abstract error in papers published in the area?
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.