想象一下：你正坐在马桶上刷手机，有点无聊，打开计算器随便按了个数字。然后你跟自己玩个小游戏——如果你按出的数是偶数，就除以2；如果是奇数，就乘3再加1。然后对结果重复同样的操作。就这么简单。你可能会想，这有什么好玩的？但就是这套规则，让无数顶尖大脑深陷其中，论文写不下去，觉也睡不好，甚至被一位20世纪最高产的数学家评价为“数学界可能还没准备好面对这种问题”。

这件事本身其实不神秘，真正让人头皮发麻的是：不管从哪个正整数开始，只要按这套规则反复操作，最终都会掉进一个循环，最后回到1。对，所有人试过的数，几亿亿个，全都乖乖滚回1。但没人能证明所有数都一定如此。这就是考拉茨猜想，一个伪装成小学算术的数学巨坑。

打开网易新闻 查看精彩图片

我们先把这个“游戏规则”拆开看，因为说人话就是三步的事儿。第一步，随便挑一个正整数，别耍小聪明选什么π之类的，就要老老实实的整数。第二步，偶数就砍半，奇数就乘3再加1。第三步，对得到的新数字再来一遍。比如你选3——3是奇数，乘3加1得10；10是偶数，砍半得5；5是奇数，乘3加1得16；16是偶数，一路砍下去：8、4、2、1。到了1，按规则1是奇数，乘3加1得4，然后4、2、1，你掉进了一个出不去的环。7的路径更长：22、11、34、17、52、26、13、40、20、10、5、16、8、4、2、1。你会发现7这条路走着走着就撞上了3走过的路线，因为16出现之后，后面就跟3那条路完全重合了。

这个特征挺有意思，意味着一旦你掉进某个已经被“验证过”的数字，后面就不用算了，因为你知道终点在哪儿。数学家们就是用这种“记住前人走过的路”的办法，拿计算机一路碾压，把验证范围推到了2的71次方这个量级。但你仔细想就发现问题了——这个数再大，跟无穷比起来，还是零。真正让你头疼的是那些还没被计算过的、无穷无尽的新数字。它们会不会在某一步突然疯长，远离1的引力范围？没人知道。

这个猜想的提出者叫洛塔尔·考拉茨，上世纪30年代他开始琢磨这个问题。从那以后，它就像一个在数学家圈子之间不断传染的模因，谁碰谁沦陷。有个特别传神的描述来自xkcd网络漫画：世界上存在一种大脑，你只要给它看一个足够有趣的问题，它就会不受控制地抛下所有正在做的事，全身心扑上去。考拉茨猜想就是这种问题的顶级代表。过去近百年里，自称“证出来了”的人前赴后继，但每一份证明最终都在审视中土崩瓦解。保罗·厄多斯，20世纪发论文数量堪称人形印刷机的那位数学怪杰，干脆留下一句：“数学界可能还没准备好面对这种问题。”

那为什么这玩意儿这么难证？表面看，规则简单到不像话，连小学生都能操作。但问题就出在数字的“不听话”上。你算27试试？27→82→41→124→62→31→94→47→142→71→214→107→322→161→484→242→121→364→182→91→274→137→412→206→103→310→155→466→233→700→350→175→526→263→790→395→1186→593→1780→890→445→1336→668→334→167→502→251→754→377→1132→566→283→850→425→1276→638→319→958→479→1438→719→2158→1079→3238→1619→4858→2429→7288→3644→1822→911→2734→1367→4102→2051→6154→3077→9232→4616→2308→1154→577→1732→866→433→1300→650→325→976→488→244→122→61→184→92→46→23→70→35→106→53→160→80→40→20→10→5→16→8→4→2→1。它上蹿下跳，最高飞到9232，最后还是老老实实掉回1。这个过程没有任何规律可言，你无法预测一个数会在多少步之后收敛，也没法判断它会不会在某一步突然失控。

数学家们面对的困境有点像：你有一条无限长的铁轨，你检查了前面极其漫长的一段，发现轨道都通向同一个车站。但这能证明从没铺到的远方不会突然分叉，拐向完全不同的方向吗？不能。因为你手里没有一张能解释“为什么所有铁轨最终都拐到这里”的施工图纸。考拉茨猜想的证明，缺的就是这张图纸。

你可能也好奇过，既然计算机都算到那么大的数了，这不就足够用了吗？反正我们日常也用不到更大的数。但数学不是这样的游戏规则。在数学里，“验证过多少亿个”和“证明了对所有情况都成立”之间，隔着一条逻辑上的鸿沟。前者叫经验证据，后者叫证明。考拉茨猜想目前的状态就是：经验证据堆积如山，但逻辑证明一砖一瓦都还没砌上。

最有毒的地方在于，这个问题太容易“上手”了。你现在可能就想切出去打开计算器，从某个生日日期或者车牌号开始试。这正是它被称为“模因”的原因——它不需要任何数学背景就能理解规则，但一旦开始玩，你就很难停下来。数学家们被它分心了几十年，外行人也一样。你不是在攻克什么艰深的理论，你只是在做小学生算术，但它就像一个设计精巧的陷阱，入口宽到谁都能进，出口却藏在没人找到的地方。

所以这件事最终给你带来的正确感受应该是这样：你看，人类能造出飞向火星的探测器，能写出模仿人类对话的AI，但仍然搞不定一个只涉及砍半、乘三和加一的整数小游戏。这不是人类的失败，这恰好说明数学深处藏着多少表面简单、实则锋利的未解之谜。你越是觉得“这有什么难的”，就越接近当年考拉茨本人第一次写下这些规则时的心境——他大概也觉得，这只是个随手就能搞定的小练习。

快一百年过去了，那个小练习还在那里，安安静静地等着下一个不服气的脑袋掉进去。