第343章 可解性证明 一
  关掉系统面板,徐辰將注意力重新拉回到了眼前的白板上。
  时间已经来到了八月初。
  “样本已经集齐,是时候开始『可解性证明』了。”
  徐辰深吸了一口气,眼神变得无比锐利。
  他要做的,是从这四个不同区间的成功推导中,剥离掉那些因为具体数字大小而產生的“表象”,去寻找那个在所有叠代中始终保持不变的“拓扑不变量”。
  这是一个十分痛苦、十分折磨人的过程。
  这就好比你要从四幅风格迥异的抽象画中,找出它们在构图时使用的同一根隱秘的线条。
  接下来的近半个月时间里,徐辰陷入了极度狂暴的数学实验中。
  他先是尝试了传统的同调代数,试图在范畴论的框架內寻找不变量,结果被低能区突然爆发的算术刚性瞬间摧毁;隨后,他又引入了里奇流等几何分析工具,试图平滑误差项的曲率,却在处理高斯自由场(gff)的极值时遭遇了发散的死胡同。
  最接近成功的一次,是他听从了拉福格的建议,祭出了代数几何中最深奥的“动机理论”,试图在最底层的结构中建立锚点。
  他几乎已经將前三个区间的误差项完美统一,但在面对 10^50万这个最低下限区间时,gff极值分布產生的罕见的“长尾效应”,如同狂暴的海啸,硬生生將那根刚刚建好的“动机锚点”给扯断了!
  “嘎嘣——”
  徐辰手中的马克笔因为用力过猛,笔尖重重地戳在白板上,瞬间崩断。
  断裂的墨水在白板上划出一道刺眼的黑线,如同这道被强行斩断的推导路径。
  “还是不行……”