If math is more than proof, we need to better celebrate the rest of it

In a recent post, mathematician Terence Tao argues that the mathematical community places an outsized emphasis on formal proofs, often at the expense of other vital aspects of the field. Tao suggests that while proofs are essential for verification, the broader mathematical enterprise includes exploration, conjecture, heuristic reasoning, and the development of conceptual frameworks. He posits that these creative and foundational activities are frequently undervalued in academic and professional settings. By shifting the focus to celebrate the full spectrum of mathematical discovery—including the iterative process of understanding and the collaborative nature of problem-solving—the community could foster a more inclusive and productive environment. Tao advocates for a cultural shift that recognizes the value of 'non-proof' contributions, which are often the precursors to major breakthroughs and are necessary for the long-term advancement of mathematical knowledge and its practical applications.