Mistakes in proofs are relatively common, but such a mistake doesn't automatically mean that the proof is entirely wrong. Many times, the mistake is just in the exposition, and can be fixed easily. Other times, the mistake is fixable and the fix is apparent. Perhaps the author forget to treat a relatively trivial edge case. In the first two cases, the student would likely just pass with minor corrections to be submitted soon.

Sometimes, of course, the proof is just wrong. That is the dangerous case, which will cause either major corrections or failure.

▲

recursivecaveat 14 hours ago | parent [-]

A few months after Andrew Wiles presented the proof for Fermat's last theorem, some mistakes were found that subsequently took him over a year to patch over. Imagine being 12 months into trying to put the pieces back together, after all the years of work and announcing your finding publicly.

	▲	reinitctxoffset 11 hours ago \| parent [-]
		I can recommend without reservation the book by Simon Singh, at least for a lay audience (don't know how an expert would experience it). It's understandably the natural place to get the dramatic tension from what at least purports to be a sober account with some momentum. It's reasonably consistent with the way it's treated on the lectures I've seen from Sir Andrew Wiles on YouTube. It sounds like a nightmare. He had intentionally set the proof up in a high stakes way, working in private, very quiet on what he was really doing. I gather this is not the done thing, eccentric at best kind of vibes, and I think by that point it was almost crackpot adjacent to even try seriously. His advisor forcefully pushed him off even trying earlier. So it's compound on the stakes. The beg reveal is intentionally as dramatic as possible. And then the questions start to land, most are minor clarifications, notation deficits, but one is sticky, one won't go away. Kept me up late reading about it.