说个我前阵子手痒拿纸笔推过的东西，洋名 Collatz 猜想。规则朴素到离谱：随便抓个正整数，奇数就乘3加1，偶数就除以2，反复操作。比如6→3→10→5→16→8→4→2→1，砰，归位。

邪门在这：不管起点多大，序列都像冰雹在云里反复起落，最后好像总能掉回1。可这"好像"俩字，至今没人摘得掉。有人拿计算机把肉眼可见的范围全跑了一遍，全收敛，但证明呢？没有。它卡在数论和计算理论中间，揭开一块暗面：有些东西你能一个一个验证，却永远给不出一句"必然如此"的证词。
其实
我顺手画了张走向图贴墙上，看久了有点着迷。你们有没有那种算着算着就陷进去的小问题？

年轻时也拿它消磨过，算着算着一下午就没了。这玩意儿当静心挺好，证出来那是数学家操心的事。

你墙上那张图我信，真有人这么干。我早些年也手痒过，拿纸笔推到几百就搁下了——不是算不动，是忽然觉得，明知道大概率归位还非要看它落回去，这股劲头比猜想本身还勾人。

验证和证明之间那道沟确实磨人。不过反过来想，能一个个数着确认它收敛，也算一种踏实。有些东西求不到"必然"，先认下"暂且如此"，日子照过。

你这冰雹在云里反复起落的比喻…，我盯着看了两遍，越想越贴切。不过说真的，把肉眼可见的范围全跑一遍就宣布"好像"收敛，这事儿搁谁心里都不踏实——计算机说没找到反例，可它也没法替你拍胸脯保证下一个数不会突然造反。
太！
就这？说到算着算着就陷进去，我前阵子迷过一个更没用的：数楼梯。明明一眼能数清，偏要下楼数一遍、上楼再数一遍，对不上就浑身难受。离谱吧？可比3n+1还浪费生命。你那张图贴墙上有没有把同屋的吓一跳？

你这句"肉眼可见的范围全跑了一遍"其实有点轻描淡写了。Collatz 的计算验证早就不靠纸笔，Oliveira e Silva 在 2008 年前后就把所有小于 2^60（约 1.15×10^18）的起点逐一验证过收敛，后面的工作又往上推了好几个数量级，确认范围早已突破 10^18、往 10^20 量级走了。所以你说它"缺的是那句必然如此的证词"，这一点我完全同意，它从来不缺经验证据。

顺带补一句：要是真存在反例，数学上已经能说明它要么发散到无穷、要么掉进一个不含 1 的循环里，而不是随随便便在某个数上卡住。你墙上那张图，到目前为止还没人能画出例外来。

把走向图贴墙上这事儿，我太能想象那个画面了。有些数字或者图案就是这样，盯着看久了像会自己动起来似的。

我倒没专门迷上哪个数论的小问题，不过有个不上台面的小毛病——本来只想在这个论坛瞄一眼，结果顺着帖子一条条点下去，回过神来天都擦黑了。人大约就是容易被"下一步会怎样"的悬念勾着走，跟你说的冰雹一层层落回1，是同一种着迷。

那张图要是拍下来贴上来，怕是又得坑一批人跟着陷进去（笑）

我前些年也干过这种事，拿张草稿纸算到后半夜。Collatz 最勾人的就是门槛低——规则小学生都懂，越算越觉得底下有东西在躲你。

你说的"肉眼可见的范围"其实早超了，印象里已经验证到 2 的六十几次方位，没一颗逃出来。不过验证终究顶替不了那个"必然"，这大概就是它让人上头的地方。我墙上那张走势图后来被家里人当废纸揭了 (￣▽￣)

关于"有人拿计算机把肉眼可见的范围全跑了一遍"这句，顺手补一个量级：截至公开记录，Collatz 序列已经被验证到 2^68（约 2.95×10^20）以内的所有正整数都收敛到 1。这个数早就不是"肉眼可见"的规模了，是靠着分布式算力一点一点啃下来的。所以严格说，不是"范围全跑了一遍"，而是"一个极其巨大、但仍是有限的范围全跑了一遍"。

这里头有个值得拎清的区分。帖子里说"不管起点多大，序列好像总能掉回 1"，但"全收敛"和"必然收敛"差的不是量级而是性质。把验证区间再扩大十倍一百倍，逻辑地位一点没变——只要还是有限枚举，就始终是"至今没撞见反例"，而非"不可能有反例"。

嗯真正悬着的是三个互不相同的子问题：一是除了 4→2→1 这个平凡环，是否还存在别的循环；二是会不会有一条轨迹一路发散到无穷；三才是"是否都回到 1"。这三个目前都没有反例，也都没有证明。所以"掉回 1"只是三种可能性里最被直觉偏爱的那一种，不等于另外两种已经被排除。

帖尾说它揭开"能逐个验证却永远给不出必然证词"的暗面，这个感觉很到位，但要补一句：Collatz 目前只是"尚未被证明"，并不是"已被证明不可证明"。"不可判定"是另一重断言，别提前替它盖棺。事实上 2019 年陶哲轩有个"几乎全部"意义上的进展：对几乎每一个起点，其轨道最终都会落到某个有界值以下。这不是完整证明，但说明"绝大多数情形"已经有了相当结实的语言去描述，并非纯然的黑暗。

我前阵子也试着从 1 倒着往上画逆推树，看那些分叉怎么越长越密，确实容易看进去。你墙上那张走向图，是单条轨迹还是整片逆推树？

我也有这毛病 有回对着几个数死磕到半夜 饿过劲儿了才想起没吃饭hh

2^68 以内全收敛这事我早年也核实过，没毛病。你墙上那图要是按每个数的总停留时间上色，冰雹落势比纯线条直观多了。

你墙上那张走向图我也想贴一张，当年我也干过一模一样的事，盯着那些分叉和回环看了好半天，确实容易着迷。

不过有个小地方想补一句：你说"肉眼可见的范围全跑了一遍"，其实早就超出肉眼太多量级了。前几年有人把起点验证到了 2^68 附近，差不多 3×10^20，这靠纸笔根本够不着，是分布式计算跑出来的。更有意思的是 Conway 早年证明过：把 Collatz 的规则稍微推广成一类更一般的函数，那类问题的 halting 就是不可判定的。也就是说，“为什么证不出 3n+1"这件事，本身可能就挨着不可判定性的边。
嗯
所以我觉得它卡住的地方，未必是数论工具不够…，而是这个问题可能带着某种我们还没命名的"硬度”。你后来有没有从二进制尾巴的角度去看过那些落点？