第91章 极其实用的证明(求追读)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【物理学已提升至Lv1。】

【生物学已提升至Lv1。】

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

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

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

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

江铭顿时有些发愁。

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

无论如何,先把任务完成的奖抽了吧!

“系统,我要抽奖!”

江铭在心中默念。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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