In the article below, they claimed one study said a third of the papers had a false theorem. https://news.ycombinator.com/item?id=17430577 https://news.ycombin

In the article below, they claimed one study said a third of the papers had a false theorem. https://news.ycombinator.com/item?id=17430577 https://news.ycombinator.com/item?id=17430577 A number of papers on formal verification reported that restructuring their specifications for proof revealed problems they missed in the specification. Other works found through empirical testing that the specs didn’t match reality. Many theories in physics changed that way. So, we should assume they’re all false by default until the specs are reviewed, the proofs are checked, and there’s empirical validation. If theoretical, its component theories must be built on observed truths instead of imaginary constructs. Then, we might trust the paper (i.e. mathematical claims).