article
On Proof and Progress in Mathematics
When Jaffe and Quinn proposed tighter rules for speculative mathematics, Thurston, the geometer behind geometrization, wrote back with the best essay there is on what mathematicians actually do. His answer is that the product is human understanding, not a stack of formal proofs, and the essay matters more now that machines can produce proofs nobody understands.






