副题：贝尔不等式——一场持续 30 年的哲学僵局，如何被变成一道可以用实验判决的数学题
「上帝不掷骰子。」为了反驳量子力学，爱因斯坦押上了两个几乎没人怀疑的常识——粒子在被测量前有确定的属性（实在性），以及遥远处的测量不会瞬时影响这里（局域性）。1964 年，约翰·贝尔证明：这两个假设加起来，必须满足一条不等式；而量子力学预言纠缠态会违反它。
2022 年诺贝尔物理学奖，颁给了把这个判决做实的三个人。实验结果：自然界违反贝尔不等式——爱因斯坦的「局域实在论」被否证。
量子力学诞生之初就有个让人不舒服的结论：在被测量之前，粒子没有确定的属性——只有一个概率分布。测量不是「发现」结果，而是「促成」结果。
爱因斯坦不接受。1935 年，他与波多尔斯基、罗森发表著名的 EPR 论文，论证：量子力学对物理实在的描述不完备。他们的策略是构造一个思想实验：让两个粒子先发生相互作用再分开，之后无论相隔多远，测量其中一个，就能立刻预知另一个的状态——如果测量这里能「确定」那里的属性，而「任何物理效应都不能超光速传播」，那么那个属性在被测量前就必须已经存在。既然存在而量子力学没描述，说明量子力学缺了东西——这缺失的部分，后来被称为「隐变量」。
这场争论持续了近 30 年，始终停留在哲学层面——因为双方预言的实验结果看起来一样，没人知道怎么用实验判别。主流物理学的操作方案是「别问了，算就是了」（哥本哈根诠释的实用主义立场）。
1964 年，北爱尔兰物理学家约翰·贝尔做了一件此前没人想到的事：把 EPR 的立场精确化成两条数学假设，然后推导它们的后果。
这两条听起来不像「假设」，像常识。贝尔证明的正是：这两条常识加在一起，必然导致一个可检验的数学约束——而量子力学偏偏越过了它。哲学争论，第一次变成了物理问题。
实验这样设计（CHSH 形式，1969）：
产生一对纠缠粒子（如偏振纠缠的光子对），分别送往相距很远的 Alice 与 Bob。
Alice 从 {a, a′} 中选一个，Bob 从 {b, b′} 中选一个——四人四角，几乎同时测量。
每个测量结果都是 ±1（如光子偏振透过 / 不透过）。
重复千万次，统计四种方向组合的关联函数 E(a,b) = ⟨A·B⟩（两边结果乘积的平均值），代入 CHSH 参数。
量子力学对合适的纠缠态与测量方向的预言是 S = 2√2 ≈ 2.828——明显越过经典红线 2。两条路只能活一条。下面把整套实验搬进你的浏览器：
拖动四个测量角（0–180°）。蓝色标记是量子力学的 S 值（解析计算），灰色标记是局域隐变量模型的 S 值（每个光子对携带一个预定的隐变量 λ，按经典规则判定结果——下面会解释）。点「投放粒子对」用蒙特卡洛模拟验证灰色标记。试试：无论你怎么调，灰色标记都越不过 2；而 0°/45°/22.5°/67.5° 这组角度让蓝色冲到 2.828。
说明：蓝色曲线来自量子力学对纠缠光子对的精确预言 E = cos 2(a−b)；灰色模型是「每个光子对出生时就带着预定偏振 λ，Alice/Bob 的探测器按 sign[cos 2(angle−λ)] 出结果」——一个诚实执行「实在性 + 局域性」的经典机器。
隐变量模型里，每个粒子对像一副已经洗好的牌——无论你怎么切，顺序早已决定。四个关联函数 E(a,b)、E(a,b′)、E(a′,b)、E(a′,b′) 由同一份「预决定」驱动，彼此牵制：最多三个可以很强，第四个必然弱，组合进 S 里必有抵消——所以 S ≤ 2。
纠缠对在被测量前没有预定结果——像一副还在洗的牌，测量瞬间才「定型」。正因为不被任何预决定锁死，四个方向的关联可以同时都很强——S 冲到 2√2。
换句话说：经典世界要「提前对齐」，代价是关联之间的相互牵制；量子世界「现场协商」，不受这份牵制。实验证明，自然界选的是后者。
Alain Aspect 团队首次高质量贝尔测试，S ≈ 2.7——越过红线 2，逼近量子极限 2.828。测量方向切换快于光速穿越两站的时间，堵住「事后串通」的口子。
Hensen、Shalm、Giustina 三个团队同时关闭局域性、检测、自由选择三大漏洞——铁案落定：违反贝尔不等式。
颁给 Aspect、Clauser、Zeilinger，「表彰他们用纠缠光子做贝尔实验、开创量子信息科学」。
会聊天的 AI 逻辑满分，为什么连「把杯子挪到左边」都做不利索？感知—决策—执行的闭环、VLA 端到端模型、Sim-to-Real 陷阱——下期拆解具身智能为什么是 AI 的「最后一公里」，以及它卡在哪一关。