第91章 极其实用的证明（求追读）

之后的一个月，江铭又过上了甩手掌柜的生活。

整个公司的运营交给了朱宇，代码任务的分配和把关由齐昊皓全权负责。

他则是继续躲在宿舍里肝论文，时不时熬个通宵，纯靠系统出品的能量棒来补充体力。

他也不清楚自己为什么这么拼，自从接受了信息学Lv2的晋升任务之后，总是心里有种紧迫感。

好在这个能量棒似乎也没什么副作用，每次熬夜困了的时候嗑一支，又能活力满满地再奋斗仨小时。

终于在七月的中旬，江铭写完了两篇二十多页的论文，并且一股脑地发给了Nature的编辑。

自从上次发布策略梯度算法之后，江铭就和Nature主编之一的达伦·柯林斯通过邮箱联系上了。

对方还亲切地邀请江铭这位来自东方的朋友，有空一定要去日不落帝国的首都伦敦体验一下那边自由的科研氛围。

江铭的论文刚发过去不到一个小时，对方的电话就打了个过来。

电话刚一接通，对面就传来极为激动的声音：“噢我的上帝啊，我亲爱的江铭小友，你发来的论文简直太震撼了！”

江铭默不作声地把电话往远挪了挪，光听电话就能感受到达伦主编的热情仿佛要从手机里里溢出来。

而且这看论文的速度也太快了，除非是自己发过去之后立马就开始看了，他难道是给自己的邮箱账号加了特别关注吗？

“我之前以为你只会发给我那篇上了全蓝星新闻头条的围棋程序，没想到还有一个重磅成果一同发了过来，甚至比围棋还令我震撼许多！”

“你这个蛋白质结构预测，简直是要彻底改变生命科学研究界的格局了！我终于知道为什么你们华国最近在生命科学领域做了那么多大动作。”

“天啊，你半夜给我发论文，我看完之后简直是要睡不着了。我刚刚已经电话联系了信息学的那些个教授做同行评议，必须让他们和我一样睡不着！”

江铭没来得及回应，对方的声音还在如同连珠炮一般不带喘气地传过来。

“我可以和你打包票，这两篇文章必定能见刊，唯一让我纠结的是到底选你这两篇的哪篇做封面，江铭小友你来帮我选吧。”

“额...达伦主编，这个我觉得都可以，能见刊就行。”，江铭倒是无所谓，反正只要能上Nature帮他完成任务就好。

“哈哈哈我想到了！就两篇一起当封面怎么样？我找设计师好好设计一下，整个封面的左上一半是你的围棋程序，右下一半是蛋白质结构预测，这听起来就是个不错的主意。”

“你再这么投下去，我真是害怕以后自然杂志都要给你开个信息学的子刊了，叫什么Nature Artificial Intelligence之类的。”

“行了，不和你说了，就是来恭喜你一下，我得赶紧去给下属们安排任务了。”

“好滴，主编辛苦了。”，江铭乖巧地道。

挂掉电话，江铭的视野侧面立刻弹出了提示。

【恭喜持有者完成任务：通晓百家。】

【微电子工程学已提升至Lv1。】

【物理学已提升至Lv1。】

【生物学已提升至Lv1。】

【恭喜获得蓝色抽奖券一张。】

看着自己瞬间提升的三学科等级，江铭顿时喜笑颜开。

这样一来，他的全部学科又都站在了同一起跑线。

不过这也意味着自己如果信息学迟迟无法突破的话，其他的学科就会永远被卡在Lv1无法寸进。

江铭顿时有些发愁。

信息学晋升Lv2的几个任务还没一点眉目。

无论如何，先把任务完成的奖抽了吧！

“系统，我要抽奖！”

江铭在心中默念。

【恭喜抽中，精品级理论：最优控制问题无损凸优化解的等价性证明。】

几乎是一瞬间，一大段信息不断涌入他的脑海，江铭顿时眼冒金星，但坚持着把信息全部接收完成。

他好一会儿才缓过来，这才闭上眼睛，在头脑中细细查看刚刚得到的理论。

半响，他的眼睛忽地睁开，露出赫然的表情。

这个证明虽然不像证明数学界几大猜想那样足以载入史册，但它有着极其强悍的实用性！

整篇证明阐述了在最优控制问题中，通过引入额外的优化变量来重构非凸约束，使原本的非凸约束转换成凸区域，从而可以让原本的非凸问题重新表述为高维的凸问题！

而在控制系统中，控制问题的凸性是极其重要的，因为凸问题有一个非常好的性质，即局部最优解也是全局最优解。

这意味着在求解凸问题的时候，任何梯度下降或次梯度下降的方法都能保证找到全局最优！

之前江铭依靠策略梯度算法让一个控制器不断在模拟环境中试错，从而用神经网络拟合最优控制函数虽然也很可行，但是问题也很明显。

首先是模拟环境和真实环境很可能存在偏差，比如对气流风阻的模拟受到现有技术的制约，和真实情况相差甚远。

这也是为什么无论是设计飞行器还是建筑，都需要进行一步风洞测试，来真的在现实环境中评估稳定性。

其次是神经网络拟合的方法同样会陷入局部最优，因为问题本身是非凸问题，智能体很容易因为路径依赖性陷入局部最优。

这就像是做题，虽然做难的题做对了分数更高，但是由于错的概率更大，智能体很容易就陷在不断刷简答题的次优策略里。

而这个证明却给最优控制问题提供了全新的思路，它定义了一个“正则系统”，只需要通过构造Hamilton函数并利用庞特里亚金最大化原理，即可确保Hamilton函数在松弛可行控制集的投影极点处最大化来建立无损凸化。

江铭的拳头攥紧又放松，激动得脸色通红。

他如今在数学和控制学的知识足够充足，轻易便理解了这个理论证明的深远影响。

有了这个证明，别说什么自适应巡航了，无论是飞机还是火箭，仅仅依靠数学就能计算出一套控制函数，让它以任意的姿态飞行。

这简直是无数航天动力学与控制科学的研究员所梦寐以求的理论！

如果再参加一次综艺，江铭能靠这个理论秒杀任何选手，就是彭城教授亲自来都得甘拜下风。