第91章 极其实用的证明(求追读)
- 从信息学霸到神级科学家
- 四爷的狗
- 2087字
- 2024-11-05 12:05:11
之后的一个月,江铭又过上了甩手掌柜的生活。
整个公司的运营交给了朱宇,代码任务的分配和把关由齐昊皓全权负责。
他则是继续躲在宿舍里肝论文,时不时熬个通宵,纯靠系统出品的能量棒来补充体力。
他也不清楚自己为什么这么拼,自从接受了信息学Lv2的晋升任务之后,总是心里有种紧迫感。
好在这个能量棒似乎也没什么副作用,每次熬夜困了的时候嗑一支,又能活力满满地再奋斗仨小时。
终于在七月的中旬,江铭写完了两篇二十多页的论文,并且一股脑地发给了Nature的编辑。
自从上次发布策略梯度算法之后,江铭就和Nature主编之一的达伦·柯林斯通过邮箱联系上了。
对方还亲切地邀请江铭这位来自东方的朋友,有空一定要去日不落帝国的首都伦敦体验一下那边自由的科研氛围。
江铭的论文刚发过去不到一个小时,对方的电话就打了个过来。
电话刚一接通,对面就传来极为激动的声音:“噢我的上帝啊,我亲爱的江铭小友,你发来的论文简直太震撼了!”
江铭默不作声地把电话往远挪了挪,光听电话就能感受到达伦主编的热情仿佛要从手机里里溢出来。
而且这看论文的速度也太快了,除非是自己发过去之后立马就开始看了,他难道是给自己的邮箱账号加了特别关注吗?
“我之前以为你只会发给我那篇上了全蓝星新闻头条的围棋程序,没想到还有一个重磅成果一同发了过来,甚至比围棋还令我震撼许多!”
“你这个蛋白质结构预测,简直是要彻底改变生命科学研究界的格局了!我终于知道为什么你们华国最近在生命科学领域做了那么多大动作。”
“天啊,你半夜给我发论文,我看完之后简直是要睡不着了。我刚刚已经电话联系了信息学的那些个教授做同行评议,必须让他们和我一样睡不着!”
江铭没来得及回应,对方的声音还在如同连珠炮一般不带喘气地传过来。
“我可以和你打包票,这两篇文章必定能见刊,唯一让我纠结的是到底选你这两篇的哪篇做封面,江铭小友你来帮我选吧。”
“额...达伦主编,这个我觉得都可以,能见刊就行。”,江铭倒是无所谓,反正只要能上Nature帮他完成任务就好。
“哈哈哈我想到了!就两篇一起当封面怎么样?我找设计师好好设计一下,整个封面的左上一半是你的围棋程序,右下一半是蛋白质结构预测,这听起来就是个不错的主意。”
“你再这么投下去,我真是害怕以后自然杂志都要给你开个信息学的子刊了,叫什么Nature Artificial Intelligence之类的。”
“行了,不和你说了,就是来恭喜你一下,我得赶紧去给下属们安排任务了。”
“好滴,主编辛苦了。”,江铭乖巧地道。
挂掉电话,江铭的视野侧面立刻弹出了提示。
【恭喜持有者完成任务:通晓百家。】
【微电子工程学已提升至Lv1。】
【物理学已提升至Lv1。】
【生物学已提升至Lv1。】
【恭喜获得蓝色抽奖券一张。】
看着自己瞬间提升的三学科等级,江铭顿时喜笑颜开。
这样一来,他的全部学科又都站在了同一起跑线。
不过这也意味着自己如果信息学迟迟无法突破的话,其他的学科就会永远被卡在Lv1无法寸进。
江铭顿时有些发愁。
信息学晋升Lv2的几个任务还没一点眉目。
无论如何,先把任务完成的奖抽了吧!
“系统,我要抽奖!”
江铭在心中默念。
【恭喜抽中,精品级理论:最优控制问题无损凸优化解的等价性证明。】
几乎是一瞬间,一大段信息不断涌入他的脑海,江铭顿时眼冒金星,但坚持着把信息全部接收完成。
他好一会儿才缓过来,这才闭上眼睛,在头脑中细细查看刚刚得到的理论。
半响,他的眼睛忽地睁开,露出赫然的表情。
这个证明虽然不像证明数学界几大猜想那样足以载入史册,但它有着极其强悍的实用性!
整篇证明阐述了在最优控制问题中,通过引入额外的优化变量来重构非凸约束,使原本的非凸约束转换成凸区域,从而可以让原本的非凸问题重新表述为高维的凸问题!
而在控制系统中,控制问题的凸性是极其重要的,因为凸问题有一个非常好的性质,即局部最优解也是全局最优解。
这意味着在求解凸问题的时候,任何梯度下降或次梯度下降的方法都能保证找到全局最优!
之前江铭依靠策略梯度算法让一个控制器不断在模拟环境中试错,从而用神经网络拟合最优控制函数虽然也很可行,但是问题也很明显。
首先是模拟环境和真实环境很可能存在偏差,比如对气流风阻的模拟受到现有技术的制约,和真实情况相差甚远。
这也是为什么无论是设计飞行器还是建筑,都需要进行一步风洞测试,来真的在现实环境中评估稳定性。
其次是神经网络拟合的方法同样会陷入局部最优,因为问题本身是非凸问题,智能体很容易因为路径依赖性陷入局部最优。
这就像是做题,虽然做难的题做对了分数更高,但是由于错的概率更大,智能体很容易就陷在不断刷简答题的次优策略里。
而这个证明却给最优控制问题提供了全新的思路,它定义了一个“正则系统”,只需要通过构造Hamilton函数并利用庞特里亚金最大化原理,即可确保Hamilton函数在松弛可行控制集的投影极点处最大化来建立无损凸化。
江铭的拳头攥紧又放松,激动得脸色通红。
他如今在数学和控制学的知识足够充足,轻易便理解了这个理论证明的深远影响。
有了这个证明,别说什么自适应巡航了,无论是飞机还是火箭,仅仅依靠数学就能计算出一套控制函数,让它以任意的姿态飞行。
这简直是无数航天动力学与控制科学的研究员所梦寐以求的理论!
如果再参加一次综艺,江铭能靠这个理论秒杀任何选手,就是彭城教授亲自来都得甘拜下风。