第150章 大证明长什么样(2/9)
梁辰的笔早就停在了笔记本第三页。
他的直播间,从开播时只有几十个在线人数,悄无声息爬到了七百二。
而评论区已经完成了从逐行跟读到集体躺平的蜕变。
“第三行开始掉线,有人能解释下红笔标的损失入口是啥吗?”
“别问,问就是我连损失在哪都看不见。”
“博一报到,上周刚背完small doubling的定义,现在感觉自己像个没入门的。”
“人在现场,听不懂,但大受震撼。”
有条弹幕刷,主播能不能提醒主讲人慢一点,梁辰默默在公屏敲了一行字:“不敢,这已经是他压着节奏讲了。”
他抬头望向白板,第三层重型见证的框架已经铺出大半,江临落笔的速度稳得像台精密仪器,连每两行公式的间距都几乎分毫不差。
……
【节点38·边界可见性·第三层重型见证】
“Voss教授提出的高维边界测试,不是反例。”江临在白板中央落下红笔,说,“主证明在这里没有断,问题是承重结构在那里,但检修口不够大。”
这句话一落,很多非本方向的旁听者似懂非懂。
……
梁辰记录的笔尖猛地一顿。
上周他刚在组会上精读了Voss那篇边界测试论文,导师的结论是,至少半年内没人能把这个模型完全纳入主账目。
他下意识去看手机,直播间弹幕已经炸了,滚动速度快得看不清字,只有零星几句跳出来:“Voss 的反例?
他要当场拆?”
“这要是能圆上,我直接把课本吃了。”
……
江临写下一行,特意停顿。
“注意,这是见证,不是新的压缩步骤。
见证负责把残余谱的去向暴露出来,压缩负责支付损失。
两者不能混用。”
前排的韩砚山慢慢坐直了身体。
因为江临并非简单去讲孤立的节点。
他在把pFR主证明里最险的一根承重墙从墙体里生生抽出来,把里面的钢筋直白地暴露在所有人眼前。
……
梁辰的直播间在这里卡了足足三秒。
再刷新时,最顶的一条弹幕被赞到了最前面,Id是个认证的高校数论助理教授:“我收回半小时前说的噱头,这一下,至少省了领域内三个月的弯路。”
……
第二块白板,江临擦掉辅助推导,写下——
【marton bridge: entropy payment under probability-space switch】
“不要把它看成翻译器。”江临在两个嵌套空间之间画出连接,“它是支付系统。
局部自由度在进入全局装配时失去原始坐标,这个代价,必须被支付。”
丁剑抬起头。
本章未完,请翻下一页继续阅读.........