第134章 侧厅里的未竟证明（4 / 7）
江临沉默了一下。
侧厅外，人声仍然低低流动。
志愿者在报到处核对名单，参会者拖著行李箱从远处经过，日程展板前不时有人停下拍照。
这里不是一个適合谈证明的地方。
但林照野问得很直接。
江临也没有装作听不懂。
“不是比喻。”
“不是比喻，那是什么意思？”
江临说：“有限域模型那边，主证明已经闭合。”
林照野猛然抬头。
看著江临，像是在判断这句话到底是年轻人的狂妄，还是一个数学家对自己证明状態的冷静描述。
几秒钟的沉默里，外面的喧譁声忽然显得很远。
林照野缓缓问：“你说的闭合，是指你找到了一条可能路线，还是指关键引理都已经接上了？”
“关键引理接上了。”
“覆盖数呢？”
“多项式级別，没有掉回指数。”
林照野的瞳孔轻轻缩了一下。
他没有再靠在沙发背上，而是慢慢坐直。
“有限域pfr？”
“是。”
“marton那边呢？”
“通过熵形式接桥。完整版本还需要整理。”
“整理，是什么意思？”
“现在的稿子能让我自己確认逻辑闭合，但还不能让別人高效审查。”江临说，“符號系统太重，第三层损失回收那里还需要重新压缩。直接拿出来，会让审稿人先被技术细节淹没，而不是看见结构。”
林照野盯著他。
这句话反而比我证明了更重。
因为江临没有表现出任何急於宣布突破的兴奋。
他在说一件极其恐怖的事情时，仍然用的是整理证明稿的语气。
能自己確认逻辑闭合。
但还不能让別人高效审查。 ↑返回顶部↑
侧厅外，人声仍然低低流动。
志愿者在报到处核对名单，参会者拖著行李箱从远处经过，日程展板前不时有人停下拍照。
这里不是一个適合谈证明的地方。
但林照野问得很直接。
江临也没有装作听不懂。
“不是比喻。”
“不是比喻，那是什么意思？”
江临说：“有限域模型那边，主证明已经闭合。”
林照野猛然抬头。
看著江临，像是在判断这句话到底是年轻人的狂妄，还是一个数学家对自己证明状態的冷静描述。
几秒钟的沉默里，外面的喧譁声忽然显得很远。
林照野缓缓问：“你说的闭合，是指你找到了一条可能路线，还是指关键引理都已经接上了？”
“关键引理接上了。”
“覆盖数呢？”
“多项式级別，没有掉回指数。”
林照野的瞳孔轻轻缩了一下。
他没有再靠在沙发背上，而是慢慢坐直。
“有限域pfr？”
“是。”
“marton那边呢？”
“通过熵形式接桥。完整版本还需要整理。”
“整理，是什么意思？”
“现在的稿子能让我自己確认逻辑闭合，但还不能让別人高效审查。”江临说，“符號系统太重，第三层损失回收那里还需要重新压缩。直接拿出来，会让审稿人先被技术细节淹没，而不是看见结构。”
林照野盯著他。
这句话反而比我证明了更重。
因为江临没有表现出任何急於宣布突破的兴奋。
他在说一件极其恐怖的事情时，仍然用的是整理证明稿的语气。
能自己確认逻辑闭合。
但还不能让別人高效审查。 ↑返回顶部↑