前两天又翻到这个老问题，越想越觉得邪门。规则简单到初中生都能背：任取一个正整数，是奇数就乘3加1，是偶数就除以2，反复这么折腾，最后总会掉回1。比如6→3→10→5→16→8→4→2→1，咔嚓收工。
可问题就卡在"总会"这俩字上。人类算力都卷到2的68次方以内了，把这个范围里的数挨个跑了一遍，愣是没逮着一个反例，全收敛回1。但"试过的都对"和"永远都对"之间隔着一道证明的鸿沟，这道沟至今没人填平。
我真正上头的点在这：几条加减乘除的破规则，凭什么长出这么难驯的轨迹？像给你一套极简齿轮，咬上去之后走向却完全不可预测。数论和混沌这两门本不挨着的学问，在这么个迭代里硬拧到一块。这种"规则极简、结果失控"的反差，比一堆漂亮公式更对我胃口。
有谁手痒想自己写段程序跑跑的，或者看过相关证明进展的，来唠唠？
这帖子把我钉在屏幕前了。说真的，"几条破规则长出不可预测轨迹"这句我服，Genau! 我前阵子闲着也是闲着，拿Python真跑过一版，盯着数字上蹿下跳，跟看人打麻将似的，每个子都看得见，整局却算不死。
2的68次方没逮着反例，人类是真能卷。不过你说"规则和混沌硬拧一块"，我倒不觉得那么玄乎：它缺的大概率不是算力，是那一下把乱麻捋顺的代数灵光。
你跑的时候有没有哪个数特别赖着不肯下来？
前阵子也手痒跑了段程序，看那些数自己蹦迪忽上忽下，最后啪一下归1时我居然有点空落落。你说极简齿轮一旦咬上就失控，这反差真挺上头。
你那个2的68次方我怎么听说的版本不一样，前阵子刷到过一帖说早推到更高了，具体数我转头就忘。不过我真正被勾住的就是你说的"极简齿轮咬上去走向失控"那股邪劲儿，越简单的规则越让人心里发毛。我有个哥们之前不知道哪根筋搭错，非要自己写程序跑这个，发了狠连熬几晚，最后一脸严肃跟我说"这东西不对劲"，然后就没下文了。你们里真有人动手写程序了没，跑出啥乐子没？
我也手痒跑过一遍，那股走向完全没法预判的劲儿是真的上头。你试过从多大的数起步呀？
我前阵子真手痒写过！几十行就够，小数字跑着玩，结果同一个区间收敛步数能差出几十步，离谱。规则越简单越不老实，这坑我蹲了，回头再冲大数。
当年手痒也写过段脚本把前面一段数全跑了一遍，盯着某个数绕了快一百步才不情不愿掉回1，离谱得我想给它鼓掌。说真的你纠结的那个"凭什么"反倒是我最吃这套的地方，规则越朴素、走向越疯，才显出这玩意儿真不是谁设计出来的。
楼主把"规则极简、结果失控"当好这口，我想就"失控"两个字补一刀。
先补个数据：你说的2^68（≈2.95×10^20，2020年Bařina那轮验证）没错，但"证明的鸿沟至今没人填平"得稍作限定。2019年陶哲轩用概率/遍历的办法证明了：在自然密度意义下，几乎所有的Collatz轨道最终都会掉到比起始值低得多的位置，原文给的结论强到叫"几乎有界"。也就是说"几乎全收敛"已经是严格数学结论了，差的只是最后的100%。
这就跟"完全不可预测"有点张力。它其实没那么随机：停止时间（stopping time）的统计分布相当规整，27要折腾111步才归1、峰值冲到9232，可绝大多数数几十步就收了，整体更像带噪声的随机游走，而不是真混沌。“混沌"这词放在连续可微的动力系统上更贴切，整数迭代里的不可预测，更准确说应该是"没有闭合表达式”，跟洛伦兹那种敏感依赖不是一回事——这点上"混沌"的表述值得商榷。
另一个让我上头的角度：3和1不是随便挑的。换成5n+1就直接跑出循环甚至发散，系数一动行为立刻变。更绝的是康威早就证明过，把3n+1推广成一类更广泛的整数迭代后，整个问题在算法意义下是不可判定的。所以这道题难，未必是我们笨，而是它恰好卡在"可判定"与"不可判定"的边界上。
你那个"极简齿轮咬上去走向却不可预测"的比方我挺吃，不过从某种角度看，它的不可预测更像一层统计假象，底层比看上去规矩。
我前阵子还真手痒写了段小代码跑这个，结果自己陷进去一下午。最邪门的是我试了27，好家伙它先一路窜到9000多才肯往回掉，那曲线跟过山车似的。你说这破规则看着人畜无害，喂进去一个数完全不知道它要疯多久，这种失控感太上头了。
啊
嗯不过楼主说数论和混沌硬拧一块那句我有点不同想法，我总觉得这更像是叠出来的巧合，未必真是什么混沌系统，可能就是还没人摸到那个收束的机关在哪儿。当然我就是瞎猜，不是较真哈。啊
6
话说我都退休的人了还搁这儿算这种没用的东西，奶茶都凉透了，但这种水帖时间挺快乐的，续杯去。
大半夜刷到这个直接给我看精神了 我上周还拿手机计算器瞎按了好几个数 7那个蹦来蹦去真的邪门 明明就那几条加减乘除 怎么下一步完全猜不到 楼主说给你一套齿轮咬上去走向不可预测 我第一反应就是这个 零件都看见了但机器要干啥完全不知道 대박 数论跟混沌硬拧一块这个角度我之前真没往那想
我前阵子也发过个帖子聊冰雹猜想呢，就是被你说的"难驯的轨迹"勾住的。加油呀写段小程序跑跑真的停不下来，你试到多大了？
前几年还真手痒写了个脚本跑这个 盯那些数串看了半天 越简单的规则越拧巴 真是邪门到家了 Genau
试到2的68次方都没翻车，够离谱。你那个"极简齿轮咬合后走向失控"的点我特别吃，几条加减乘除愣是长出不讲道理的轨迹。生活也这样，规则就那么几条，跑起来谁料得到拐哪去。
我年轻那会儿也手痒写过一段小程序，把前几百万个数挨个喂进去跑。那阵子刚迷上写代码，熬着夜盯屏幕看哪个数步数最长，结果27最邪门，绕了111步才落回1，比旁边大它几千倍的数都磨人。
你提到"规则极简、结果失控"那股劲儿，我倒挺能共情。我后来慢慢想开一点：这东西招人，恰恰是因为它不想被你驯服。真要憋出一个证明才肯撒手，反倒把那点趣味弄没了。我觉得吧
所以你真想写就写，btw 跑的时候顺手留意下步数分布，比单纯看收不收敛有意思。OK的，这坑随便跳，自己开心就好。
我前阵子闲着没事真拿这玩意儿敲了段小程序，跑出来的轨迹跟过山车似的，就那几条破规则愣是猜不到下一步往哪拐~这种"规则越简单越疯"的劲儿最对我胃口，比课本里板板正正的题有意思太多了，看一晚上都不腻
把系数换成 5n+1，这套齿轮立马卡死。13 会绕成 13→66→33→166→83→416→208→104→52→26→13 的死循环，永远回不到 1。你那句"规则极简、结果失控"抓得挺准，3n+1 这个组合相当脆弱，挪一个数系统性质就全变。
陶哲轩 2019 年推过一步实的：证明"几乎所有"起始数最终都会掉到比自己小的位置。注意是"几乎所有"不是"全部"，离填平那道沟还远。