前两天翻回角谷猜想（Collatz conjecture），还是觉得它邪门得可爱。其实规则简单到没道理再简单：偶数除以2、奇数乘3加1，无限重复。扔个6进去——除2得3，乘3加1得10，除2得5，再乘3加1得16，接着8、4、2、1，之后1又变4，套进4→2→1的循环。试过的数最后都落回这个圈。
嗯
可怪就怪在这儿：这么朴素的规则，到今天没人证明它对每个正整数都成立。计算机一路算到2的68次方量级、约2.9×10^20个数，反例一个没撞着。但"试了这么多没反例"和"数学上必然如此"之间，隔着严格证明的鸿沟，迈不过就是迈不过。
从某种角度看，它是"简单规则孕育复杂行为"最亲近的数学入口。下一步去哪只取决于奇偶，整条轨道却完全没法预判，那股混沌味儿跟动力系统里的非线性方程是一家人。值得商榷的是，它究竟能被收进某个已知数论框架，还是本质上就站在可判定的边界上。我有时盯着数列发呆，心想人类折腾几百年的数论，连小学奥数题似的东西都摁不死。也挺好，谜还在，就还有得琢磨。
扔个6演示完，得补个27：它爬到9232才肯回头，轨道长得离谱。混沌味儿你说得在理，不过"可判定边界"我存疑，我赌它就是道特别倔的数论题。
楼主那句"站在可判定的边界上"值得商榷。en fait…，Conway 1972年证的是一族推广的Collatz型映射不可判定，他构造的是参数化函数类，并非3n+1本身。目前没有任何结论说3n+1问题不可判定，把两者划等号是过度外推。
补一个扎实的结果：Terras证明在自然密度意义下"几乎全体"正整数的轨道最终会落到比起点更小的数。我们对绝大多数情况其实握有严格结论，谜题卡在"all"和"almost all"之间的缝里。
我年轻时候也跟你一样，盯着那串数发呆过。九十年代末拨号上网，在BBS上头回撞见这题，连着几天拿纸笔算，算到几千几万，越算越上头，总觉得下一秒就能看出门道来。
之前那个帖子里我们也聊过，老话题了，隔阵子就有人翻出来念叨一遍。现在回头看，那股"马上就要想通了"的劲头，每个碰过这题的人大概都经历过。它最磨人的地方，就是楼主那句"规则透明到极点，下一步却一点规律都摸不着"。我后来慢慢不纠结"到底能不能证出来"了，反而觉得这题留着比解开了更有意思。谜面摆在那，谁都能上手玩两把，又谁都摁不死，这种事不多见。
关于你最后那句"可判定的边界"，补一个挺硬的结果。Conway 在 1972 年证明过：把 Collatz 这类规则推广成一个更一般的整数迭代族之后，判断某个数最终会不会落入循环，是 algorithmically undecidable 的。也就是说，原问题本身也许有解，但"这类问题的全集"里确实有一部分站在不可判定的那一侧。这跟你直觉里"站在可判定边界上"是同一个方向，只不过 Conway 把它从猜想做成了定理。
不过要分清楚，undecidability 说的是那个广义族，不等于 3n+1 本身不可判定——这点科普文经常混着讲。单看这个原问题，至今既没人证出它对，也没人证出它不可证。
你说的 2^68 那个界，我记得是 2020 年前后 Bařina 推到的，这些年有没有刷新我倒没再跟踪了。
楼主说它"站在可判定的边界上"，这话说得抓人，但稍微有点虚，我补点实底。
1972年John Conway证明过一个结果：把Collatz那套规则推广一下（比如在模某个数下用不同的线性映射），得到的整族"类Collatz过程"里，存在一个成员是图灵不可判定的：不存在通用算法能判断任意起点最终会不会回到1。这等于从侧面给楼主那句"简单规则未必摁得死"提供了硬支撑，规则只要挪动一点，问题就跳出了可判定的范围。
不过得把话说准：Conway证的是"推广版本"不可判定，不是原版3n+1。原版到现在既没反例、也没被证明不可判定，它到底站哪一侧还是开的。所以"站在可判定边界上"是有味道的直觉，严谨讲该说"紧邻的一个推广问题已经不可判定，而原问题自身的可判定性未知"。
顺带补个新进展：2019年陶哲轩用概率方法证明了"几乎所有"正整数的轨道最终都会降到任意低界以下，在"几乎必然收敛"上推了一大步，不过离"全部"还差着本质一截。
我前几年也顺着这条线读了一阵子，越读越觉得这种"小学题"最磨人。谜还在，挺好。
算到2.9×10^20都没反例，这数字看得我头皮发麻。可没证明就是没证明，这种悬着的感觉反而上瘾。
楼主说它“本质上站在可判定的边界上”，这句我稍微纠一下——Conway 1972 年证的是 Collatz 的一个推广版本不可判定，不是原版 3n+1。原版就一个具体命题，要么真要么假，谈不上站在边界上，只是我们眼下还缺证明它的工具。
之前在“最简单的无解之谜”那帖里我提过 27，它得走 111 步才落回 1，中途窜到 9232，跟它那点体量完全不搭。这种“开头看着乖，后面完全猜不到”的反差，大概就是这题最勾人的地方。
至于验到 2^68 没反例，说实话对“必然成立”的支撑比很多人以为的薄。经验证据和严格证明之间那道沟，真不是堆数字能填平的。
楼主说"整条轨道完全没法预判"，这个说法在直觉上站得住，但定量地看需要稍微收一收。1970年代Terras就证明过一个严格结果：在自然数密度（densité）的意义下，“几乎所有”（presque tout）正整数最终都会落入4→2→1循环。这里的"几乎所有"不是修辞，是measure-theoretic的精确定义，密度趋近1。所以轨道并非完全无结构可循，只是我们对单个具体的数还没有统一判据。
这种密度结果和"对所有n成立"之间确实隔着本质距离，就像你说的，迈不过就是迈不过。验证推到2^68量级是极好的induction证据，但终究变不成deduction。
深夜把一个数丢进那条轨道，看它跌跌撞撞落回1的时候，我总会想起巴赫的卡农。明明只有一条最简单的旋律线，被反复、错位、缠绕，出来的东西却比任何精心编排都深。你说"谜还在，就还有得琢磨"，这大概是数学最不欺人的地方：它不哄你说答案近在咫尺，却也不拦着你往里看。说实话
我有时觉得，这种"下一步只由奇偶决定、整条路却无从预料"的chaos，比许多写满符号的定理更贴近活着本身。我们总想给万物一个收束，可有些东西注定悬在可判定的边上，像一句永远没唱完的歌词。
留一点够不着的天光，人才肯一直抬头。
我以前也随手挑数扔进去跑过，最意外的是27——看着平平无奇，结果一路蹿到9232，前后111步才落回1。规则只盯奇偶，轨迹却完全没法预判，这股反差确实上头。
你说它卡在“可判定的边界”上，我倒觉得它更像是个独立的小怪物，未必塞得进现成的数论框架。不过这类猜想最妙的地方就在于：真证明了反而没劲了，谜还在，才有的琢磨
Conway 72年证明了角谷猜想的一类推广是图灵不可判定的，你那句"站在可判定边界上"还真有根据。
外行看这个最入迷。前阵子闲着写了个小程序跑轨迹，有的数蹿得老高才掉下来，看呆了。谜留着挺好。
27这个种子估计坑过不少人 我上次手算一路冲到9232才肯下来 越算越上头是真的