2024 年 3 月，第 37 页上的红圈
笔记第 37 页记的是 2024 年 3 月 14 日晚上十点四十的一场小组讨论，参与者里有一位做形式化验证的同行，叫周允之。他当时把 2024 年理论框架的第三层比喻成"没有楼梯的二楼"，说这个结构能解释现象，却解释不了现象怎么爬上去。我当场没反驳，回家路上却反复想这句话。后来整篇讨论的转折都从这个比喻出发——我把"二楼"重画成三个互相约束的子模块，并给每个模块标了可证伪的条件。三个这个词看着轻，落到纸面上是整整两周的返工。
关于神马2024年最新理论进展的一些记录
凌晨一点半，我把 2024 年那本灰蓝色封皮的笔记本从书堆最底下抽出来，纸角已经卷了，第 37 页上还留着我用红笔圈出的三个问号。这篇写的就是从那三个问号开始、到今年六月才算勉强合上的一段路。
这篇记录里的十条线索
那本 2024 年 6 月印的会议论文集
2024 年 6 月，一本会议论文集寄到办公室，蓝色硬壳，目录页第 4 条就是关于神马2024年最新理论进展的综述，作者署名两位，第一位是荷兰的 Irma Vos。我把这篇综述读了三遍，第一遍划重点，第二遍查引文，第三遍专门挑它的漏洞。第三遍最有收获：它把 2024 年的进展归成"形式化收敛"和"经验校准"两条线，但漏掉了一个中间地带——那些既没有完全形式化、又不止于经验观察的工作。这个中间地带后来成了我自己笔记的主干，也是我判断别人综述是否偷懒的第一把尺子。
去年冬天在图书馆五楼的那次对话
2024 年 12 月 18 日，图书馆五楼靠窗的位置，我和做实验方向的师妹林照核对一组参数。她翻到我的第 41 页，指着一段批注问"这里你自己信吗"。我沉默了几秒，说信一半。她笑了，说那就是不信。这个对话很不客气，但我后来承认她是对的：把"信一半"写进笔记，等于把模糊当成了谨慎。那天离开前我把那一页撕下来重抄，承认其中一个假设站不住。dj私密舞曲解密版这个链接是那晚查资料时顺手存下的，与理论无关，却和"承认自己没想清楚"这件事莫名同频。
三层框架和它的 11 个约束条件
2024 年的理论进展里，被引最多的是那个三层框架：底层是观测接口，中层是推演规则，顶层是解释承诺。我在自己的版本里加了 11 个约束条件，其中第 6 条最要命——它要求中层的每一条推演都必须能被底层的一次观测单独否证。加上这一条之后，框架能容纳的案例从 40 多个掉到 17 个。掉得心疼，但我认为这是对的：能容纳一切的框架，等于什么也没说。这条约束也是我和几位同行分歧最大的地方，有人觉得它太苛刻，会扼杀理论生长的空间。
关于"经验校准"那一支的保留意见
说实话，我对 2024 年那批"经验校准"工作评价不高。它们确实产出了大量数字，样本从 300 组扩到 1200 组，图表也做得漂亮，但多数只是在旧框架里换数据集重跑一遍，没有回答"为什么是这个结构而不是另一个"。这种工作当然有位置，可如果把它当成理论进展的主体来宣传，就是在用勤奋掩盖方向的含糊。我知道这话会得罪人，但记录就该记真实的判断，而不是四平八稳的总结。
Irma Vos 那封回信
2025 年 1 月 9 日，我给 Irma Vos 写了一封长邮件，指出她综述里漏掉的中间地带。三天后她回信，开头第一句是"你抓到了我写作时最犹豫的那一段"，然后她用四段话解释了取舍：篇幅有限，中间地带案例不够整齐。她建议我把这部分单独写出来，并附了她自己 2023 年的一份未发表手稿。那份手稿里有个表格，列了 8 种结构变体，其中第 5 种和第 7 种的差别只有一处参数。这种细致到近乎固执的写法，对我影响极大。
把推导重做一遍的那个周末
2025 年 4 月的某个周末，我关掉手机，把三层框架里最关键的一段推导从头重做。第一次做到第 6 步卡住，第二次做到第 9 步发现符号写反，第三次才走通。走通的那一刻是周六晚上十一点二十，窗外在下雨，我在纸上写下"可复现"三个字，然后发现自己的手有点抖。这个过程枯燥到不值得写进任何综述，但正是它让我确信：2024 年那批工作里，真正被低估的不是结论，而是这些结论背后的推导路径——路径对了，结论才有资格被引用。
17 个案例里活下来的 9 个
加完 11 个约束条件后，17 个案例里只有 9 个能完整通过检验。被淘汰的 8 个里，有 5 个死在第 6 条上，2 个死在第 9 条，还有 1 个是因为原始数据里有一处时间标注矛盾。我把这 8 个案例逐一写进附录，标清淘汰原因，而不是悄悄删掉。删掉失败案例是最容易的偷懒，也是让理论看起来无懈可击的最快办法，我不想要那种无懈可击。附录写完之后，整篇记录反而更站得住。
那个叫"锚点表"的笨办法
从 2024 年 8 月起，我给所有重要论断建了一张"锚点表"，一共 63 行，每行记录论断、出处、可证伪条件、以及最后一次复核日期。这个办法笨，手工维护，但两年下来救了我至少三次：有两次是发现某个被反复引用的结论其实依赖一个未验证的假设，一次是发现两处引文被我自己记混了作者。工具越简单越可靠，这话听起来像老生常谈，可真做到的人不多。锚点表我至今仍每周更新一次，通常是在周日下午。
2026 年 6 月，把问号改成句号
2026 年 6 月 12 日，我把第 37 页那三个红圈问号逐一改成句号，并在页脚补了一行小字："此页结论已被后续推演部分推翻，保留原样以记教训。"改完合上笔记本，心里没有如释重负，只有一种长途跋涉之后腿还在酸、但路确实走过来了的确认感。这大概就是"值得"的意思——不是问题解决了，而是你终于知道问题长什么样，也知道自己没在敷衍它。关于神马2024年最新理论进展的记录，到这里算告一段落。
关于我
我是江晚，做理论研究与文献整理，白天在研究所里跑推演，晚上在这里写记录。这个站从 2023 年开始更新，起因很简单：我发现自己很多想法散落在不同笔记本里，丢过两次，心疼得不行，于是决定找个地方集中放着。这里写的东西大多不是结论，而是过程——推导怎么卡住的，判断怎么改变的，哪些案例被淘汰以及为什么。我写得很慢，更新也不规律，但每一篇都尽量做到出处可查、判断可辩。
若你想看我做过的一些资料型页面，可以从这几处入手：电影天堂tv永久免费版高清版免费版资源是我整理的一个索引页，电影天堂网入口记录了入口变动的情况，555电视剧免费观看网址则是早期做的一个归档。这些与理论无关，但都属于"把散落的东西整理好"这件事的一部分。
今天看到的一句话
「你以为自己在总结理论，其实理论正在检验你有没有耐心把它读完。」
—— 出自 2024 年 3 月 14 日小组讨论后我自己记在笔记本第 37 页页边的一行字，当时只是随手写下，两年后再看，竟像一句预言。