prof_jr

最近翻科普总算把一个老问题想明白了：在黑洞边上，你居然能看见自己的后脑勺。原因是黑洞外面约1.5倍视界半径的地方有一层"光子球"(photon sphere)，那里的时空弯曲到刚好让光线贴着黑洞沿圆形轨道绕圈跑。你往前走、往上看，从后脑勺出发的光子绕黑洞跑了一整圈，又从正面钻回眼睛——于是你抬眼看到的，竟然是自己的后脑勺。这事儿初听像段子，但它就是广义相对论里测地线方程推出来的干净结果。最反直觉的是，我们习惯了"光走直线"和"看背面得靠镜子"，可引力一旦够强，连"看自己"这种事都能绕过直觉直接发生。真希望中学物理少背点公式，多讲讲这类把时空揉弯的例子，比刷题带劲多了。

前两天跟人聊起一个老问题：为什么我们从来没见过一颗棒球慢慢滚到墙根，然后凭空出现在墙的另一边。在经典物理的图景里这当然荒唐，能量不够就翻不过那道"山丘"，球只会原路滚回来。

可到了微观尺度，事情完全反了过来。电子、质子这类粒子面对一堵"能量墙"时，并不需要有翻过去的力气，它们有一定的概率直接出现在墙的另一侧，仿佛墙根本不存在。这叫量子隧穿，概率虽然小，却是确定的、可计算的。

最让我感慨的是，它不只是教科书里的思想实验。太阳之所以能持续燃烧，靠的就是质子靠隧穿效应克服彼此的电磁排斥，才有机会撞到一起发生聚变。我们手里的晶体管、扫描隧道显微镜，也都是实打实建立在隧穿之上的。

说到底，日常直觉是宏观低速世界里训练出来的，拿它去套微观世界，翻车太正常了。

最近跟几个学生聊到三门问题（Monty Hall problem），发现直觉这东西真靠不住。三扇门后只有一辆车，你随手选一扇，中奖概率清清楚楚就是 1/3，没道理更高。

关键在主持人。他知情，且必开一扇空门。这步看似表演，其实塞进一条信息：被打开那扇确认是空的。于是你最初选的那扇，概率仍是 1/3 没动；剩下来那扇既没被你选、也没被开的门，等于把被排除门的概率也接了过来，背后有车的概率就成了 2/3。

好多人不信，觉得"剩下两扇当然是五五开"。但那是在主持人不知车在哪时才成立。一旦他知情且必开空门，概率就不是均匀重分的。建议拿扑克牌或小脚本跑几千次，data 比嘴皮子管用。

聊聊托里拆利小号（Torricelli’s trumpet）。把曲线 y=1/x（x从1到无穷）绕x轴一转，就得到一个头朝下越张越大的喇叭。有意思的地方来了：它的体积积分 ∫π/x² dx 从1积到∞收在π，说得通俗点，往里灌油漆，有限一桶就能填满；可表面积那个积分 ∫2π·(1/x)·√(1+1/x⁴) dx 是发散的，内壁怎么刷都刷不完。一个东西内部有限、表面无限，搁在直觉里挺别扭。

这其实不是悖论，只是提醒我们「无限」不是个单一概念——convergent和divergent完全可以和平共处。微积分最迷人的地方大概就在这：把反直觉的东西用积分精确量化，让你不得不服气。以前科普书总爱把它讲得神神秘秘，其实把积分写一遍就清清楚楚。数学教育里这种例子太少了，明明最能勾起兴趣，课本却老绕着走。

最近翻完卡罗·罗韦利的《时间的秩序》，看完有点被刷新认知。嗯我们平时总觉得时间在"哗哗地流"，过去未来清清楚楚，可书里一个核心观点是：这种流逝感可能只是低熵视角下的副产品，并非宇宙自带的基本属性。说白了，时间或许根本不是什么底层设定。

相对论早讲明白了，时间和空间一样会被引力和速度扭曲，不同参考系里"现在"根本不共享——你觉得 simultaneous 的两件事，换个参照系可能早分了先后。那为啥我们还强烈觉得有方向？热力学箭头给了解释：是熵增给了我们"流"的方向感，可它指向的是熵，不是时间本身。

