乔治·丹齐格读研究生时有一天上课迟到,黑板上留着两道题。他以为是老师留的课后作业,抄下来带回家,做完之后觉得比平时的作业难一点,还专门跑去跟教授道歉说交晚了。

教授接过去看了一眼没说话。几周后一个周日早上八点,教授跑来砸他家的门,手里拿着一篇论文的导言:那两道题,是统计学界几十年没人解开的公开难题,他刚刚证明了两个。

丹齐格后来说过一句很诚实的话:如果当时知道那是「公开难题」,他大概率解不出来。这句话戳中一个更冷的事实——决定一个人愿不愿意扑上去解题的,常常不是他有多少知识储备,是他信不信这题现在有解、现在该他来解。这条信念能改变投入强度,但替代不了知识、工具和协作者,后面几个案例会说明为什么。

提示怎么压缩搜索空间

丹齐格的故事不是孤例。公钥密码学、蛋白质结构预测、机器学习比赛里都出现过同一个模式:一句「有人已经做到」,常常比反复练习更快改变一个人投入的力气。

案例关键提示改变的是什么没改变的是什么
丹齐格误抄板书误以为是课后作业停止预设「这题可能无解」他本身是训练有素的统计学研究生
迪菲与梅克尔听说梅克尔还在死磕这道题重新拾起被自己否定的方向数学基础仍靠迪菲和赫尔曼自己搭出来
贝克实验室复现 AlphaFoldDeepMind 已经做成,等于一份存在性证明确认方向可行,值得投入整个团队没拿到代码,靠自己重新搭建整套方法
Kaggle 排行榜有队伍率先破了榜其他队伍很快各自复现出结果每支队伍仍要独立想出自己的做法

惠特菲尔德·迪菲曾经认定「陌生人之间安全通信」这道题无解,还说服了别人这不可能。直到听说拉尔夫·梅克尔一直在死磕这道题——仅仅是「有人还没放弃」这条消息,就让迪菲回头重新想,几个月后和马丁·赫尔曼写出了那篇奠定公钥密码学的论文。梅克尔自己的方案,因为课堂论文写得太难懂,和教授闹掰、被退课,晚了整整五年才正式发表。

戴维·贝克实验室没拿到 DeepMind 的 AlphaFold 代码,只知道大致思路和一个事实:这件事真的被做成了。团队组织者说这就够了——「这是一个存在性证明」。他们自己动手,重新写出了一遍。

公钥密码学:一句话推动的突破 1974 论文遭退回 1975初 自认不可能 1975末 闻讯而重启 1976 论文终发表 1978 梅克尔刊出 推动突破的,只是"还有人在做"这一句话

这几个案例说明同一件事:存在性提示能大幅缩小一个人愿意投入的搜索范围,让他不再浪费时间反复确认「这题到底有没有解」。它不能替代解题所需的具体本事——梅克尔啃了五年数学结构才憋出论文,贝克实验室有整套设备和团队,这些都省不掉。

两种「相信」,不是一回事

有一种相信是抽象的:理论迟早会被更好的取代。这是常识,几乎所有理论都会过时,但常识不产生紧迫感,它可以陪你拖上几十年。另一种相信是具体的:眼前这道题现在有解,而且该我来解。这是完全不同的心理状态,前者是背景信念,后者才是行动信念。

《Harry Potter and the Methods of Rationality》里编过一个思想实验:学生被告知量子力学错了,正确答案存在,给一个月时间去找。这是小说虚构的情节,不是真实科学史,但它戳中一个真实的历史现象——爱因斯坦、薛定谔、冯·诺伊曼那代人也隐约觉得量子力学不完整,却花了三十年没捅破。

真正的变量不是他们够不够聪明,是整个科学共同体默许「三十年内解决也可以」——期限一旦够长,紧迫感就被时间预算吃掉了。工作会膨胀到填满所有可用的时间,这句老话在这里成立。

从"或许有解"到"必须现在做" 不确定能否解 也许有更好答案 出现存在性提示 作业/传闻/对手 停止自我设限 不再等下一代 收紧时间预算 拒绝无限期 验证或推翻 产出结果

丹齐格、迪菲、贝克实验室的共同点,是那个抽象的相信突然被一条具体信息砸中,变成了行动的相信。没有这条信息,他们大概率也会像量子力学那代人一样,继续把问题往后推。

信念能提速,不能当方法

这条思路容易被简化成一句鸡汤:只要真信自己能做到,就能做到。这是危险的偷换。

信念能清空的是自我设限,清空不了协作条件。

信念能清空的,是「也许无解」「也许轮不到我」这类念头。它替代不了的,是知识、工具、协作者和一个真实的截止期限。梅克尔的方案能成立,是因为他确实想清楚了数学结构,只是表达能力差、缺一个愿意读下去的人——换成别的领域,同样的存在性证明未必够用。

对正在啃开放性难题的研究者和工程师,这几个案例能落到两个具体动作:一是动手前先花点时间找存在性提示,有没有人暗示过这题可解,有没有相邻领域出过类似结果,这比闷头苦干省时间;二是给自己一个真实的截止日期,而不是「理论上以后总会解决」,时间预算一旦无限,紧迫感就会被吃掉,量子力学那代人是前车之鉴。

对关注理性主义和科学史的读者,更该警惕的是这几个案例支持的边界:它们证明的是「信念改变行动强度」,不证明「只要足够想解决就一定能解决」。丹齐格本来就是训练有素的统计学研究生,贝克实验室有整套设备和团队——把动机误读成方法本身,容易导致过度自信和无效蛮干,尤其是忽视协作条件本身有多重要。

丹齐格后来一辈子研究运筹学,成了线性规划的奠基人之一。他很少把那次经历讲成天赋异禀,反而总提醒别人:早知道是难题,他大概率不会去做。

信心是发动机,不是地图,该带的干粮,一样都不能少。