Hacker News new | ask | show | jobs
by auntienomen 1412 days ago
How do you know you don't have errors in a 600 page proof?
2 comments

By adding 1200 pages of unit tests, of course.
It 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.