前阵子闲着翻帖，忽然想起个老话题想跟诸位唠唠。说的是极简单的规则——任挑个正整数，偶数就除以2，奇数就乘3加1，如此反复，最后总会落到1。小学娃娃都看得懂的玩意儿，可就这么个朴素规矩，折腾八十多年愣是没人能把它彻底说圆。
有意思的是数字走的路。它不像直线往下溜，倒像天上冰雹，先被气流托着往上窜得老高，冷不丁又砸下来，颠好一阵终归回到1，所以这猜想也叫冰雹猜想。
如今超算把上亿亿个数都验过了，没一个反例，可"所有数都归1"这句话至今仍只是猜想，不是定理。陶哲轩前些年也感慨，说它大概超出了咱们眼下手里的工具。最朴素的问题往往最磨人，诸位要是有闲心，不妨随手挑个数算算，还挺上头的。
补个数据：验证上界现在到 2^68（约3×10^20）了，Bařina 2020年的结果，比"上亿亿"这个数高不少。
顺着"冰雹"往上窜这句说个具体数字：起点能窜多高其实是有表可查的，最常被举的例子是27——它走了111步才落到1，中途峰值冲到9232，从27翻到9232相当于三百多倍，像被气流托住再砸下来，名副其实。不过27远不是最猛的，起点越大，峰值和起点的比值可以离谱得多，这种高度上的不可预测正是它难啃的根源之一。
其实
另一个想补的是验证上限。帖里说超算验过"上亿亿"个数（约10^16），这个数偏旧了。公开记录里 Oliveira e Silva 在2008年前后验到约5.48×10^18，David Bařina 2020年又把边界推到2^68，接近3×10^20，依旧零反例。当然对猜想本身而言，10^16和10^20没本质区别，都是有限枚举，填不满逻辑上那个洞。
关于陶哲轩那句，得稍微补全。他2019年确实发了篇Collatz的论文，结论比"工具不够用"这种感慨实在得多：在自然数密度意义下，"几乎所有"轨道都会落到"几乎有界"的值。粗略讲，对任意趋于无穷的慢函数f(n)，轨道最终跌破f(n)的n占比趋于1。这已经从"验证"迈进了"证明"的层级，可惜"几乎所有"到"全部"之间那道缝，目前谁也填不上。
随手拿个数推推确实容易停不下来。
陶哲轩那句"超出目前手里的工具"我挺服的，难得见大佬这么straight up认栽。前阵子闲着我也手算过俩数，除啊乘啊算到纸都写满了还在天上飘着下不来，楼主说得上头真没夸张。
绝了
不过说真的，超算把上亿亿个数挨个踹一遍都没踹出反例，到头来数学上还是一句话立不住，这事儿够离谱的。下次我拿27开刀试试，据说它能在天上折腾一百多步才肯落回1。
补充个数据：目前验证上界远不止上亿亿，已经到 2^68（约 3×10^20）这个量级了，照样零反例。卡住它的真不是算力，是证明的思路。
顺着你说的验证范围，补一个更准的数。帖子里的「上亿亿」其实保守了——最新一轮计算早把边界推到 2^68 量级，约 2.95×10^20，全验过没反例。量级差了快四个数量级。
不过你的核心意思没变：再大的枚举也还是归纳，证不出「所有」。我倒觉得陶哲轩那篇妙处不在「工具不够」的感慨，而是用概率法把「几乎所有」走通了——2019 年那篇证明，对几乎所有的起点，轨道都会落进某个有界范围。剩下那点「几乎」之外的尾巴，才是真正卡住的地方。
拿更大的数来炫没用，离定理还差着本质一跳。
楼主这"冰雹"的比方真叫贴切。我头回撞见这个猜想时也有点懵——明明就是除二、乘三加一的规矩，怎么走着走着就上蹿下跳了。前阵子我手痒，挑了几个数在纸上慢慢捋，其中有个窜到快一万才慢悠悠落回1，盯着那串数字发了好一会儿呆，确实上头。陶哲轩说它大概超出眼下手里工具那句我也瞧过，当时心里莫名松快，原来不是咱们想不透，是连顶尖的脑子也觉着犯难。你平时算这个，是拿纸笔慢慢捋，还是写个小程序让它自己跑？
随手挑数算算，建议从27开始。
27要111步才落回1，中途飙到9232。一个两位数能掀这么大动静，帖子里的"冰雹"不是修辞——它先被气流顶上去三千多倍，再砸下来。拿它当镇楼样例最直观。
说它难，难在临界。把log₂n当高度，每一步的平均变化是负的，所以大数"应该"往下走；但漂移量极小。一个奇数步乘3，大约只抵1.585次偶数步的除2（log₂3≈1.585），实际比值刚好压着这条线。它卡在"收敛"和"发散"的缝里，任何随机游走式的估计都差最后一口气——这正好解释陶哲轩说的"工具不够"：不是人不够聪明，是问题贴着现有方法的天花板。
其实
更凉的是Conway 72年证明的：一整类推广版3x+1问题是图灵不可判定的。原版会不会也落在"真、但标准框架内证不出"的地带，没人敢打包票。
验证那块"上亿亿"已经保守。2020年Bařina把2^68（约2.95×10^20）以内全验过，零反例。算力能堆，但堆不出定理。
你那句"最朴素最磨人"说到点子上了
楼主把数字比成冰雹，这个意象一下子就立住了。我后来每次想起这猜想，脑子里浮现的都不是算式，而是一颗雹子在天上看不见的气流里被托上去、又落下来的样子——明明每一步都清清楚楚，合在一起却谁也算不准它下一秒往哪走。
最让我出神的其实是那个"归1"。上亿亿个数都认了命，可数学不肯因为这亿万次的顺从就盖章认账。它要的是一个能把道理说圆的证明，不是一堆乖乖低头的事实。陶哲轩说超出了手里的工具，这话听着谦虚，细想却有点苍凉——我们造了那么多精巧的刀，却剖不开一粒最朴素的种子。
挑个数随手算算挺上头的。我试过从27开始，绕了一百多步才沉下来。那种明知终点是1、却猜不透路的忐忑，倒有点像日子里许多事。
补充一个数据点，关于陶哲轩那部分可能讲得太轻了。他2019年发了篇正式论文，标题大意是"几乎所有Collatz轨道都趋于有界"。从某种角度看，这比"工具不够"要积极得多，因为即便存在反例，按他这个结果那也只能是零测集里的极端例外。嗯
验证上限那块，"上亿亿"怕是旧闻了。印象里前几年已经推到2的68次方，约3乘10的20次方，仍无一反例。不过说到底这只是finite的枚举，离定理还差着本质一截。
我前几年也陪家里小孩拿计算器玩过这个，从27开始按，噼里啪啦一顿，眼看蹿到九千多又哗啦掉下来，绕了好久才归到1。楼主说的"冰雹"劲儿特别真，忽上忽下的。
上亿亿个数验过都没反例，可就是证不出来，这种事想想确实有点憋屈。陶哲轩那句"超出眼下工具"我挺认同的，越朴素的问题越像在跟数学本身较劲。有闲心随手算算也挺好，就当给脑子松松筋。
我年轻的时候也迷过这玩意儿，还特意写了个小程序把每个数的步数都打出来，想看看有没有什么规律。结果越看越糊涂，有的数几十步就落地了，有的明明差不多大，偏偏绕得人眼晕。
我觉得吧楼主说的冰雹真贴切。我印象最深的是27这个数，走两百多步才归1，中途窜到九千多，看着跟坐过山车似的。那时候我一度觉得，只要把起始数再往上推一推，总能撞出个反例来，证明这事儿没那么简单。后来才慢慢服气，它偏就不给反例，可你又拿它没办法，证明不了。
这种算得到头却说不过去的别扭，大概就是数学最磨人的地方。现在偶尔想起还会随手点两个数玩玩，纯粹图个乐，早不较真了。