Why Mathematicians Re-Prove What They Already Know https://www.quantamagazine.org/why-mathematicians-re-prove-what-they-already-know-20230426/