猜想
cāi xiǎng
猜想是一个基于证据或直觉而被认为是真的数学命题,但尚未被严格证明。
Definition
猜想是数学中一个有根据的推测：你根据观察到的规律认为它是对的，但你还没有证明它。更准确地说，猜想是一个基于不完全证据或规律识别而被相信为真的命题，但缺乏正式证明，它由启发式证据、特例验证或概率论证支持；要推翻它，只需要一个反例。在数论中，解析方法和计算验证可以在极大范围内确认猜想，但这并不构成证明，而有些猜想最终被证明独立于 ZFC，也就是说它们本身和它们的否命题都无法被证明。
Example
注意到 $2+2=4$、$4+4=8$、$6+6=12$，你可能会猜想"每个偶数都是两个素数之和"，这就是哥德巴赫猜想，至今仍未被证明！费马大定理作为猜想存在了 $358$ 年，即不存在满足 $a^n + b^n = c^n$（$n > 2$）的整数 $a, b, c$，直到 1995 年安德鲁·怀尔斯证明了它，才把它变成了定理。黎曼假设，即黎曼 ζ 函数所有非平凡零点的实部都是 $1/2$，已针对前 $10^{13}$ 个零点得到验证，但仍未被证明；一旦证明，将以前所未有的精度确定素数的分布。
Key Insight
猜想一旦被证明就成为定理；在那之前，即使是看起来最显然的规律也需要证明。猜想推动着数学研究：黎曼猜想和科拉茨猜想尽管经过了巨大的努力，仍未被证明，暗示这些看似简单的规律隐藏着深刻的内涵，这是一种在命题始终无法被证明时必须考虑的可能性。