作者:一桶布丁
这是他考虑了很久的命题,也是他准备在研究生到博士生阶段解决的问题,因为他能感觉到自己对这个命题方向有着极为强烈的研究冲动。
“嗯?”
田言真跟鲁东义交换了一个眼神,依然由田言真问道:“你仔细说说。”
“好的,田导。”
“您应该知道我们现在的大数据挖掘跟人工智能命题要进一步发展其实有很多基础性数学问题亟待解决。大致可以分解为这些小问题。”
“第一,专门支持用于大数据分析的基础数学理论还未建立,现在大数据分析跟挖掘依然使用的是传统统计学跟分析方法,随着大数据越来越被重视,这些技术也越来越落后,比如超大型数据的异地迁移,超算之间的协同计算,依然是个世界性难题。”
“第二,现在还没有一个大数据基础算法,用于大数据环境的重建。”
“第三,针对人工智能涉及到两个不同分布数据间规律转移问题,也就是举一反三的学习问题。”
“第四,建立机器学习函数空间向学习理论。现阶段的机器学习主要是对样本跟数据的选择跟泛化,我们要将这一思路推广到让机器在处理具体问题时候,也能对任务进行选择跟泛化。”
“如果具体到这次的课题申请命题的话,可以选择第一个分类。支持大数据分析的基础数学理论研究。”
宁为这番话让田言真无话可说。
因为宁为说的这些已经证明了他希望能换研究方向并不是一时脑热,而是经过深思熟虑后的选择。而且的确是掐中了目前时代发展的脉络。
说白了,这个时代的人工智能依然属于弱人工智能的时代,对于大数据的处理,实际上也在最初级阶段。
即便是目前最先进的所谓深度学习技术,其每一层有多少个元素,每一个元素用什么非线性机制等等,都需要人工去事先进行预设,哪怕名动天下的阿法狗也是如此。
没有举一反三的理解能力,所有的人工智能只能依托于大数据时代极为初级数据挖掘技术,自然孕育不出真正的强人工智能。
如果宁为真能将这个选题给解决了,也的确算是开宗立派了。
相当于给未来的人工智能跟大数据计算技术研究,搭建了一个基础,定下了一个标准。
如果宁为真能在四年里针对这个问题有所建树,不说完全解决整个大命题,只要他细分出的四个小命题,能选一个完全解决,在加上他在推进ns方程解中给予的贡献,以及证明kls猜想的成就,菲尔兹奖也唾手可得。
甚至没有之前那些成就,拿个菲尔兹奖也大概率没有问题。
原因?
呵,什么叫开派宗师?就是未来整个针对这个方向的研究都需要用到他的研究理论。
菲尔兹奖如果不颁发给开派宗师,就等于直接否定了未来投入这个派系继续研究的所有数学家拿奖的可能。
因为这个方向未来所有的研究成果都是以宁为研究出的数学理论为基础的,整个领域最牛的那位数学家你不颁奖,给他的徒子徒孙颁奖,这个奖项的公信力呢?
宁为针对ns方程的研究,提出的解决办法,还能说是站在前人的肩膀上开创的。
但现阶段的确还没有专门针对大数据且被证明行之有效的基础数学理论被提出。真做出来了,那就是又开创了一个数学细分领域的先河。
只是对于田言真而言有两个问题。
第一,宁为现在突然转型换方向做研究,能不能做出来。
第二,田言真目前的研究方向跟这些完全不沾边,所以为了收这么个弟子,他也要改改未来的研究方向?
所以,办公室内安静了。
大眼瞪小眼,站在旁边的干瞪眼。
“哎……”
半晌,田言真叹了口气,问道:“宁为啊,你真对自己这么有信心?”
宁为点了点头,语气真诚:“刚才我也说了,我真的对这个方向已经略有心得。”
神特么略有心得。
听到这四个字,田言真便想吐血。
“也就是略有心得而已,为什么不挑自己擅长的?”鲁东义帮着大佬吐槽了句。
“内个,说实话哈,师兄,我觉得我对ns方程的理解,也就是略有心得而已。”宁为谦逊的答道。
没得聊了,鲁东义嗓子眼里已经集齐了一万句mmp,但他决定不说出来,他已经很久没说过脏话了,不能因为小师弟而破戒。
“那行吧,既然你略有心得,那就先给你一年时间,证明你的确是略有心得。我不要求你一年时间就完全功克这个小课题,但起码要能拿得出说得过去的成果来。如果做不到,剩下三年你就老老实实的继续去推进ns方程,如何?”田言真最终决定让一步。
即便以他的地位,也不能强令宁为去继续他已经没有兴趣的研究。
强扭的瓜毕竟不甜。
“保证完成任务!”宁为接受了田言真的提议。
一年时间足够了!
他的大脑可对这个方向反应极为强烈,足以说明这个方向很有搞头。
“行了,你们去吧!对了,材料还是要仔细检查,顺便把新的开题报告写进去。记得在八月十五号之前交给我。另外,生活上有什么困难就跟你鲁师兄说。他都能帮你解决的。”
“谢谢田导。”
“哦,对了,你还坚持要参加考研?”
“嗯,放心吧,田导。我没问题的。而且考研前,我可以长期呆在这里接受您的指导。”
“算了,我不敢指导你!去吧去吧!”
------------
142 师兄,别这样!
鲁东义算是全程见识了自己心心念念的小师弟有多能折腾。
宁为还没来的时候,总想他来;来了之后却发现这家伙,有点不像那个总在他面前吃瘪的小师弟了。竟然在导师面前都能如此刚!
但站在宁为的角度他必然要坚持自己的想法,任何理论性的突破都能给他的三月带来意想不到的能力提升,这才是他目前最重要的任务。
在余兴伟面前吹下的牛逼总要实现了才好。
更别提一年前他第一次对人工智能技术产生兴趣的时候,大脑那瞬间迸发出的知识列表,早已经成了他心头的执念。能有机会去解决这些问题,一定要据理力争。
就算四年后拿不到菲尔兹奖又如何?反正他还年轻,距离四十岁还早的很,争最年轻那个也没什么意思。
这些落入鲁东义的眼里,大概只能在心头感叹:现在的年轻人都这么早熟的吗?
不管如何,现在人都来了,肯定不可能把人往外赶了。当然,主要舍不得。
于是走出田言真的办公室,下了楼,鲁东义还是尽职尽责的开始给宁为介绍此时还在研究中心忙碌的人们。
……
燕北大学的国际数学研究中心听起来很现代化,但实际上是由七座仿古院落组成的楼群。地面部分只有两层,但却承担着教、学、研一体化的功能,同时集成了学术会议跟行政办公的功能。
鲁东义刚带着他从田导那边出来,碰到的第一个人,就让宁为感受到了这座古朴建筑内部的低调与奢华。
“许教授给您介绍一下,这就是宁为。宁为,这是许常洁教授。”
“许教授好!”
“宁为啊,你好,你好,我们可是神交已久。田导盼你这个直博生盼了很久了。”
“所以我就来了啊。”宁为笑着应道。
两句寒暄后,鲁东义开始向宁为介绍这位许常洁教授获得荣誉:“小师弟啊,许教授是普林斯顿数学博士,主要研究方向是代数几何。他还是2013年求是基金会杰出青年科学家奖和第十三届中国青年科技奖获得者;2017年拿到了未来科学大奖-数学与计算机科学奖的一百万美元奖金。”
“去年许教授又拿到了科尔代数学奖,曾经是我们学校的长江特聘教授,目前是庞加莱讲座教授。许教授主要的成就有发展了leneral type的lical pairs有界性理论,证明了shokurov关于lical thresholds的acc猜想。”
“许教授还跟黑肯教授合作,发展了正特征三维极小模型纲领,在对数典范奇点的极小模型纲领中做出了世界性的突破;跟李驰教授合作证明了我们田导和唐纳森教授共同提出的关于k-稳定性定义的等价性;和王晓玮教授合作解决了《几何不变式论》前言里关于典范极化簇渐进周稳定紧化不存在的问题。目前正在研究的是对偶复形理论。”
宁为有些头晕。
光是介绍这位教授的成就,鲁师兄就用了两分多钟。
这还是在院子里随便碰到的第一位看上去平平无奇,而且大概也就三十多岁的男人……
“哈哈,小鲁别把我吹的这么高。我跟宁为这么大的时候,可不敢跟他比成就。你先带他熟悉下环境,我去找田导商量点事情。”
“行,许教授,您去忙吧。”
……
“我去,这里随便一位教授都这么强大的?”看着许教授走进田导的办公室,宁为忍不住问了句。
“虽然许教授以前的确在这儿任职,但严格来说许教授现在已经不算咱们这里的教授了,他先去了麻省理工任职,现在在普林斯顿任职教学教授,这次回来是参加一个会议,顺带着跟田导讨论些问题。”鲁东义解释道。
“哦!原来是普林斯顿的教授啊,那他肯定认识卢卡森·弗兰德吧?”
鲁东义:“……走吧。”
“宁为,这位是刘长明教授,也是我以前的数学老师,他是p进制霍奇理论研究领域最好的世界级专家之一。”
“刘教授您好。”
“宁为啊,欢迎,欢迎,之前听说你来过一次,可惜我出去开会了,没遇到。这次来可要多在院里呆段时间,有机会我们可以多做探讨。”
“好的,刘教授。”
……
“宁为,这位是肖亮教授,目前是华夏数论跟算数几何方向最强的教授,emerton-gee stack的讨论班的组织者。我以前也经常听肖教授的课。”
“宁为同学真的来了?我之前还以为你会选择普林斯顿或者麻省理工呢,其实我们这里也不错的,你也看到了,环境很好,冬暖夏凉的,有机会多做交流啊!”
“肖教授好,以后少不得向您请教问题。”
……
“宁为这是你现在的师兄周平研,也是田导的博士,目前的研究课题是计算旗流形爱因斯坦方程组的grnbner基。”
“周师兄好,请多关照。”
“宁师弟好,说真的,别人也就算了,要不还是你多多关照我吧?”
“别看你周师兄现在挺谦虚的,他刚进院子那时候意气风发着呢,同一年的丘成桐竞赛他差两门,就满贯了。”
“行了啊,鲁教授,别在小师弟面前凡了,我现在只求能顺利博士毕业就ok了!我特么现在心里苦啊,真的比吃了黄连还苦!”周平研哭丧着脸说道。
宁为震惊了!
丘成桐竞赛好多的金牌获得者啊,堂堂北大博士啊,竟然被一个博士命题论文难为成这样?
这座院子到底是得有多社会?
然而鲁东义却是见怪不怪的样子,随口问了句:“哦?最近又碰到什么难题了?”
让宁为目瞪口呆的事发生了,鲁东义一句话,仿佛一个信号一般,立刻让周平研立刻开启了数学沟通模式:“是啊,是啊,鲁教授你看嗷,我们要定义旗流形的t-根与m^c方的复不可约ad(……)跟子模mg之间存在一一对应,但现在李代数g的c方上的复共辄映射交换子空间无法证明是唯一的。您说这难不难,我的论证又卡到这里了,怎么想都无法定义任意满足以上要求的子代数能被m上唯一一个不变副结构决定啊。”
鲁东义想了想,说道:“如果定义m上一个g的不变黎曼度量g与m上ad与ad(k)等价呢?”
周平研答道:“这个我考虑过哦,但我们得考虑g/k上的不变对称协变,这就会构成不变对称的双线性型,依然无法满足上述要求的条件,所以引理依然无法被证明。”
“哦!”鲁东义跟周平研开始互相瞪眼,似乎同时进入了悟道状态。
宁为很烦。
这是干嘛呢?
说好了带他在院子里转一圈,就去给自己安排干活的地方呢?
你们两个在这里深情相望算怎么回事?
还好,刚才这两人聊的内容他也能听懂那么一点点……
主要是之前在得知田导是他未来的导师后,专门研究了一段时间田导的论文,所以对他们交流的领域不算陌生。
“那个周师兄啊,你为什么不考虑设李代数g与李群g在单位原点的切空间直接等同,然后利用投影映射m上的g直接指向g/k,这样g与m上ad与ad(k)必然等价,从而诱导出唯一线性映射?额,那个,我也不知道对不对哈,就是突然蹦出点想法跟两位师兄探讨一下。”
两个人的目光同时看向宁为。
尤其是周平研,先是恍惚,恍惚之后眼睛越睁越大,然后突然迸发出炙热的光芒,那四射的光芒让宁为感觉有些害怕,然而还没等他有所反应,这么一个大男人竟然堂而皇之的张开双臂以迅雷不及掩耳之势直接将宁为抱进了怀里,然后两只手狠狠的在他背上拍打起来。
“小师弟,你牛逼,你太牛逼了,我困在这个问题上快一周了,我都想着再搞不定就找田导给我换课题了,没想到啊,下次师兄一定请你吃饭,吃最好的饭!到时候满汉全席随你挑!你师兄保证眉头都不皱一下!”
豪气干云的说完这番话,周师兄终于松开了宁为,然一扭头便小跑着走了,是的,直接跑没影了,留下惊魂未定的宁为跟鲁东义面面相觑。
宁为感觉自己受到了一万零一点伤害。
明明都是学数学的,怎么师兄的力气就那么大?
被这位周师兄紧紧抱住的时候,他竟然感觉像是被一个大力士牢牢禁锢,根本就没法挣脱!真的,见鬼了!难怪外面都说燕北大学数院是校内四大疯人院之首,第一天这位周师兄就生动的向他证明了传闻所言非虚。
更恶心的是,下次请吃饭又是什么鬼?还满汉全席?真有诚意难道今天不行吗?
“周师兄这是……”
“别理他,他经常这样,写论文被卡住的感觉的确能让人发疯,你应该也体验过。到是你,难道对卡勒几何也有过研究?”鲁东义很是无语的问道。