数学的本质是"猜想"而非"证明"

我们从小被教育"数学就是证明"，但柯朗揭示了一个反直觉的事实：数学家大部分时间都在"猜"，证明只是用来检验猜想是否正确的工具。没有猜想，证明无从谈起；猜想先于证明，创造力先于严谨性。