苏老又敲了一下初阳,敲的比上一次更重了。
这一次初阳是真的吃痛,没忍住叫了出来。
“嗷!老师!再敲就给我敲傻了。”
苏老语重心长的说道:“你可不是只证明了四色猜想那么简单。”
“你是凭借着有限的知识,甚至可以说全部是基础知识证明的四色猜想。你在证明过程中甚至自己推导出很多前人已经推导出来的定理来供自己使用。”
“你有这样的天赋,未来甚至有可能开辟出一个新的数学领域。”
“有能力者的谦虚反而是对无能力者的轻蔑。这句话你记住了。”
面对苏老的教诲,初阳也收起了嬉皮笑脸,恭恭敬敬道:“弟子受教。”
苏老把笔放到了桌子上,无奈道:“秦命这家伙,当时说好让你跟着我先学习,不到半年就把我这个老头子忽悠进天工计划,这又过了半年,直接彻底把你拉进来了。”
初阳摸了摸头,嘿嘿笑道:“其实这个任务,还是我找秦命哥要的。”
“前几天我们几个在闲聊的时候,先是聊的脑机接口的后续研发,我们准备简单的构造一个虚拟世界,让恒之叔叔在虚拟世界得到二次生命。”
“但一个世界的再怎么简单,也不是说弄就能弄的,毕竟要保障那个世界自主正常运行。”
“而且这个虚拟世界还有其他用处,我们要确保其符合现实的物理学规律,到时候甚至可以在里面进行军事模拟,或者社会学模拟实验。”
“我很自然的想到用人工智能主脑去控制整个世界。”
“不过那个任务主要是落在史密斯和行之哥的头上,毕竟我物理学的不是太好。”
“但随后就在想,既然能用人工智能去控制虚拟世界,那为什么不能用人工智能来控制现实世界呢?”
“后来我才知道,秦命早就在布局了。夏国各地都建造有量子计算机,未来量子芯片普及之后,还要和量子计算机联通。”
“到时候用人工智能系统来控制社会,通过智能决策系统来提高治理效率,解决社会问题和危机。”
“构建智能城市,包括自动驾驶汽车、智能交通信号和城市规划,以减少交通拥堵、提高安全性,并降低交通排放。”
“人工智能调控每一辆车,在便利的人们的同时又能保证城市不会拥挤,而且统筹规划所有车辆的路线,能够为每一个人挑选出最佳路线。”
“还有医疗方面,城市安全方面,甚至是数字化政府,人工智能不会犯错,可以在每件事上找到最优解。”
“到时候完全可以把整个人类文明彻底凝聚起来,前景无限好啊!”
“然后我就脑子一热,找秦命哥要这个任务,主要是我脑子里也确实是有想法,而且灵感和主意一个接一个的,根本止不住。”
听着初阳描绘的蓝图,虽然很吸引人,但苏老却表情严肃。
“你把这件事想的太简单了,什么东西一旦涉及到社会都会变得非常复杂,最后事情的走向可能不会像你幻想的一样。”
初阳随意的说道:“我知道很复杂。但我只是我负责进行研究而已。最后真正投入使用中,中枢会插手。”
听到中枢入场,苏老的表情才缓和下来,不过还是教训道:“下次用词注意一点。不要用控制这个词,听起来会让人误会的,虽然我理解了你的意思,但你要说给其他人,可能会把人吓一跳。”
初阳略有不好意思的说道:“我语文也不太好。”
苏老摆了摆手,“行了行了,既然任务都已经到你头上了,那就想办法把它做好吧。这可不是一项简单的事。”
初阳点头道:
“嗯,我知道不简单。而且工作量庞大,我一个人精力有限。”
“虽然秦命哥允许我调动天工计划所有可调动的资源,但天工计划的数学专家比较少。”
初阳话说到这里,苏老瞬间就明白了,指着自己这个宝贝徒弟笑骂道:“你这个小家伙。这就打上你师兄师姐们的主意了。”
初阳殷勤笑道:“谁让我有个好老师呢。一般人谁敢打这个主意?”
苏老摆摆手,道:“说吧,你想要哪些方面的?你的那些师兄师姐都是主攻一项的。”
初阳迅速打开电脑,调出来了一份文档,然后对着文档念道:
“线性代数,微积分,概率与统计,信息论,优化理论,图论,复杂性理论,线性规划和凸优化,离散数学,代数学,差分方程与微分方程。”
苏老表情顿时僵住了,“你这……基本上把各个领域都要了遍啊!”
初阳没有说话,只是把电脑屏幕转了一个面,面向苏老。
苏老看着屏幕上的表格,发现上面甚至已经有了一个大概的规划,每一个领域的任务都安排好了。
线性代数任务:如何高效地计算大型矩阵的特征值和特征向量,以在降维和图像处理中应用。
如何处理奇异值分解,以进行数据压缩和降维,尤其是在大规模数据上。
微积分任务:如何缓解深度神经网络训练中的梯度消失和爆炸问题,以确保模型的可训练性和性能。
如何有效地计算高阶导数,以在优化算法和正则化中提高模型的性能。
概率与统计任务:如何进行高效的贝叶斯网络推理,以处理不确定性建模和决策问题。
如何理解深度学习模型的统计性质,以更好地控制模型的行为和泛化性能。
……
代数结构在深度学习中的应用: 如何充分利用代数结构,如群和环,来设计更强大的深度学习模型。
差分方程和微分方程: 如何建模时空数据,以分析和预测动态系统的行为,如气象模拟和交通流量预测。
苏老看完之后把屏幕转向了初阳,不敢置信的问道:“这是你一个人规划的?”
初阳很自然的点了点头,“当然了。这只是一个初期规划,比较笼统,还没来得及再往下细分。”
“比如QR算法、幂法、拉普拉斯矩阵的特征值计算。梯度裁剪、门控循环单元、长短时记忆网络。分布式SVD、随机化SVD等。”
“还有变分推断、期望最大化算法、马尔可夫链蒙特卡洛,中心极限定理、正则化方法,以及Bootstrap方法。”
“还有……”
初阳还想接着往下说,却被苏老伸手打断。
“停停停。我问你,你是多久开始规划的?”
初阳简单的回忆了一下,说道:“三天前吧。时间确实有点短了。”
苏老一脸的难以置信。
“三天时间!你就能拿出这么细致的研究思路!”
初阳笑了笑说道:“主要是灵感和思路来了挡也挡不住。”
苏老轻叹一口气,说道:“行了,老头子,我这么多年学生也教了不少,给你找点人还是没问题的。天工计划对你的师兄师姐们来说也是一个难得的机会”
“哦对了,这个项目叫什么名字?总得有个代号吧。”
初阳又调出来一份文档,说道:“秦命哥让我自己命名,我决定叫河图洛书,简称河洛。”
“河出图,洛出书,圣人则之。”
“不谈科学,根据传说来看,河图洛书包含了世界上所有信息,很符合我们这个项目。”
“老师你觉得怎么样?”
听了这个名字,苏老非常中肯的点评道:“你的立意很不错,但你的文学水平确实有待提高。”
“不过这个项目是由你来负责的,就以你的决定为准吧。”
第333章 NP问题
听了苏老的点评,初阳好奇的问道:“怎么了吗?”
苏老摆了摆手,“没什么,挺好的,就叫这个名字吧。”
初阳也不想在这个世界上过多纠结,直接说道:“那就麻烦老师了。如果不是天工计划现在的确有点缺人,尤其是缺顶尖人才,我也不会想去打扰师兄师姐们的研究。”
说这话的时候,初阳的表情有点不太自然。
苏老一个活了大半辈子的老狐狸了,初阳话里的意思他当然听明白了。
“你放心。我教了半辈子的书了,手底下还是有几个得意弟子的,引进来的肯定都是该领域的顶级人才。”
“你这孩子以后别话里藏话的。你现在还没到和人勾心斗角的时候,有什么话大大方方说出了就行了。”
初阳不说话,只是摸着头嘿嘿的笑。
苏老刚准备接着教训初阳,但他的目光敏锐的看到了初阳桌子上放着的一张纸,出于对数字的敏感,他把一张A4纸摸了出来。
简单的看了一下之后,苏老抬头问道:“你在研究P与NP?”
“对啊。”初阳坦然道:“如果要想研究真正的人工智能,P问题和NP问题显然是绕不过去的一个点。”
P问题是指那些可以在多项式时间内解决的问题。
也就是说,如果一个问题属于P类,那么存在一个有效算法,可以在合理的时间内给出问题的答案。
例如,查找一个数组中的特定元素就是一个P问题,因为可以使用线性搜索在多项式时间内解决。
NP问题是指那些可以在多项式时间内验证给定解的问题。
如果一个问题的解可以在多项式时间内验证,那么它被认为是一个NP问题。
但并不一定意味着可以在多项式时间内找到问题的解,这是一个尚未解决的问题,即P与NP问题。
当苏老将纸放在桌子上,他深思熟虑地说:“P问题和NP问题我也曾研究过。从根本上来说,它们只是数学问题。”
他继续说:“有人将其称为千禧年七大难题中最难的一个,因为它们太过抽象,甚至连问题本身都难以理解。”
他的手指轻轻拨弄着那张纸,仿佛在思考着数学符号的奥秘。
然后,苏老深吸一口气,又说:“你真的准备好研究这个问题了吗?”
初阳坚定地点了点头:“我当然明白。但这是我们无法回避的挑战。”
“只有当我们真正解决了NP问题,人工智能系统在解决各种问题时,才能快速找到最优解,将人工智能的效率推向极限。”
“您可能不知道,当时秦命哥的研究可控核聚变的时候,已经解决了NS方程的存在和光滑性问题。”
这时,房间里陷入了寂静,只有那有节奏的呼吸声,仿佛时间在等待着一场精彩的数学表演。
苏老愣了好久,终于吐出一句话:“千禧年七大难题之一的NS方程的存在性和光滑性问题,竟然已经解决了?怎么一点动静都没有啊?”
初阳摊了摊手,“因为秦命哥还用到了另一个方程,好像是被称为金乌方程。”
“我也是前几天才知道,秦命哥准备把NS方程存在性和光滑性的证明过程写成论文发到下一期的《天机》上,不过金乌方程不会发出来。”
“您想要证明过程的话,要不要我和秦命哥说一下?”
苏老从震惊中回过神来,摇头道:“不用了,我自己找他要就行了。”
“不过他就这么把NS方程的证明过程发出来,不会有什么事吗?”
初阳看着自己的老师,眼神有点复杂。
“老师,NS方程的存在性和光滑性问题,只是一个数学问题啊!根本涉及不到什么研究成果。”
苏老这才意识到自己问了一个很蠢的问题,主要是他的确被这接二连三的事情给震惊到了。
自己的宝贝徒弟去研究P与NP问题,如果证明成功,那又是一个不亚于四色猜想的研究成果。
甚至说远超四色猜想的意义,无论他最后是证伪还是证真,对于整个数学界,乃至整个计算机界而言,都是一场大地震。
而且同为千禧七大难题之一的NS方程居然被悄无声息的证明了,这给人的震惊感不亚于国足突然宣布进入世界杯。