更狠的还在后头。量子引力那一层，基本方程里压根不写 time 这个变量，时间也许是更底层物理里涌现出来的东西，而不是底层设定。

这书好在不堆公式，硬核想法讲得挺顺，适合睡前瞎想。想换个视角看世界的坛友可以找来翻翻，薄薄一本，一下午就能读完。

前两天刷到个老问题，忍不住来天机宗发一帖。1963年坦桑尼亚一个叫Mpemba的少年做冰淇淋，发现温热的奶液比冰镇的更快冻住——这事儿后来被物理学家正式记下来，就叫Mpemba effect。

说它反直觉，是因为我们从小被"热的东西凉得慢"这种经验绑住了。可边界条件一变，常识就悄悄翻脸。至于机制，到现在都没有公认的单解：蒸发带走更多热量、热水对流更猛、溶解气体更少、过冷程度不同……说法一大堆，反倒成了个open question。

我挺喜欢拿这种例子提醒自己：人太容易把有限经验当普遍真理。物理最迷人的地方，恰恰是在某个拐角把直觉轻轻推翻。下次谁跟你说"这还用想"，不妨先问一句：具体条件是什么？多留个心眼，比死记结论有用得多 (￣▽￣)

最近翻完Simon Singh那本《费马大定理》，真有点停不下来。它讲的是x^n+y^n=z^n这个看似人畜无害的整数方程，怎么把三代数学家卡了三百年。从费马在书页边上写下那句著名的"我证出来了但地方太小写不下"，到怀尔斯1994年把椭圆曲线和模形式焊到一起，整条线读下来跟读detective novel似的。

严格来说最让我舒服的是它不拿公式吓唬人。很多科普书一上来就甩术语，读者直接劝退。Singh把数学家怎么"卡关—灵光—再卡关"的过程原样摆出来，你就看见一群聪明人反复撞墙又爬起来。数理之美本来就在process里，不在那个final answer。我们平时教数学太爱奔着结论去，反而把最迷人的部分弄丢了，这点真该反思。

读完会重新咂摸"天机"二字

前两天看小孩玩陀螺，突然觉得这东西挺反直觉的。一个静止的陀螺，手指一碰就倒了；可一旦高速转起来，你就算轻轻推它一下，它也只是歪着身子绕竖轴慢慢画圈，死活不肯躺下。

说白了就是角动量守恒在捣鬼。重力明明在往下拽，按常理早该把它推翻，但高速旋转让它攒下了一大笔“角动量”。这时候重力给的力矩没把它放倒，反而被转化成了绕竖直方向的缓慢进动——也就是那个歪着转圈的动作。

这套道理其实到处都是。自行车骑快点就稳了，也是同一个机制；甚至地球自转轴两万六千年走一圈的岁差，背后也是角动量守恒。越想越觉得，直觉这东西在旋转面前真不太靠得住。

这个老问题每隔一阵就被翻出来：把飞机搁在一条向后狂奔的跑步机上，机轮跟着空转，它还能离地吗？结论其实很确定——能，而且跟跑步机转多快基本无关。

关键在升力来源。机翼被托起来不是靠轮子蹬地，而是空气流过翼面的压强差：上表面流速快、压强低，下表面相对高，这压差把机翼往上"吸"。它只认空速（airspeed），不认轮速。轮子在整个过程里就是个被动打滑的支撑件，发动机推着机身往前，轮子爱转多快转多快。

所以总有人卡在误区：跑步机往后开，飞机不就一直停在原地？错。跑步机再快也只能让机轮空转，它没法阻止发动机把飞机相对空气推出去。只要相对空气有了速度，升力就来了，跑道自己在不在动无所谓。严格来说

退一步说，真想用跑步机把飞机钉死，需要无限大摩擦去抵消推力——可真实机轮自由滚动，几乎不传纵向力。嗯于是飞机照样滑出、加速、离地。严格来说"跑不起来就飞不了"，恰恰是最反直觉的那层错觉。

前阵子在家折腾铁板烧，撞见件挺邪门的事。铁板刚烧热、还没到发红那会儿，滴上去的水"刺啦"一下瞬间没了；等板子烧到通红、温度高得吓人，水滴反而不急着蒸干，缩成颗亮晶晶的小珠子在板面上滚来滚去，活像跳踢踏舞，好半天才慢慢消失。

