Earlier this year I came across this interesting post by mathematician Daniel Litt, where he pondered how many intrinsically true results in mathematics have been published with erroneous proofs: How many *true* theorems have plausibly written but erroneous proofs? These are much, much harder to catch. My guess is that it is a not insubstantial portion of the literature. 15/n, n=15.— Daniel Litt (@littmath) January 1, 2025 Does it even matter if a proof is erroneous when the result is true? Does...