[robinzfc]

There was a question [1] on mathoverflow about this with a couple of interesting answers and comments.

[1] https://mathoverflow.net/questions/291158/proofs-shown-to-be...