+
-
成熟大叔
温柔淑女
甜美少女
清亮青叔
呆萌萝莉
靓丽御姐
决定尝试证明丘诚桐猜想,徐源接下来几天都没有在交流活动中露面,基本吃完饭便来到丘诚桐办公室研究微分几何代数几何多复变函数等数学分支。
丘诚桐也确实希望徐源能弥补这个遗憾,将自己这些年相关的研究悉数传授。
平时徐源遇到复杂棘手的难题,同样会耐心讲解。
俨然将之当成了自己的学生。
而他越是和徐源接触下来,越能感受到徐源在数学上的恐怖天赋。
每次他只需要稍加指导点拨,徐源便能融会贯通甚至举一反三,这种数学天赋可以说连他都感到羡慕。
不过这也恰恰证明,他的决定并没有错。
只要徐源坚持研究下去,或许真能为卡拉比猜想画上圆满的句号。
转眼来到周末。
为期一周的交流活动接近尾声。
2005年4月17日,周日,香江中文大学数学科学研究所。
办公室内徐源坐在侧边桌子旁,面前堆着的满是资料和写满数学公式的手稿,不过此刻他的神情却显得凝重微微皱着眉头。
良久他从深度学习状态中脱离出来,在面板消散前又看了眼进度条缓缓吁了口气。
——
任务:丘诚桐猜想证明
学科:数学
进度:30%
结果:未完成
“果然不愧是困扰了丘教授几十年的问题,想证明这个猜想不容易啊。”
这几天时间他疯狂吸收着各种相关知识,掌握了很多数学分支的方法,但都无法证明第一陈类为正时的丘诚桐猜想。
根据以往解决数学难题的经验判断,必须要对多种方法创新才行。
不过如果丘诚桐知道短短几天便把猜想证明推进到百分之三十的进度,那肯定会感到非常不可思议,尽管这主要还是依靠他的研究成果。
毕竟距离他解决第一陈类为负为零的卡拉比猜想已经过去三十年。
正当徐源想着这些时,只见丘诚桐推门从外面进来主动和他打招呼。
“今天有什么收获吗?”
徐源闻言连忙站起身把头扭过去,脸上有些尴尬的回答。
“暂时没有突破性的进展,想把微分几何和代数几何以及多复变函数等数学分支方法结合用于证明,难度远比我想象的难。”
“慢慢来。”
“想解决数学难题哪有一口吃成胖子吧,有时候研究几年都正常。”
“不急。”
丘诚桐摆手安抚着徐源。
这些天徐源的表现已经大幅度超过他的预期,对于自己这个学生他非常看好。
随即走到自己办公桌旁坐下时,他又想到了什么开口抛出一句。
“明天你们是不是就要回去了?”
“是的丘教授,我们廖主任已经安排好行程。”徐源面对询问如实回答。
从心里来说丘诚桐肯定不希望徐源离开,但徐源毕竟不是中文大学数学系的学生,总不能强行把人留下来不放人回去。
于是叹了口气然后嘱咐道:“你把这些资料手稿书籍也都带回去,有疑问可以随时给我发邮件。”
“丘教授放心,我不会放弃证明这个猜想的。”徐源点点头保证。
接下来两人又针对数学方法进行讨论,不知不觉间时间便悄然过去。
第二天。
中文大学这边特意举行欢送仪式。
在一片欢送声中,徐源等人乘车前往机场,准备返回箐华大学。
此刻车内能看到大家也都挂着喜悦笑容,显然是此行收获都不小。
虽说首场丘诚桐的讲座难度高些,但后面都属于正常水平确实学到了很多东西。
尤其张俊东更是确定了自己毕业论文选题。
眼下他可以说是信心满满,巴不得立刻回到学校开始撰写。
“这次交流确实没白来,让我有种豁然开朗的感觉直接就确定了毕业论文,现在对论文我可谓是信心满满。”
“那就先提前祝贺学长完成毕业论文。”刘洋听着旁边张俊东的话不忘附和。
长达一周的时间相处下来,两人之间的关系也变得更加熟络。
因为徐源每天都不参加交流活动,刘洋便都和张俊东结伴听讲座互相交流。
张俊东听到这话心里感到高兴的同时,目光也不忘向坐在前面的徐源看去。
“这次收获最多的应该还是徐神,毕竟那可是丘教授每天亲自授课,哪怕博士都没有这种顶格待遇。”
“好像丘教授是想让源哥证明丘诚桐猜想。”刘洋想到什么回了句。
徐源没有参加后面几天的交流活动,大家自然会好奇询问相关情况,因此丘诚桐猜想这件事也不是秘密。
不过在刘洋说完这句话后,便和旁边的张俊东一起陷入沉默。
丘诚桐猜想自然不是他们能接触的,但作为提出者的丘诚桐教授几十年都没证明,单想想便清楚其中的难度会有多高。
心里难免为徐源捏了把汗,想证明着实不容易。
而对于刘洋张俊东他们两人的谈话,徐源坐在前排自然全部听进耳中。
他自然也清楚此问题的难度,不管怎么说都属于卡拉比猜想。
之前他解决无穷多個卡迈克尔数间隔问题,和蒙日安培方程解的整体光滑性,这些都只涉及数论和偏微分方程数学分支,从某种程度上来说并不算太过复杂。
但丘诚桐猜想完全不同。
丘诚桐教授把第一陈类为正的卡拉比猜想,转化为代数几何的稳定性问题。
这里面便涉及到了代数几何微分几何,以及多复变函数和度量几何等多个数学分支。
单单把这些数学分支方法结合,都是相当大的难度挑战。
更不要说再进行创新。
况且此猜想还涉及高维空间的弦理论,更是理论物理学家推演的问题。
眼下却要靠数学计算,确实不易。
否则以丘诚桐证明第一陈类为负为零的卡拉比猜想基础早就能解决所谓代数几何稳定性问题。
凭借这些年丘诚桐教授的研究成果,才让证明进度推进到百分之三十。
并且后面都没有任何增长。
相比较前两个解决的数学难题,复杂性直线上涨。
徐源清楚这些接受这些,却并未被打击到自信心产生放弃的念头。
反正他现在还很年轻且有天赋,大不了慢慢研究尝试证明。
他相信总有将其解决的时候。
说不定哪天灵感爆发,甚至在很短时间内便能解决掉这个问题。
……
路上行程非常顺利,天不黑徐源等人便安全返回到箐华大学。
而徐源和刘洋刚到寝室,正打算和李振亚王海涛他们分享这几天的事,徐源却突然接到了唐时宏的电话让他去办公室一趟。
想着可能是和这次交流活动有关,他倒也没有过多耽搁时间。
和大家说了句便匆匆往教授办公室赶。
很快轻车熟路来到房门前,抬手才敲了两下便听见里面传来熟悉声音。
“请进。”
徐源推门进去便问道:“导师让我过来是有事吗?”
“没什么大事。”
“先坐吧。”
唐时宏看到徐源过来,连忙招呼其坐下。
然后才询问起此次交流的成果。
“跟着丘教授学习了几天,收获怎么样?”
“收获很大。”
徐源闻言如实回应:“尤其是掌握了很多个数学分支的方法。”
“不虚此行就好。”唐时宏点点头。
话音刚落接着又抛出一个新的问题:“对解决丘诚桐猜想你有多大把握?”
对于唐时宏也知道这件事,徐源并不觉得意外。
稍微顿了下组织好语言,这才开口缓缓讲起关于丘诚桐猜想的事。
“代数几何的稳定性问题涉及的数学分支较多,想彻底解决确实不太容易,不过丘教授跟我讲解了他的研究经验和一些思路,所以我想要试一试。”
“这样的话你自己看着来就好,不过倒也不用给自己太大压力。”
唐时宏听完这番话稍微嘱咐了句,倒没有像之前毕业论文那样提出反对意见。
自从徐源在毕业论文中证明蒙日安培方程解的光滑性问题展露自身天赋,唐时宏心里便对徐源多了一份莫名的信任。
哪怕知道丘诚桐猜想的难度,依旧愿意相信徐源能够完成证明。
下秒唐时宏又想到什么开口说:“另外杨老也很看好你解决丘诚桐猜想。”
“杨老也知道了?”徐源略显惊讶。
没想到自己才刚从香江那边回来,感觉全校人好像都知道他要挑战丘诚桐猜想了。
以前他证明卡迈克尔数和蒙日安培方程相关问题的时候别人都不知道,论文发出后才引起学界的关注被授予数学王子的美誉。
如今那么多人知道他正在研究丘诚桐猜想,这要是证明不出来可就丢面子了。
而对此唐时宏也没卖关子,随即便把详细情况全部告知了徐源。
听完后徐源则是哭笑不得,不知道该说什么好。
原来杨老一直有意邀请丘诚桐加入箐华,成为箐华高等研究院永久成员,负责数学科学院的相关工作。
不过这件事暂时没有促成。
此次他尝试证明丘诚桐猜想,如果真能成功的话便可以说服丘诚桐加入箐华。
因此杨老对他也很看好。
弄清楚前因后果,徐源也能感受到自己身上的压力又多了很多。
眼下看来那是说什么都要完成证明了。
“放心吧导师,我会尽自己最大努力去研究的。”
最终徐源站起身表明态度,丢下这句话后便也不再过多逗留,随即便拉开办公室房门迈步离开。
唐时宏则望着徐源,直到其背影彻底从视野中消失才收回目光。
良久摇头叹了口气。
“有这种自信对他来说也不知道是好事还是坏事。”
徐源身上时刻拥有的自信是他最满意的,甚至都还非常羡慕。
但在这种自信下,若始终证明不出丘诚桐猜想,则说不定会出现反效果。
整个人的自信心被打击到。
要知道徐源凭借自身的数学天赋,接触数学以来还从未受过什么挫折。
不过现在局面已经没法改变,那也只能希望于徐源可以完成证明。
——
时间如同白驹过隙转瞬即逝。
很快来到六月底。
徐源从香江回来到现在已经过去两个月,期间他的时间也都安排的很满。
除了继续学习新的知识上课,余下时间便泡在讨论室研究丘诚桐猜想,期间他也没少和丘诚桐教授发邮件请教存在疑问的地方。
可惜两个月的时间进度条愣是没有任何增长。
依旧保持在百分之三十。
他虽然尝试了不少创新方法,但每次代入演算进度条都会出现下降。
说明他的这些方法存在错误,或者无法用来证明丘诚桐猜想。
而这倒是帮他节省了很多时间。
可以不断进行试错。
因为如果是正常情况下,想要判断提出的方法能否对结果有效,还需代入演算并进行验证才行。
这整个流程进行下来,不知道浪费了多少时间。
好在陈雨然时不时会过来陪着他一起学习,并在合适的时机进行鼓励,所以尽管进度没有增长他的斗志却越来越激昂。
暗自和这个猜想较上了劲,说什么都要将其给彻底解决掉。
为卡拉比猜想画上这个来自三十年后的句号。
这天上午数学科学院讨论室内,徐源拿起桌子上的草稿纸微微皱着眉头。
“果然还是不行吗?”
自顾自低喃一句,随即揉了揉扔进垃圾桶里。
他尝试用偏微分方程的方式求解,奈何面板上的进度条依旧出现了大幅度下降。
说明此方法是错误的。
到现在他可以确定想借助偏微分方程,是无法解决第一陈类为正的卡拉比猜想,还是要从微分几何多复变函数上找思路。
本来他是觉得既然丘诚桐教授能通过几何中的曲率概念求解偏微分方程,从而证明第一陈类为负为零这两种卡拉比猜想情况,那或许也可以用此方法解决第一陈类为正时的卡拉比猜想情况。
无非进行适当的创新,或者在原有基础上优化。
不过他连续多次尝试都得到了错误的结果,说明此方法在第一陈类为正时行不通。
怪不得当初丘诚桐教授仅解决了第一陈类为负为零时的两种情况。
或许是连续两个月每天都在研究此猜想,徐源明显能感觉到自己思维开始有些僵化。
很难在碰撞出巧妙的灵感思路。
想着应该找点其他东西研究下换换脑子,说不定能起到事半功倍的效果。
他记得自己先前证明蒙日安培方程相关问题,正是被齐同祥教授邀请去科大担任评委讲课,这才诞生出新的思路让进度条大幅度增长。
徐源想到这些,暗自思索之际嘴里也忍不住嘀咕。
“难道还要举行公开课,在课上讲丘诚桐猜想,怕是没多少人感兴趣吧。”
这时正当他犹豫着要不要向院里申请时,口袋里突然响起的手机铃声将他思路打断。
随手掏出手机朝那快小屏幕看去,顿时便看到唐教授的名字出现在上面。
见此虽然不知道唐教授有什么事情,他也不敢耽搁连忙按下接听键。
刚把手机放到耳边,便听见一道熟悉声音从手机听筒中传出来。
“徐源你现在空闲吗?”
“我没什么事。”徐源毫不犹豫回答。
唐时宏:“那到我这里来一下,有件事和你说。”
“好的导师。”
徐源自然没想太多,应了声挂断电话便动身前往唐时宏办公室所在的综合实验楼。
……
刚进唐教授的办公室,他发现不止是唐教授在,旁边沙发上还坐着计院的姚启智教授。
脑海里不由得冒出一个念头。
“难道唐教授电话里说的事情,是和计院有关。”
他虽然没有听过姚启智教授的课,但对这位大佬却丝毫不陌生。
对方去年受杨老邀请放弃海外的工作,正式加入箐华高等研究院担任全职教授,负责计算机专业班的授课和相关项目研究。
并且对方还是唯一获得图灵奖的华人学者,在国际上享有较高权威。
“还站在门口做什么,快进来坐。”唐时宏看着站在门口的徐源,停下手上动作笑着问:“最近关于丘诚桐猜想研究的怎么样了?”
“暂时还没什么头绪……”
徐源笑着回答了唐时宏的问题,并礼貌性和姚启智教授打了声招呼,这才乖巧坐到沙发上面。
姚启智笑呵呵的问:“敢去证明这种数学难题,单是勇气就可嘉。”
徐源谦虚了句:“我也就是想试试。”
他这句话可一点没说错,别管是什么难度的数学猜想总要去尝试证明。
否则如何知道自己不行。
就算失败了,对于数学家那也不叫事。
“导师您突然找我过来是有什么要紧的事吗?”徐源及时岔开话题。
闻言唐时宏并没有直接把事情说出来,反倒是先抛出了一个问题。
“今年暑假你有什么打算?”
“暑假我准备留校。”徐源想了想说:“丘诚桐猜想还需要时间研究。”
暑假过后他便是正式的理学博士在读生,除了眼下手上的丘诚桐猜想问题,还有其他学业上的事情需要想办法处理。
相比较回家研究,无疑还是待在学校里面更方便。
关于这件事他也已经给家里打了电话,父母都表示非常支持。
另外姐姐徐莹开学后便是大四,也面临着实习和找工作的问题。
不过这件事他联系了省城庐阳一中的张玉辉,准备以后让姐姐去省高中当老师。
起码方便稳定。
而正当徐源想着这些时,唐时宏和旁边的姚启智两人脸上也都浮现出笑容,似乎对这个答案感到很满意。
接着便又继续往下讲具体的情况。
“这次其实不是我找伱。”唐时宏摇摇头说:“姚教授那最近在研究机器学习,你证明的最优传输理论蒙日安培方程刚好能在算法上发挥作用,所以姚教授想邀请你暑假加入此项目,负责解决算法函数和概率高斯分布等数学内容。”
将唐时宏的话悉数听进耳中,徐源这才明白是怎么回事。
首先机器学习算法他肯定不陌生,近几年国内研究的团队也逐渐多起来。
机器学习作为人工智能的核心组成部分,能够在图像处理工程应用等多领域起到作用。
他除了在数学上取得显著成绩外,所研究的蒙日安培方程最优理论更是机器学习中的重要部分,所以姚启智找他帮忙倒也合理。
“最优传输理论是连接几何和概率的桥梁,它用几何的方法为概率分布的建模和衡量概率分布之间的距离提供了强有力的工具。”
“可以说最优传输理论为机器学习原理的解释提供了新视角。”
“为机器学习的算法改进提供了新的指导方向。”
“听到唐教授说推荐你过来帮忙,我可是高兴的不行恨不得赶紧把你要走。”
姚启智这时也没沉默,眉飞色舞的说着,话里话外都流露出对徐源的称赞。
闻声唐时宏脸上笑容也是更盛:“徐源确实是我们数学科学院最合适人选。”
被姚教授这么夸奖,徐源心里高兴归高兴,但还是准备谦虚两句。
不过他还没来得及开口,耳旁顿时又传来唐时宏的声音。
“我知道你最近重心都在丘诚桐猜想研究上,所以究竟要不要去你自己拿主意。”
“这个项目不会持续太长时间,关于算法程序有几个博士生负责,你只需要在底层逻辑数学上给予支持。”姚启智担心徐源拒绝也忙补充说明。
徐源对机器学习算法的研究改进并不觉得难,对他而言算是比较轻松的项目。
况且还只需要负责数学方面就好。
刚巧他最近对丘诚桐猜想的研究没有思路,去计院帮忙换下脑子也很不错。
再说最优传输理论本就是连接几何和概率,对他研究几何问题同样能起到帮助,说不定碰撞出灵感能够找到攻克丘诚桐猜想的方法。
念头停留在这里,徐源没有任何迟疑,当即向姚启智教授告知了自己的决定。
“我愿意去。”
姚启智听到这个回答脸上顿时堆满笑容。
“太好了。”
“择日不如撞日,那就今天过去刚好熟悉下地方。”
说着直接便从沙发上站起来,还不忘用打趣的口味和唐时宏说了句。
“今天耽误你这么长时间我就不打扰了,至于你的这位宝贝学生我就借走了。”
“姚教授不用这么客气。”唐时宏笑呵呵说。
……
徐源本来也没什么事,便索性跟着姚启智一起前往计院项目地点。
讲起来这还是徐源第一回来计院,目光四周打量上去环境和数学系那边没啥区别,倒是路上遇到女生的数量要稍微多上些。
虽比不过新闻系那边,但绝对能吊打数学科学院。
毕竟最近几年计算机专业很是火热,报考的人员数量也比较多。
“以前来过这里吗?”
这时姚启智随便找了个话题询问,想让氛围不那么枯燥尴尬。
徐源闻言则如实回答:“不瞒姚教授你说,这还是我头回来计院这边。”
“等你加入这个项目来的次数就多了,真正说起来我还没有你待在箐华的时间长。”姚启智如长辈一样和徐源往下说着,话语中还不忘夹杂着幽默。
而他这话也的确没有讲错,毕竟对方去年才受邀加入箐华担任全职教授。
算算时间自然不如徐源在箐华待的时间久。
当然这也仅仅是一个小插曲,很快两人便来到计院网络技术研究所。
“咱们到了。”
随着姚启智提醒一句,徐源跟着对方走进里面,发现内部和教学楼并无什么区别。
只不过房间里面摆放的都是电脑。
姚启智把徐源带到其中一个房间后,找来一位戴着副黑框眼镜身材瘦高的博士生。
“小郭。”
“这位是数学系的徐源,接下来负责数学上的内容配合你们改进算法,先带他熟悉熟悉环境和其他成员。”
“好的姚教授。”郭志航笑了笑回答。
姚启智把徐源托付给郭志航,便暂时先离开这里。
郭志航习惯性的推了下鼻梁上的眼镜,然后主动伸出手热情介绍。
“我叫郭志航,你要是不介意的话喊我郭师兄就行。”
“徐源。”
徐源笑着握住手:“郭师兄。”
“到了这里千万别客气,我们几个可是早就听说你的名字。”
“你可是咱们箐华的名人。”
“没想到姚教授居然把你找了过来,这次我们的机器学习算法肯定改进。”
郭志航表现的非常热情,尽管是和徐源首次见面却愣是感觉不到生分,不知道的恐怕还以为是多年的同学关系呢。
徐源收回手后则是有些诧异,没想到自己的名字都已经在计院传开了。
但对方毕竟是比他高届的博士生,所以徐源还是选择稍微谦虚了句,俨然把自己当成新人并没有摆什么数学成绩上的架子。
“郭师兄谬赞了,只要能帮到你们就行。”
“我来给你介绍另外几个人。”郭志航听到这句话脸上笑容更加灿烂的说。
话音刚落便拽着徐源朝不远处已经站起身的几个人走过去。
“这位是朱闽丰,你叫他朱师兄就行,他和我一样也是博士生。”
“朱师兄。”徐源伸手和对方握了下。
朱闽丰显然也对徐源不陌生,这点单从脸上流露出的激动神情便能看出来。
“那个徐师弟,你对最优传输蒙日安培方程解的光滑性证明论文我前不久刚拜读过,里面无论是证明方法还是过程都堪称是精妙绝伦。”
“本来我还以为你没有时间呢,没想到姚教授真把你找了过来。”
听完朱闽丰的这番话,徐源也不由得有些好奇。
接着便随口问了句:“朱师兄还研究偏微分方程?”
“我本科和硕士读的是数学。”朱闽丰面对询问笑着回答道。
徐源恍然大悟:“原来是这样。”
而除了郭志航和朱闽丰这两位博士生外,整个团队里还有另外两个研究生。
分别是一男一女。
互相介绍完后,他们也喊了徐源声徐师兄。
之后的时间郭志航则具体介绍他们的项目情况,以及目前的研究进度。
在姚启智教授的指导下,他们几个人使用生成对抗网络的方法初步完成了机器学习算法,但算法性能评估出的结果非常差劲。
远远达不到预期的目标。
本来他们的想法是研究出性能高于目前水平的机器学习算法,结题后以论文形式申请国家基金扶持,然后进行更深层次的研究。从机器学习的实际应用到人工智能的方向研究,可以说有着长远的目标。
不过单凭他们现有的算法性能肯定拿不到国家基金项目的扶持。
所以基本也就把希望放在了徐源身上,想通过对数学函数公式方面的优化,实现对算法性能的改进。
徐源先前只参与过哈希函数密码算法,对机器学习算法倒是有种新鲜感。
刚被安排到一台高配置的电脑座位前后,便忍不住摩拳擦掌,迫不及待想要开始自己的工作。
“徐师弟。”
郭志航这时则又走过来,手中还捏着一个U盘。
“这是我们的机器学习算法中的资料信息,对你优化数学公式有帮助。”
“好的,我先研究下。”徐源伸手将U盘接过点头说。
而做完这件事郭志航却并没有离开,反倒是又抛出了一个问题。
“对了徐师弟,关于计算机语言和建模你会吗?”
徐源听到对方是询问这个,脸上则顿时浮现出一抹神秘表情,嘴角微微上扬噙着笑容吐出两个字。
“略懂。”
先不说他讨论室里就有电脑平时没少研究,前世的计算机水平那也不是吃素的。
丝毫不夸张的讲,哪怕让他自己一个人把整个机器学习算法全负责都没有问题,无非是完成的进度上会多花费点时间。
“徐师弟只是负责数学方面的内容,计算机上的稍微知道一点就行。”郭志航接过话茬回应:“还有那个数学函数公式和建模不用太着急,徐师弟你慢慢来就行,有问题随时和我们沟通。”
“我知道了郭师兄。”徐源闻言点点头说。
但话虽然是这样讲,不过徐源却清楚郭志航和朱闽丰他们肯定是比较着急的。
毕竟新的逻辑公式和建模没有搞出来前,他们也不好对算法进行改进。
也就是说要等徐源完成自己的任务后,他们才能接着展开后续的工作,主要既然邀请了徐源参与项目,那肯定不能再继续使用先前的建模。
再说之前的模型评估出那么低的性能,从某种意义上来说是已经失败。
与其在其基础上进行优化,还不如推到重来。
而事实上徐源的做法也的确如此,他在看完U盘中的资料信息后,眉头也可谓是紧皱没想到里面确实存在很多问题。
起码郭志航等人使用的算法公式模型,他大致一看便能给出更好的选择。
怪不得算法评估出来的性能会如此差劲。
经过研究思索后,徐源决定采用一种组合神经网络作为算法的框架。
其原理是可以把每个神经网络模块看做机器的某个大脑,那么此算法主要通过大脑之间对抗,让每个大脑都变的聪明。
而聪明就是每个神经网络模块,都调整到使得全系统能够完成指定的任务。
比如图像处理语音识别等。
对于这个自动化模型,最关键的便是输入和反馈以及整体表现。
因为输入机制是随机分布,不同于以往的输入是带标记的数据,这就意味此算法是无监督学习产物,这是迈入深度学习的最难最实用的一块领域。
徐源相信此机器学习算法完成后,会让国内对机器学习的研究处于领先地位。
但由于模型中涉及到损失函数,且需要用数学化的最优传输框架代替神经网络,所以在计算上要花费一定的时间去完成。
……
就这样。
徐源正式加入计院的机器学习项目后,白天都会去计院研究所那边构造模型。
晚上则回讨论室寻找新的证明方法。
其生活状态倒也能称得上规律。
转眼进入到七月,随着暑假到来学校放假,校园内的人员数量一下子少了很多。
不过这并未对徐源造成什么影响,经过大半个月的努力总算完成模型。
其表达式整体还是属于最优解。
只是当郭志航和朱闽丰等人听到这个消息后,瞬间便瞪大了眼睛,完全没有想到徐源居然这么快就完成了算法模型。
2005年7月19日,周二,计院网络技术研究所。
“徐师弟你没有和我们开玩笑,算法公式和模型真的已经全部弄完了?”
项目办公室内郭志航接过徐源递来的U盘,脸上依旧充斥着不可置信,忍不住再三开口追问。
主要这和他们认知的情况完全不同,记得刚开始他们进行这项工作时可足足花费了几个月的时间,哪像徐源大半个月便全部搞定。
旁边的朱闽丰担心这么赶出来的模型性能不行,略作迟疑还是补充了句。
“要不徐师弟在优化优化,我们这边不着急。”
后面站着的那两位研究生,这时候虽然没有开口说话却也猛点着头。
将郭志航和朱闽丰两人的话悉数听进耳中,徐源对此也是哭笑不得,心想自己效率太快竟也成了问题。
但这事却也不能怪他,毕竟进入深度学习状态后效率本来就会大幅度提高,加上晚上他研究丘诚桐猜想的证明方法没有头绪,便又会把计院的项目拿出来完成。
所以暑假才刚开始,他便已经把自己任务完成了。
倒不是说他太过自信,但对于自己完成的作品他还是比较放心的。
根本不需要再优化什么。
起码在现阶段机器学习的研究中,其算法性能绝对能称得上是领先水平。
于是他只好再次确认道:“两位师兄放心,能不能达到要求等算法出来评估一下性能就行。”
郭志航和朱闽丰两人听到徐源这么说,脸上神情略作迟疑后最终只得答应下来。
毕竟是他们邀请的徐源帮忙,这时候拿到了结果还没验证确实无从质疑,反正就算最终评估出的性能依旧达不到要求,也只是浪费这些时间而已尚能接受。
“那好吧。”
朱闽丰说了这么一句,然后面向另外三人沉声吐出两个字。
“开工。”
话落便齐齐回到自己的电脑位上,开始根据徐源的模型完成算法程序。
原本徐源还想帮忙编程,结果却被朱闽丰和郭志航义正言辞拒绝。
显然是不相信他的计算机专业水平。
对此徐源倒也没有生气,埋头继续研究关于解决代数几何稳定性的问题。
这半个月帮忙计院的项目,他的思维发散之下隐隐有了点那么思路,可始终无法真正抓到重心,如此情况让人不免有些烦躁。
好在徐源心境上没什么问题,只是边学习提升自己边研究数学分支方法,并没有强求对丘诚桐猜想证明。
就这样随着时间一天天过去,在郭志航和朱闽丰以及另外两名研究生的努力下,总算正式完成了徐源以最优传输框架代替神经网络的机器学习算法。
到了这一步便仅剩下对算法性能的评估,以此确定算法的整体水平。
为此算法性能评估当天,除了徐源在现场外郭志航他们还特意把姚启智喊了过来一同评估。
尽管大家对徐源的惊人效率有所担心,可投入这么多心血和精力自然是抱着浓浓期待,希望评估出的性能可以达到预期。
……
“徐源你之前有研究过机器学习这方面的内容吗?”
这天上午在郭志航他们对算法评估时,姚启智却把注意力完全放在徐源身上,丝毫没有掩饰脸上的欣喜。
他自然是看了徐源完成的公式模型,当时便被其中先进的理念所吸引,没想到能够使用数学化的最优传输框架来代替神经网络。
因为区别于当下主流的机器学习算法,郭志航他们存在疑问实属正常。
可他却觉得此算法所评估出的性能数值,恐怕会给大家带来一个巨大的惊喜。
徐源面对询问倒是没想太多,摇摇头回答:“只涉猎过哈希函数算法。”
……