4 ms·
How do you know you don't have errors in a 600 page proof?
by auntienomen 4y ago
How do you know you don't have errors in a 600 page proof?
- tremon 4y agoBy adding 1200 pages of unit tests, of course.
- jstogin 4y agoIt probably wouldn't be too surprising if at least one error was lurking somewhere in those 900 pages. But if such an error were found, the authors would almost certainly be able to address/patch it very quickly. They have very good intuition for the "hard" parts of the problem and focus so much on those parts that it would be highly unlikely to overlook a critical error.