”大家开始吧，希望今天的工作能够顺利。”
2月29日，星期天。
空天母舰总装厂房控制中心，上午依旧有不少身影坐在终端前加班，并未选择去过周末休息。
徐铭看向身旁的宋振宇，沉声招呼一句，便很快进入工作状态。
眼下武器系统算法问题已成功解决，只剩下综合控制系统算法的优化，因为宋振宇当初在锦飞，就和他一同优化过，五代和六代隐身战斗机的飞控系统。
加之他在母舰上的工作基本完成，于是顺便拉过来参与算法优化。
而对此，宋振宇无比积极。
毫不夸张的讲，就算他不说的话，估计对方也会主动提出来。
“是徐总师。”
这时宋振宇没任何废话，当即点头应完声，目光投向面前的屏幕。
徐铭使用的是约束求解器框架，即将问题转化为了一组高维空间中的方程，然后查找满足所有约束的最优解。这导致需要同时优化数十万个变量，。
如果换做传统计算机来进行，那么消耗的时间将会大幅度拉长。
正因为现在有了，通用超导量子计算机，徐铭才会利用这种方法查找最优解。
就这样。
随着时间一分一秒过去，徐铭观察的同时，还不忘出声鼓励众人。
“我们处理的是高维非线性最优控制问题，维度极高求解难度大，每一步都需要重新计算，整个系统算法的状态演化。”
“所以不用太过着急。”
“依靠量子计算机的运算速度，短期内能解决。”
但就在这时，徐铭在算法调试过程中，却注意到了一个奇怪现象。
“不管初始状态如何变化，最优解参数空间，似乎总是集中在一个低维子流形附近————”
他边认真思考边轻声低喃，对这个子流形并非预先设置，而是从计算过程中自动出现的情况，顿时表示非常感兴趣。
下秒当即拿起手边的笔记本和笔，在上面写下了自己的观察。
——
“所有成功收敛的解，在参数空间中落在了一个约12维的曲面上，这意味着有效的控制自由度，远小于名义上的自由度。系统本身在以一种，尚未理解的方式选择自己的有效维度。”
接下来的时间，他把不同轨道条件下的最优解放到一起。
很快发现它们虽分布在曲面上不同位置，但却满足相同的对称性约束。
且当某些参数发生变化时，最优解的结构不变。
面对自己的观察发现，徐铭的思绪，不由得回到当初证明黎曼猜想的时候。
想到眼下这种对称性，与他在证明黎曼猜想时构建的临界线结构，具有相同的数学形式。
那是一种将高维空间的点，给映射到低维流形上的操作。
同时镜象对称中的模空间”也遵循类似结构。
“如果它们的结构具备相同的数学形式，那么l—对偶猜想所描述的对偶映射，是否也具有相同形式？”
徐铭大脑飞速运转下，整个人隐隐有种兴奋，就象是成功找到了两个断掉的线头。
甚至有可能把它们重新连接在一起。
空天母舰控制性问题的对称结构，和他之前提出来的l—对偶徐氏猜想，本质上是同一种数学操作。
把高维空间中的对象，映射到一个对称性更高的低维空间中，使得原本复杂的结构，在该空间中简化为等价类的集合。
若是他的判断没错，那便相当于是，找到了一条新的证明l—对偶猜想的方向。
原本他在之前国际数学家大会上，提出自己的首个数学猜想，是想给数学界留点有价值东西，把最终的证明交给未来数学的新鲜血液。
怎奈几年时间过去，对徐氏猜想的证明，不但没有突破性进展，反倒让数学界陷入停滞不前的状况。
不知多久没有诞生出大的成果。
特别是上次去看老师时，听张鲁平话意思，似乎想让他重新投入数学。
亲手完成对徐氏猜想的证明，刚开始他没方面打算，可眼下的意外发现，却让他有了证明此猜想的底气。
当然具体情况如何，还需要花时间去推导。
不过这会儿正值空天母舰关键时刻，他肯定不会跑去研究理论数学。
想清楚这些，他只好暂时把推导搁置，依旧把注意力投入到最优解上面。
三天后。
在量子计算机的支持下，徐铭终于查找到满足所有约束的最优解。
标志着母舰控制系统的算法问题解决。
“我们的工作完成了，这段时间大家都辛苦，先