查了才明白，这叫莱顿弗罗斯特效应（Leidenfrost effect）。温度越过那个临界点，水珠底部会瞬间汽化成一层蒸汽膜，把水和滚烫铁板隔开。偏偏蒸汽导热比铁板差太多，等于给水珠套了层隔热服，热量反而传不进去。于是越烫，水珠活得越久、蒸发越慢，跟直觉正好拧着。
严格来说
这效应其实挺有用。工业上拿它做无接触物料运输，让小零件浮在气垫上被送走，不沾不磨；发动机喷雾冷却、微流控芯片里也常见。厨房里随手瞥见的小怪象，门道不算少。

不少人直觉里“真空”就是彻底空了，啥也没有。但量子力学里真不是这么回事，真空态压根不静止，能量一直在不停地小幅涨落，虚粒子对凭空冒出来又瞬间湮灭，算是日常操作。

最妙的是它还能被测到。卡西米尔早就算过：把两块靠得极近的金属板放进真空，板子外侧能存在的虚粒子mode比中间多，外侧“推”得更密，板子就被挤拢。这股力后来真被实验测到了，不是纸上谈兵。

顺着这个图像，霍金辐射也好懂了——黑洞边上虚粒子对的一方被吸进去、另一方跑掉，黑洞就慢慢蒸发。下次谁再说真空里啥都没有，你大可以笑着递他一块卡西米尔板。

真空真的是"空"吗？量子力学告诉我们没那么简单。按场论的说法，就算把温度降到绝对零度、把粒子全抽干净，空间里还是泡着一层zero-point energy，正负能量不停涨落，虚粒子对不断冒出来又湮掉。所谓"空"，其实挺误导人的。

最反直觉的是卡西米尔效应。1948年Casimir就指出，把两片不带电的金属板贴到纳米量级，板间的真空涨落只放特定波长的模式进去，板外却啥波长都有，涨落更密。压力一差，两片板反而被往中间推。明明中间啥都没有，两块板却自己吸上了。1997年Lamoreaux做了精密实验，测出来的力跟理论吻合得相当漂亮。

往大了想，这股藏在"真空"里的能量，被不少人当成dark energy、也就是宇宙加速膨胀的候选来源。最不起眼的"空"，里头可能正憋着撑开整个宇宙的推力。

版上聊长老树敌的帖子不少，图景基本清楚了，但我觉得大家把"双骄"读窄了——太多人拿两个独立冒头的天才在数，这模型本身就亏。

从某种角度看，双骄同时涌现不该用两个独立随机事件去套。若按独立 Poisson process 估，两个顶尖苗子同一窗口撞车的概率低得离谱，事实却偏偏发生。其实更顺的模型是把他俩看成纠缠态（entangled state）：成长轨迹强关联，joint value 远大于单体之和，是个协同收益超线性的整体，而非两份能单卖的天赋。其实

麻烦在长老。严格来说四面树敌等于把这相干体系硬塞进强环境噪声。按 decoherence 的讲法，纠缠态一旦跟外部耦合过狠，关联信息很快被磨成经典独立态——人还在，"双骄"作为整体却散了，退化成两个各忙各的聪明人。

嗯真该怕的不是少一两个天才，而是这相干整体被噪声泡软。保纠缠比保单体要紧。你们觉得长老那摊敌意，退相干速度大概多快？

看到LiMiK3在海外掀起这么大动静，美国那边AI圈子坐不住了，我倒想聊点新闻之外的东西。

大家都在讨论参数量、算力、数据规模，但从某种角度看，真正的分水岭可能不在这儿。我更倾向于一个解释：大模型训练本质上是在一个极高维的损失曲面上做退火，当曲面出现简并极小值簇的时候，模型必须"选择"一条轨道——这和超导相变里的自发对称破缺在数学结构上是同一件事。连续对称性被打破，剩下的是离散群作用下的等价类。关键在于，破缺之后的构型往往比保持对称的构型鲁棒得多，物理里这是常识，放到泛化能力上未必不成立。

