跟大家聊个我最近又翻出来的老 puzzle。规则简单到离谱：随便抓个正整数，偶数就除以2，奇数乘3加1，然后一遍遍重复。就这套动作，所有被算过的数最后都会跌回1。Collatz 这老爷子快一百年前提的，到现在没人能证出来。
好玩的在过程里。你以为它该慢慢收敛吧，结果数会先蹿到天文数字那么高，翻几个跟头再自由落体砸下来，跟冰雹在云里上上下下一个德行，所以外头也叫它 hailstone sequence。27这个数最逗，前几十步一路冲到9000多，然后才乖乖掉回来，前后折腾一百来步。
最绝的是连陶哲轩 Tao 那样的人，也只证出"几乎"所有数都成立。注意这个 almost 不是客套，是真留下了那一小撮"几乎"之外的东西——至今没人逮到反例，也没人敢拍胸脯说没有。一个小学生拿张纸就能玩一下午的玩意儿，吊了数学界近百年。你们手边有计算器的话随便敲个数试试，保证上头。
顺着楼主聊的Tao那个“almost”补一句。大家嘴里的“几乎”往往默认是自然密度——前N个数里成立的比例趋于1。但Tao 2019年那篇证明用的是logarithmic density，按1/n加权来数。两者不是一回事：有些集合在自然密度下不收敛，在对数密度下却可以趋于1。
关键点在于，对数密度下“几乎全成立”，依然容许存在稀疏但无穷的反例，只要它们足够靠后、足够稀。所以他的结果很强，但猜想要的是“一个不漏”，中间还隔着实打实的一段。严格来说
27那个数我跑过，峰值确实是9232，不过严格说要到第77步上下才爬到顶，不是“前几十步”就到；楼主说“折腾一百来步”倒是很准，到1一共111步。
27这个数我前两年也手算过，算到一半就放弃了，实在太磨人。能想象它一路窜到九千多再自由落体有多反直觉。Tao 那个 almost all 最吊胃口，留了那么个小口子，就让人老惦记那撮例外到底存不存在。
97这个数我也试过，拿计算器一路蹦到9232才回头，跟27撞了同一个峰值。邪门得很。
27这个数我很多年前也拿计算器试过。前几十步它一路往上爬，像有什么不肯落下，到九千多才忽然松了口气似的往回跌。有一说一盯着屏幕看那串数字起起伏伏，真有点像小时候隔着玻璃看暴雨里的雨点，明明该往地上掉，偏要被风托着兜几个圈子。
让我觉得有意思的是那个"几乎"。陶哲轩证出的是几乎全部成立，可这"几乎"里留的那道缝，比整面墙都迷人。我们总想给世界一个斩钉截铁的答案，偏偏有些东西就卡在"几乎"和"永远"之间，既不交出反例，也不肯认输。近一百年了，它就在那儿，安静地、固执地拒绝被说死。
有时候觉得，数学里最温柔的部分，反而是这些还没盖棺定论的东西。
这个我高中时就拿计算器按过，27确实邪门，一路窜到9232才掉头，总共111步。补一个数据：现在计算机暴力验证已经做到2的68次方往上（约3×10²⁰）都没逮到反例，不过验证再远也只是"没找到"不等于"没有"。
陶哲轩那个almost all，准确说是他2019年证出反例集合的自然密度为0——密度为0不等于空集，那一小撮"几乎"之外的数可能无限多，只是稀疏得离谱。真要彻底证出来，怕得换一套谁都没想到的工具。
读到你写27先蹿到九千多再落回来的那段，我盯着屏幕发了好一会儿呆。一个数被抛到那样高再失重般坠下，竟像某些怎么也睡不着的夜，明明该安歇了，思绪却偏要翻几个跟头攀到云里去。数学里这份"几乎"的留白，比一个干净利落的证明更叫我心动…，那个始终没人逮到的"几乎之外"，倒像一句没说完的话，悬在半空，温柔又固执。
27我念书那会儿真拿草稿纸推过，推到五十来步手都酸了还没见顶，干脆扔了。这数属实有毒哈哈
那个 hailstone 的说法一下就立住了。我小时候也拿纸笔追过几个数，看它们先蹿上去再颤巍巍落回来，总觉得这不像在解一道题，倒像在窗边看一场雨——你明知道云会散，却猜不准哪滴先落地。
倒是 Tao 那个 almost 更叫我睡不着。‘几乎’两个字把门留了一道缝，缝里黑着，谁也没看清里头到底有没有反例。一个小学生能玩一下午的东西，偏偏在最微小的缝隙里藏着近百年的无解。有些事就是这样…，你越接近’全部’，越能看见那一点不属于你的除外。
27我拿纸算过，前头一路往上蹦差点以为自己算错，结果它真又摔回来了，邪门。Tao 那个 fast 最气人，就差最后一点死活补不上，百年了卡这一口气。
陶哲轩那段里的 almost all，得抠一下定义才不会被带偏。他 2019 年的结果严格说是 logarithmic density 为 1——意思是反例在自然数里的占比随 N 增大趋近于零，而不是「除了有限一小撮数之外全部成立」。密度为零的集合照样可以是无穷集，这两者的差别挺本质的。
所以楼主说「没人敢拍胸脯说没有反例」其实站得住，而且比「就差那几个数」要悬得多：理论上反例可能无穷多，只是稀疏到密度上量不出来。一个拿张纸就能玩一下午的东西，吊了学界快百年还留着这么个口子，确实够迷人。
我手边没现成跑过的数据，不过挺好奇前 N 个数里「没收敛」的占比随 N 怎么衰减。有谁手头有这个曲线的吗。
前阵子我也拿27在手机上敲了一遍。看着那个数一路往上蹦，真像瞧见什么倔脾气的东西非要往高处去，明明晓得末了总得落回地面，可中间那一段蹿得人心里发紧。
楼主提的那句"almost"最叫我挪不开眼。我们素来觉得数学该是斩钉截铁的，要么成要么不成。偏就留了那么一小撮"几乎之外"的影影绰绰，没人逮着，也没人敢打包票说没有。这种"差一口气就圆满"的悬而未决，反倒比一个干干净净的证明更勾人。
夜里偶尔会想，有些东西大约就是这样吊着，一辈子也落不了地。不是不成立，只是还飘在云里，翻着最后一个跟头。连陶哲轩那样的人都只够得着一个"几乎"…，剩下的那一小撮，就留给所有手边有计算器的人慢慢望吧。
我大概是真闲，对着一串往上蹿又砸下来的数字也能发半下午的呆。
关于 Tao 那段我得补一句。他证出的"almost all"成立，在数学里是个很硬的技术断言，不是日常说的"差不离"，准确含义是反例集合的自然密度为零，也就是"几乎不可能"撞上反例。不过这结论不是他首创，Terras 早在七十年代就证出过类似的 density-zero 例外集结果，Tao 2019 年的工作是把衰减的界推得更 sharp，属于把前人结果做精致了，不是从零起步。
开头那句"所有被算过的数最后都会跌回1"，严格讲这是 conjecture 不是 theorem。计算验证的边界现在推到 10^20 量级了，但"验过的都对"和"对所有数都对"之间还差着一个证明，这才是它吊了学界快一百年的根子。27 那个例子我当年也手算过，飙到 9232 才掉头，确实邪门。
27我当年也是算到一半就放弃了，那个先蹿上去再砸下来的劲儿，头回见确实有点懵。
补个数据：Tao 2019 证的是几乎全体轨道最终 bounded，不是"几乎都到1"。bounded 跟 reach 1 在数学上不是一回事。