我的智商逐年递增 第390节

　　张渊伸手就要去翻那个本子。

　　陈拙的手按在封面上，没动。

　　“师兄，先别急着高兴。”

　　陈拙看着张渊，眼神很坦诚。

　　“我在老图书馆坐了六天，这本子里写的东西，连个完整的数学定理都算不上。”

　　张渊的手停在半空。

　　“什么意思？”

　　“意思就是，这是一个残次品。”

　　陈拙收回手，身体往后靠了靠。

　　“它非常粗糙，里面的逻辑有断层，代数和几何转换的边界条件我还没有完全缝合，如果放到纯数学界去盲审，这本草稿会被打回来重写。”

　　张渊看着那个本子，咽了口唾沫。

　　“但方向是对的？”张渊问。

　　“应该是对的。”

　　陈拙点点头。

　　“顺着这个方向走，能绕开你那个永远填不满的算力无底洞。”

　　张渊一把抓过那个本子，翻开第一页。

　　林芳也凑过去看。

　　只看了一眼，张渊的眉头就死死地拧在了一起，林芳也愣住了。

　　本子上密密麻麻写满的，不是他们熟悉的流体力学方程，也不是去年陈拙用过的那种离散矩阵代数式。

　　上面全是一些陌生的符号，张量，群论和映射关系。

　　张渊往下翻了两页，越看越心惊，也越看越糊涂。

　　“这是什么？”

　　张渊抬起头，满脸茫然。

　　“流体的压力波呢？速度场呢？N-S方程的非线性项怎么处理的？这上面怎么一个物理量都没有？”

　　“因为这上面写的不是物理。”

　　陈拙站起身，走向房间中央的那块大白板。

　　白板上，还留着张渊他们几天前写下的长篇大论的纳维-斯托克斯方程展开式，以及各种网格划分的边界条件。

　　陈拙拿起黑板擦，没有一点犹豫，陈拙抬起手，从左上角开始，用力往下擦去。

　　板擦在白板上摩擦的声音在安静的实验室里显得有些刺耳。

　　“哎，你......”

　　张渊下意识地想阻止，那上面可是他们推导了好几天的沙盒初始条件。

　　但陈拙没有停手。

　　他动作很快，也很坚决，几下就把白板上那些关于连续流体，差分格式和网格节点的东西，擦得干干净净。

　　一整块白板，变成了一片纯粹的空白。

　　陈拙把黑板擦扔回槽里，拍了拍手上的粉笔灰，他转过身，从桌子上拿出一根崭新的粉笔。

　　“师兄。”

　　陈拙拿着粉笔，指了指那块空白的板子。

　　“我们之前的思路，是被惯性绑架了，我们总想着去模拟一阵风，去模拟那阵风撞在车头四千万个网格点上的受力情况。”

　　陈拙转过身，粉笔在白板上写下了一个代表代数簇的符号。

　　“物理意义上的路，被算力堵死了，那我们就不要物理了。”

　　粉笔在白板上快速移动。

　　陈拙开始把硬抄本上那些他们看不懂的符号，一行行搬到白板上。

　　“不要物理？”

　　林芳站在桌边，觉得自己的认知被颠覆了。

　　“我们要算的是高铁进隧道的空气动力学，不要物理怎么算？”

　　“用代数。”

　　陈拙边写边说，声音在空旷的房间里很清晰。

　　“把那个三维的，流线型的高铁车头，当成一个单纯的拓扑流形，然后，找一组多项式，去把它映射到一个代数空间里。”

　　陈拙写下了一组复杂的同调群映射公式。

　　张渊盯着白板，脑子有点转不过弯来。

　　他是国内顶尖的工科博士，对应用数学很在行，微积分，偏微分方程，甚至传统的线性代数他都玩得很转。

　　但他很少接触代数几何这种高度抽象的纯数领域。

　　看着白板上那些字母和圈圈框框组合在一起的天书，张渊觉得一阵头疼。

　　“陈拙，你等会儿。”

　　张渊忍不住打断了他，伸手揉着太阳穴。

　　“你说的这些代数簇，同调映射，我多少有点听不太懂，这玩意儿太玄乎了。”

　　张渊指着白板。

　　“我就问一个最实在的问题，你这套理论，怎么帮我们解决服务器死机的问题？怎么帮我们在九天后登上超算？”

　　陈拙停下笔。

　　他转过头，看着张渊那种焦躁又迷茫的状态，突然笑了一下。

　　“师兄，你听不懂纯数，那我们换一种语言。”

　　陈拙把粉笔拿在手里颠了两下，走到张渊面前，拉过刚才那把椅子，反跨着坐下，手臂搭在椅背上。

　　“你们平时写底层代码，遇到四千万个网格，是怎么处理的？”陈拙问。

　　“还能怎么处理，建个三维数组，把坐标点全输进去，然后写个庞大的循环嵌套，让机子一步步去迭代计算每个点的边界条件。”

　　张渊本能地回答。

　　“所以内存溢出了，对吧？”

　　“废话，四千万个节点，每次迭代都要做高阶矩阵乘法，神仙也得溢出。”

　　张渊没好气地说。

　　陈拙点点头。

　　他伸出手，指着白板上那些让张渊觉得像天书一样的代数公式。

　　“那套公式，翻译成你听得懂的C++或者Fortran代码，就一个意思。”

　　陈拙收起笑容，语气变得非常认真，甚至透出一丝冷酷。

　　“把你们代码里的那个网格划分模块，彻底删掉。”

　　实验室里瞬间安静了。

　　张渊愣在原地，嘴巴微张着，像是没听清陈拙的话。

　　林芳也呆住了。

　　“删掉？删掉网格划分模块？那拿什么建车头的模型？”

　　“多项式系数。”

　　陈拙看着他们，一字一顿地说。

　　“这套代数映射的作用，就是把那个复杂的几何车头，变成几个字母，你们不需要在代码里输入四千万个坐标点。”

　　陈拙站起身，走到白板前，用粉笔在其中一行公式下画了一条横线。

　　“在新的底层代码里，车头的表面，就是几组简单的代数多项式。”

　　他转身看向张渊。

　　“流体吹过车头，在计算机的底层逻辑里，不再是去撞击四千多万个碎片。”

　　陈拙用粉笔敲了敲黑板。

　　“而是由计算机直接去求解这几组代数方程，解方程，出结果。”

　　张渊的眼睛一点点睁大了。

　　陈拙看着他，抛出了最后一句绝杀。

　　“既然代码里连一个网格都不存在了，没有了几千万次的数据调取。”

　　陈拙微微偏了偏头，眼神锐利。