Comment Not far from truth (Score 2) 123
As a computer scientist working on mechanized proofs, I can say that the clickbaity headline is technically not far from truth.
However, "Published Math Is Wrong" should be understood as "published proofs are not verifiable".
It does not mean that the proven theorems are incorrect.
Most often, proofs (that rely on case analysis) focus only on the important cases. The omitted cases are said to be obvious. Sometimes they are not.
Another class of mistakes are your usual off by one errors that are common in software. Unfortunately, you cannot debug a paper proof as you do with software. Those mistakes render the proof technically wrong, though fixable.
Most often, proofs (that rely on case analysis) focus only on the important cases. The omitted cases are said to be obvious. Sometimes they are not.
Another class of mistakes are your usual off by one errors that are common in software. Unfortunately, you cannot debug a paper proof as you do with software. Those mistakes render the proof technically wrong, though fixable.
