直觉负责开路，证明负责承重

本文目录 · 5 个章节

如果把数学研究想象成进攻与防守

我在想，是不是可以把数学家们想象成“进攻派”和“防守派”？进攻派负责提出猜想：从一些例子、某种对称性或一闪而过的直觉里，看见一个可能成立的关系。防守派则负责追问：它真的成立吗，能否证明，又能不能找到反例把它证伪？

我觉得这个比喻有意思，因为两边推动的是同一个问题。提出猜想给研究一个方向，证明让它获得可靠的支撑，反例则告诉我们哪里需要重新想。当然，这更像两种研究姿态，而不是把数学家永久分进两个阵营；同一个人也可以先大胆猜想，再认真防守自己的论证。

我真正想保留的，是两种动作之间的张力。没有直觉，我们可能只会在已有题目里移动；没有检验，一个惊艳想法又可能建立在偶然现象上。把任何一边说成更高级，都会让研究变得贫乏。

看多项式 n²+n+41，代入一些小的非负整数，会得到很多素数。直觉可能因此提出“它总是素数”。但 n=40 时，结果为 1681，也就是 41²。一个反例就足以推翻这个全称结论，前面成功过多少次都不能抵消它。

这个例子不要求复杂工具，却揭示了很重要的差别：枚举提供线索，证明需要覆盖命题声称的全部范围。AI 能够帮助找例子、猜关系、检查步骤，但输出很长、语气笃定，都不会改变这条要求。

面对 n=40 这个反例，进攻派可以退回去问：原来观察到的现象究竟有多大范围？能不能改成一个更精确的问题？防守派也不只是说“不对”，还需要指出被击穿的是哪一步。有限范围里的成立，与对所有非负整数都成立，是强度完全不同的命题。

为了练习这两种姿态，还可以换一个更容易完整证明的猜想：任意整数 n，n²+n 都是偶数。试几个数只能提供直觉；把它写成 n(n+1)，就能看到相邻两个整数必有一个是偶数，因此乘积一定是偶数。这里的关键不是多算了一些例子，而是找到了覆盖所有整数的共同理由。

防守也不意味着每个猜想都能很快被判定。暂时找不到反例，不等于已经证明；证明尝试失败，也不等于猜想为假。有时真正的推进，是暴露一个隐含前提、补上一个条件，或者找到一种更好的表达。

数学证明说明结论如何从前提推出；物理模型还必须面对经验世界。一个方程体系可以自洽，却未必适合描述观察对象。反过来，实验符合预测，也不意味着未来任何条件下都已得到逻辑保证。

因此，我不把“理论派与实验派”完全等同于“猜想与证明”。它们的共同点是不断提出与检验，证据标准却不同。模型是否正确推导、测量是否可靠、适用范围是否改变，是需要分别回答的问题。

对我来说，最有效的练习不是只问“我会不会做”，而是先猜一个关系，再主动找它失败的输入。写程序时可以从最小例子开始，但接着要测试边界；读一段论证时可以先看主意，但不能跳过最关键的一步。

我依然喜欢大胆的想法，只是不愿把大胆与不受约束混在一起。最有力量的直觉，会欢迎别人指出它哪里站不住，因为只有经得住这种检查，它才能承载后面的工作。