Mentioned in a comment of that MO question is Thurston's "On proof and progress in mathematics" https://arxiv.org/abs/math/9404236