第145章 学术核裂变（1 / 10）
愿你在这里，遇见真正值得阅读的故事。
⚡ 自动翻页
开启后阅读到底自动进入下一章
⚡ 开启自动翻页
读到章尾自动进入下一章，阅读更连贯。
8月6日，早晨，江临醒来时习惯伸手拿过床头柜上的手机，看了一眼时间，然后下拉通知栏。
未读邮件一封。
发件人：陶哲轩。
【第38號节点封装器】
江临坐起来，点开邮件。
【江临：我已经在一个独立分支上，提交了第38號节点“双重对合封装器”的形式化骨架。
它不会改变手稿中的证明，只是把其中的对称性与条件化结构更明確地暴露出来。这样一来，在编码第38號节点时，就不必反覆展开那个四变量后验测度。
方便时请审阅。】
邮件下方，附著一个github连结。
分支名：formalization/node38-double-involution-wrapper-tao（第38號节点：双重对合封装器）
江临看完，没有急著点开连结。
数学直觉告诉他，陶哲轩的这一步重构，必然涉及概率测度空间中繁琐的变量替换。
他先起床洗漱，喝了一杯温开水，这才坐到书桌前，打开电脑。
登录github，进入pfr形式化验证的私有仓库。
仓库页面里，一条新的pull request安静地躺在那里。