先备导航：你需要 081（BQP 地图）、082（优势攻防）、084（时空=码）、085（理解三层）、055（阈值）。
下一篇预告：090《毕业路线图：教材、论文与社区》——批九收官。

十个没人知道答案的问题：开放问题清单

研究机构的走廊里常有一面"便签墙"：贴满未解的问题，谁有想法就揭走一张。这面墙是领域的心跳——便签越多的领域越年轻、越有活干。

专栏讲了 88 个"知道"，收官前该郑重讲一次"不知道"。下面十张便签，按"从理论到工程"排开——每张写三行：问题白话、现状、为什么难。

墙上的十张便签

1. P 与 NP 相等吗？（081 的西边山脊）经典复杂度的千年难题——不是量子问题，却决定量子地图一半的边界。难在：需要一个全新的证明技术，全人类数学工具箱里还没有。

2. 量子机爬得动 NP 完全问题吗？（081 的最大空白）主流猜想"爬不动"，三十年无证明也无反例。难在：要证明"不存在某个巧妙算法"——证明"不会"永远比证明"会"难。

3. 量子到底强多少——无条件的证明在哪？（082 猫鼠的深层原因）没人能在不带假设的前提下严格证明"量子严格强于经典"（现有的分离都要借助理想化的问询模型）。难在：对手（经典算法）在进化，你证明的"下界"随时可能被新算法击穿。

4. 容错机器的工程时钟表。（055/069）理论上纠错没有障碍（阈值定理保底），但"几百逻辑比特"的工程时刻表纯靠猜。难在：这不是数学问题是制造问题——良率、布线、校准的墙（069）没有理论公式可解。

5. 实用区的量子优势清单。（082）"既指数加速、又真实有用"的问题至今屈指可数（因式分解与模拟）。难在：采样的教训（082）——每个新候选都要过经典模拟器这一关。

6. qLDPC 好码的工程化。（057）数学上更省的码存在，配套的互连与解码器能不能造出来？难在：码的几何是"非平面的"，需要 068 篇的模块化电梯实时跑——理论跑得通，延迟账算不平。

7. 时空真是纠错码吗？（084）玩具模型严格成立，真实宇宙零证据。难在：这个层级的猜想，可能需要新型实验（宇宙学尺度的）——或者一位新数学家。

8. 机器能到"理解"的三层楼吗？（085）层一到二层已通，层三的虚线谁也画不实。难在：我们连"意识是什么"都没有可检验的定义——问题本身还没长好。

9. 室温+高质量门的组合存在吗？（065/066 的长赌）光子与色心常温能工作，但门质量差一截；高质量门都在极冷里。难在：退相干的物理下限可能真的把"常温+好门"锁死在组合之外——也可能纯净材料能凿开一条缝。

10. 量子中继的存储跨越。（072）纠缠分发网络的最后一块拼图：量子存储从毫秒到秒。难在：存储时间与保真度的此消彼长，每一分都从物理极限里抠。

这面墙的价值论

为什么收官前要专写"不知道"？三个理由：

• 有便签墙的领域才活着——全部问题都有答案的领域叫博物馆；
• 便签是路标不是耻辱柱——每张便签背后都标着"哪几篇教你听懂它"（括号里的篇号就是地图），读完全专栏的你，已经站在这十张便签的门槛上；
• 诚实是本专栏的底色——030 篇的"证明"、082 的攻防、088 的验证，全部指向同一个姿势：分清"已知、工程可期、彻底未解"三个格子，别让任何一个格子的内容串门。

把类比拆掉

便签墙借了哪里：

• 不像之一：墙上的便签会越贴越多（新问题比解决的快）——成熟的领域便签只会减少；量子领域正在青春期。
• 不像之二：便签贴得一样平，实际难度天差地别——有的差一个聪明的工程师（4、6），有的差一个新数学（1、2、3），有的差一场物理革命（7、9）。揭便签之前先掂量自己拿的是哪种工具。

带走的行李

1. 十张便签三级跳：理论空白（1/2/3/7/8）、工程时钟（4/6/10）、清单待补（5/9）——分清"未知"的种类，比罗列未知更重要。
2. 无条件证明是最大暗线：连"量子严格强于经典"都没有无假设证明（3）——082 猫鼠游戏的深渊在此。
3. 墙的价值：便签越多领域越年轻——括号里的篇号是你的揭签地图，090 篇给你接下来的梯子。

下一站的钩子：最后一张便签写着"你自己"——读完 90 篇，怎么继续？教材怎么选、论文怎么读、社区在哪、职业的路怎么走。090《毕业路线图：教材、论文与社区》，批九收官。

#量子计算 #从硬币到纠错 #开放问题 #前沿