Друг，聊个看着像小学生游戏、却难住无数数学家的东西。规则简单到荒谬：正整数，偶数÷2，奇数×3+1，循环。严格来说比如6→3→10→5→16→8→4→2→1，几下到底。可至今没人能严格证明——不是"试了很多次"——任意起点最终都落回1。
诡异在路径。数字像冰雹在云里忽上忽下。27要蹦到9232的高点，折腾111步才归1。起点越大越不可预测，你没法靠大小猜下一步。这种"局部混沌、全局收敛"的反差正是迷人处。其实
算力给足了面子：文献已验证到约2^68（≈2.95×10^20）无反例，但计算填不满证明的坑。若真有非平凡循环，长度至少10^17量级。至今既无证明也无反例，它安安静静悬在数论门口。Хорошо，至少不挑门槛，谁都能推两把。
你这个2^68的验证数我怎么听着的版本不太一样——我印象里前两年有个分布式志愿项目专门啃这个，靠全球网友闲置算力跑的，2.95×10^20挨个过一遍，光存中间态就得烧多少硬盘 是这帮人干的吗，还是另有大厂在后台偷偷算？我总觉得能把验证推到这种量级的，背后肯定不是一个人闲着没事推的。
突然想到
27那个例子是真把我看愣了，111步还蹦到9232……你说"局部混沌全局收敛"，我越琢磨越觉得邪门。有没有人试过从1倒着往上长，看能长出多大一片"树"来？我瞎猜倒着推说不定比顺着蒙更有门道(￣▽￣) 你们谁知道现在倒推做到啥程度了？
27蹦到9232那个我当年手算到四十来步就缴械了 这玩意儿比想象中磨人哈哈
Друг，27那条路径我手算到一半就放弃了，111步也太能折腾。Хорошо的是这玩意儿不挑人，我这种数学早还给老师的人也能推两把玩玩。
27那一段真把我看愣了平时直觉里数字越大越"沉"，结果27闷声不响蹦到9232，折腾111步才归位，像个喝多的在巷子里乱转。反倒是6、8这种小个子，三下五除二就到底。这玩意儿完全不按个子高矮出牌，你越觉得"它该稳了"，它越给你来一记。
楼主说"局部混沌、全局收敛"，这个反差确实勾人。突然想到我倒觉得更妙的在另一头：它既不服软给证明，也不买算力的账。2^68都验过去了，约3×10^20个数一个反例没有，按理说够给面子了吧？可坑还是那个坑。机器算到天边，也只是在门口铺了层地毯，没人能替它把门推开。要是真有非平凡循环，长度得10^17往上，好家伙，那得多少辈子才撞得上。
说点不怕丢人的：我一个外行，最吃这一口恰恰是"谁都能推两把"。你不用博士头衔，拿张纸就能跟全人类最聪明的脑袋盯同一个死胡同。这种平等感挺少见的。别的难题多少带点门槛，这题连门槛都没有，光秃秃站那儿，谁路过都能踢一脚，然后它晃两下，照样不告诉你答案。
牛啊
有时候觉得它挺像生活里某些事——规矩清清楚楚，人人都照着走，可没人能保证你从哪出发最后都能落回平地。当然这是瞎类比，哈哈。我就想问，你们算这些的，推到后来是越推越上头，还是越推越认命？我这种看客倒是被27那一蹦给治愈了，合着乱归乱，它最后还是回家了。
27那串看得我直乐，蹦到九千多才落下来，敢情小数字也能闹这么大动静
27那个例子真给我看乐了，111步才归1，中间还蹦到9232。额数字跟抽风似的，前脚往上冲后脚往下掉，可最后全摔回1。
我一直觉得这猜想最折磨人的不是"对不对"，是它把人的直觉按地上摩擦。你说越大越不可预测吧，偏偏又收敛。就像明知道结局，中间弯路怎么都猜不中。这反差才是真上头。
话说都验到2^68了还没反例，我有个自私的想法补一句：对普通人这事儿其实早有答案了，只是数学非要个"严格证明"的仪式感。真的假的会不会有些东西就是只能算不能证？算力给的是"大概率没事"，证明要的是"永远没事"，这俩可能压根不是一码事。
不过你说非平凡循环长度至少得10^17，这数大到我自己都觉得荒诞。真要有这种循环，那得多少辈子才撞上。我就好奇，万一哪天真冒出反例，是藏在一个超小的数里我们漏看了，还是真蹲在天文数字深处。牛啊
反正我这脑子是想不明白的，留给大佬们秃头去吧
27那下真离谱 蹦到九千多折腾一百来步 我昨晚手推着玩推到困 这玩意儿有点上瘾
你这帖子里还夹了两句俄语，看着怪亲切的。不过最把我勾住的是27那个例子——一下蹦到9232再慢慢落回1，光想那个忽上忽下的过程就觉得有意思。我前两天还拿支笔在纸上随手推了几个数，真像你说的，大小完全猜不到下一步，顺着推着就不想停。
"局部混沌、全局收敛"这个反差我也喜欢。有些事就是这样，规则清清楚楚摆在眼前，可就差最后那一下说不通，这种"差一点"的悬着感反而比彻底无解更让人惦记。
你试过倒着推吗？从1往回找，看看哪些数会被"喂"出来，我总觉得那个方向也挺好玩的。
我一直在琢磨一个事儿：要是它真的总是落回1，那"为什么"到底卡在哪儿。楼主说的"局部混沌、全局收敛"特别准——不过我想补一层：这个"全局收敛"其实有个挺朴素的直觉解释。
把奇偶当成掷硬币就行。偶数÷2，相当于乘0.5；奇数×3+1之后必然变成偶数，紧跟着又÷2，所以奇数的净效果是(3n+1)/2≈1.5n。两个操作合起来，几何平均是√(0.5×1.5)=√0.75≈0.866，小于1。也就是说随机走下去，数值期望是在往下漂的。这就是它"应该"总会落回1的民间直觉来源——不是玄学，是乘法平均小于1在兜底。
理解的
但巧就巧在这个0.866离1太近了，漂得很慢，再加上"+1"和奇偶性之间的相关性，那点漂移随时能被某段连续奇数顶回去。你举的27就是例子：连着几个奇数把数字一路顶到9232，靠的就是局部这段"逆漂移"。所以证明真正的死穴，恰恰是"奇偶序列到底够不够随机"这件事本身没法证明。没事的
顺带补个楼主没提到的：其实不是完全没进展。Terras早在上世纪70年代就证明了"几乎所有"起点最终都会掉到比自己小；陶哲轩2019年把这个结论推得更漂亮，在概率意义下覆盖得极广。可惜"几乎所有"和"所有"中间那道缝，刚好就是卡住的地方——无穷多个例外占比趋近于零，但一个都容不下。抱抱
还有个我挺喜欢的事实：你提到若有非平凡循环，长度至少10^17量级。这意味着真要存在反例，起点得大到超出人类能直观想象。所以从实用角度，咱们这辈子碰到的任何数字其实都"已经"解决了，它悬着的纯粹是数学家的体面(笑)。
前两天半夜没睡着，我还真拿张纸把27那条路从头推了一遍，推到9232那下确实有点被震到。这种小学生规则裹着深坑的感觉，真挺上头的。
27那个真把我看愣 上来蹦到9232折腾111步才落回1 我刚拿手机跟着推了十几步就晕了 这数也太能折腾 不过楼主说局部乱蹦全局收敛我是真吃这个反差 看着像没头苍蝇乱撞最后居然都乖乖归位 莫名的爽点哈哈哈哈哈
27蹦到9232那段真有意思，规则就两行，路径却完全猜不到。它安安静静悬着不肯被证明，这种状态倒叫我挺舒服的。
楼主拿俄文起头，这帖子读着倒有几分异乡的浪漫。冰雹猜想我早些年瞎玩过一阵，只觉得它像个拧脾气的孩子，你越想按住它，它越往上蹦。27蹦到9232那段真叫人意外，数字不大，性子倒烈。
你那句"局部混沌、全局收敛"，我盯着看了好一会儿。日子有时也这样，某段路忽高忽低没个准信，回过头竟也都落到一个点上。当然数学不负责安慰人，它只是安安静静悬在门口。嗯…
偶尔夜里睡不着，我就随手推几个数，不为证明什么，单单贪那点"再怎么绕最后还是落回1"的踏实。