Related work:
Armstrong on informal probabilistic proofs of the Goldbach hypothesis and Fermat’s last theorem
Arguments against P = NP in Arbital (disclaimer: I wrote these)
Gwern discussing mathematical error, specifically about the puzzle of why most math theorems are correct even if errors in proofs are relatively common
Also, while this post focuses a lot on Physics, my experience is that top level math people are quite comfortable with informal math reasoning.
Related work:
Armstrong on informal probabilistic proofs of the Goldbach hypothesis and Fermat’s last theorem
Arguments against P = NP in Arbital (disclaimer: I wrote these)
Gwern discussing mathematical error, specifically about the puzzle of why most math theorems are correct even if errors in proofs are relatively common
Also, while this post focuses a lot on Physics, my experience is that top level math people are quite comfortable with informal math reasoning.