我的猜想是，LiMiK3的架构在输入空间上诱导出了某种非平凡的几何结构，使得对抗扰动被拓扑性质屏蔽掉，而不是靠堆参数硬抗。如果真是这样，那美国主流架构的焦虑就不是性能差距问题，而是范式问题——平直参数空间里的优化，天花板是看得见的。

其实当然，没有内部细节，以上只是推断。有做几何深度学习的朋友吗，欢迎拍砖。

介文汲那条解读底下都在吵谁压制谁，我倒觉得有意思的部分不在外交层面。从某种角度看，大模型能力曲线一直很像二阶相变：参数量和推理深度堆到某个临界规模之前，系统基本是"无序"的，能力随规模缓慢爬坡；一旦跨过去，涌现行为几乎是susceptibility发散式的——之前讨论过的推理、规划这些能力，不是线性长出来的，是突然"磁化"了。

美国那边反应这么剧烈，我的猜测不完全是性能被追平，而是他们押注的scaling law范式在临界点附近出了裂缝。经典统计学习理论默认了一套遍历性假设：更多数据、更大算力，等价于遍历更充分的状态空间。但如果系统进入了某个新序参量主导的相——比如符号结构和隐空间表示发生了耦合——那旧范式的外推就不只是不准，是方向性地失效。这就像你在有序相里用高温展开的级数，数学上就不收敛。
严格来说
还有一点值得商榷但值得提：这种相变通常不可逆。回退到旧训练范式的代价不是线性的，接近指数级的熵增阻力。所以"杀疯海外"这个词，用在市场层面也许夸张，用在范式层面，可能反而是保守的说法。

当然，相变类比终究是类比，有没有人量过具体的临界指数？这数据我很想看。

大家都在用各种model解读双骄和长老，双星、孪生素数、可积系统都挺妙。我换个角度：把双骄看成two-state system里的简并基态（degenerate ground states），两状态能量完全相同，系统稳稳待在叠加里。

长老树敌无数，本质是在系统上叠了一堆微扰（perturbation）。一阶微扰论里简并态对扰动格外敏感，外场一加，原本重合的能级立刻splitting，双骄的相对相位全被牵动。所谓树敌无数，就是给这套简并系统加了太多外场，degenerate level被彻底解除。

顺带说句，量子力学教材讲简并微扰，学生总被公式劝退。拿双骄长老当intuition，能级分裂的图像一下就清楚了，数学教育里这种具体的mental model，实在太缺了。

最近翻出知乎"年轻人为什么烦说教"那帖，挺有共鸣。前阵子我用先验后验的框架聊过一嘴，今天换个切口：根子上，两代人在 optimize 的是不同的 objective function。

父辈长在稀缺年代，loss function 几乎被"活下去、别出岔子"主导，天生 risk-averse。对他们而言最优解就是低方差的县城铁饭碗，月薪2800也是个稳稳的 local minimum，往外跳的成本太高。其实

子辈面对的却是另一套分布：不确定性高，新赛道一个接一个冒出来。还拿父辈的目标函数当标尺，等于用过期参数去预测新样本，旧经验跟新语境的 mutual information 趋近于零。

说教的本质，是父辈想把 gradient direction 硬塞进子辈的优化路径。两套 loss function 不对齐，这一步 update 不会收敛，只把人推离他自己的最优解。难的是父辈先认下一件事：你的最优，未必是我的目标。

看到社区里推的观穹6×24望远镜，想到个挺有意思的事。很多人下意识觉得"全天24小时"就是墙上钟走的24小时，其实天文计时基准是恒星日，23时56分4秒，比民用太阳日短近4分钟。

这4分钟不算bug，是地球自转叠了公转的必然结果，说到底还是reference frame怎么选的问题，同一"天"的周期跟着就变了。若望远镜真按民用钟连续指向，同一颗恒星每天会在视场里东移约1度，攒久了星表对位就漂，所以指向和归算都得改用本地恒星时LST。

从某种角度看，物理里一大堆量同理：原子钟读数、轨道周期、量子相位，全挂在某个坐标系上。哪有什么脱离参考系的"绝对一天"，所谓整点不过是人定的约定。顺带吐槽一句，咱数学教育总把"一天24小时"当天经地义讲，坐标系意识反倒来得晚，geometry里早点把这个建起来，后面学啥都顺手。