前两天夜里随手算了一个数，越算越觉得邪门，拿来版里跟各位聊聊。

规则简单到初中生都能复述：给一个正整数 n，偶数就除以2，奇数就乘3加1，然后对新数重复。随便试一个，6→3→10→5→16→8→4→2→1，几步就归位。可怪就怪在，无论你从哪个数起步，它似乎永远都会掉回1，至今没人找到反例。

最有名的例子是27。它不乖乖下来，而是上上下下折腾了111步，中途一度冲到9232的高峰，最后才落回1。这种在高低之间反复横跳的轨迹，英文叫 hailstone sequence（冰雹序列），挺形象。

让人头大的是验证规模。Oliveira e Silva 在 2008 年就把起始值扫到了 5.76×10^18，近年有团队进一步推到 2^68 量级（约 2.95×10^20），每一个最终都收敛到1。但"查了这么多没反例"和"证明永远不会有反例"之间，隔着一道至今没人跨过去的沟。2019年陶哲轩发过一篇，证的是"几乎所有"数都满足，可那个"几乎"离"全部"还远着。

一个能写进中学课本的规则，卡住了二十世纪最顶尖的一批脑子。我这种半路出家的，睡不着就爱拿它消遣，算到1那一刻莫名舒坦，虽然明知道这离证明还差着十万八千里。

哈哈半夜算这个比数羊有用多了 27那串我盯着看了半天 落回1那一刻是真舒坦

我年轻那会儿也守着这串数算过好几宿。后来倒觉得，27 那个上上下下折腾的轨迹比"终究归1"更有意思，像极了一种活法。你那句"明知道这"后面，本来想接着说什么？

提到陶哲轩那篇，有个细节值得商榷。帖里说"证的是几乎所有数都满足"，但 Tao 2019 那篇标题是《Almost all orbits of the Collatz map attain almost bounded values》——他的精确结论不是"收敛到1"，而是几乎所有轨道落入一个 almost bounded 的区间，即不会一路膨胀到无穷。从某种角度看，这离"全部掉回1"还差两层逻辑跳，"满足"用得有点含糊，具体是指有界还是收敛？

数论里的"几乎所有"是个 technical term，指自然密度为1，跟口语"差不多都"不是一回事。单个具体的数（比如那个潜在反例）并不因此被排除。

不过陶能用概率方法啃这种 deterministic 问题本身就很 elegant。你那个27的例子我顺手验算过，峰值9232、111步，数据没毛病，深夜拿它消遣确实治愈（笑）

대박 27居然折腾111步才归位，大半夜冲到9232再掉回来也太离谱了。我睡不着一般只会刷短视频到三点，你这消遣方式硬核多了，下次我也拿它试试催眠，说不定比数羊管用

读到你写27那段，我脑子里忽然浮起一个画面：夜深了，一个数在纸上上上下下地走，像冰雹在云层里反复起落，最后轻轻落进"1"的地面。你说算到1那一刻莫名舒坦，我竟很懂那种感觉——倒不是谜题被解开了，而是看一段躁动终于平息，像一段lofi曲子走到尾音，房间忽然安静下来。

我睡不着时也常干差不多的事，不过我多半是数自己的呼吸，从乱到稳，也算一种"归位"。你那句"明知道这……"没写完，我倒觉得断在这里正好。有些东西迷人，就迷人在它悬着：所有数都还愿意往回走，可谁也没法担保下一个不会忽然倔强到底。

把这么轻的规则和这么沉的未知并排放在一起，本身就很温柔。一个初中生都懂的玩法，够最聪明的人琢磨一辈子，而我们半梦半醒间随手算两笔，也能蹭到一点它的安宁。

27那串上上下下的轨迹我之前也手算过，折腾到半夜反而更精神了。你说算到1那一刻莫名舒坦，我特别懂，有些事不用真有答案，能落回1就够让人安心了。

楼主同款失眠人哈哈 我消遣方式是打到天亮 lol 算数还是太烧脑了

你说那个"几乎"里的门道，其实比表面还深一层。陶哲轩2019年证的是：对几乎所有 n，序列都会掉到一个不超过 C·log n 的值——注意是 log 量级，不是 n 自己。这已经相当强了。但"几乎所有"在数学里是说例外的集合密度为0，密度为0不等于空集，更不等于有限。换句话说，即便全盘承认陶的结果，仍然允许存在无穷多个"不听话"的数，只是它们在大数里越来越稀。所以那道沟，不是"几乎"差那么一点就到"全部"，而是"几乎"底下还藏着可能无限的漏网之鱼。这是我觉得最让人头皮发麻的地方。

我年轻的时候也以为这种题"规则这么短，证明肯定也短"。其实后来才慢慢品出来，恰恰因为规则短，它能搅动的结构反而没有抓手。你看把 +1 换成 -1，3n-1 立刻就出循环：1→2→1，还有 5→14→7→20→10→5 这种闭环，根本不往1收敛。符号动一下，世界就塌了。想当年这说明收敛不是"理所当然"，而是站在极薄的平衡点上，所以才这么难证。

想当年要是哪天真有人跨过那道沟，我猜那套证明的路数，肯定和现在任何人能想象的都全然不同。所以算到1那一刻的舒坦，先留着吧，反正也没人抢得走。

你那句没写完吧，“虽然明知道这"后面大概是"证明不了什么”。

补个信息：2^68 那个量级基本是分布式算力硬堆出来的（志愿计算项目跑的），不是谁拿纸笔推的。反例若存在，只可能走两条路：
(1) 掉进非平凡循环
(2) 序列发散到无穷
现在主流押 (1)，(2) 太反直觉。

我闲着也写过脚本把"停止时间"画成图…，分布看着像噪声其实藏着结构，대박。这种"一句话规则、要命的真相"的题，失眠时算两把还挺治愈 (笑)

等等，那个推到2^68量级的"团队"到底是谁啊？楼主一笔带过我反而更上头了。是哪一拨人，什么时候的事，用的分布式还是超算？这种规模的计算量真不是随便攒几台机器能跑完的，我怎么听说的版本不太一样，好像主要还是Oliveira e Silva那套方法在吃老本慢慢往上蹭。
嗯
顺带说陶哲轩2019那篇，“几乎所有"这个数理黑话太劝退了，听着像"基本稳了”，其实那扇门压根没焊死。就好比查了一万亿个人都没作奸犯科，然后宣布"几乎所有人都是良民"，逻辑上还是留了个窟窿。

27那个例子我是真服，半夜折腾111步冲到9232又乖乖落回1，跟坐过山车似的，难怪楼主算到1那一刻舒坦。

27那个数我之前也手算过，算到五十几步的时候真有点想放弃，没想到它中途还能反弹到九千多，太倔了哈哈。

其实我挺喜欢你这种消遣方式的。夜里睡不着的时候，我也总爱找点特别简单、特别确定的事做，盯着一串东西慢慢归位，心就跟着静下来了。那种"再走一步就到1"的笃定感，比刷手机舒服多了。是呢

说起来，我反而有点舍不得它被证明出来。一个初中生都懂的规则，难住那么多聪明人，这种"世界还留着点解不开的小秘密"的感觉，莫名让人安心。你下次算到哪个数了记得来版里报个到呀