第124章计院的科研项目【万更求订阅】
决定尝试证明丘诚桐猜想,徐源接下来几天都没有在交流活动中露面,基本吃完饭便来到丘诚桐办公室研究微分几何代数几何多复变函数等数学分支。
丘诚桐也确实希望徐源能弥补这个遗憾,将自己这些年相关的研究悉数传授。
平时徐源遇到复杂棘手的难题,同样会耐心讲解。
俨然将之当成了自己的学生。
而他越是和徐源接触下来,越能感受到徐源在数学上的恐怖天赋。
每次他只需要稍加指导点拨,徐源便能融会贯通甚至举一反三,这种数学天赋可以说连他都感到羡慕。
不过这也恰恰证明,他的决定并没有错。
只要徐源坚持研究下去,或许真能为卡拉比猜想画上圆满的句号。
转眼来到周末。
为期一周的交流活动接近尾声。
2005年4月17日,周日,香江中文大学数学科学研究所。
办公室内徐源坐在侧边桌子旁,面前堆着的满是资料和写满数学公式的手稿,不过此刻他的神情却显得凝重微微皱着眉头。
良久他从深度学习状态中脱离出来,在面板消散前又看了眼进度条缓缓吁了口气。
——
任务:丘诚桐猜想证明学科:数学
进度:30%结果:未完成“果然不愧是困扰了丘教授几十年的问题,想证明这个猜想不容易啊。”
这几天时间他疯狂吸收着各种相关知识,掌握了很多数学分支的方法,但都无法证明第一陈类为正时的丘诚桐猜想。
根据以往解决数学难题的经验判断,必须要对多种方法创新才行。
不过如果丘诚桐知道短短几天便把猜想证明推进到百分之三十的进度,那肯定会感到非常不可思议,尽管这主要还是依靠他的研究成果。
毕竟距离他解决第一陈类为负为零的卡拉比猜想已经过去三十年。
正当徐源想着这些时,只见丘诚桐推门从外面进来主动和他打招呼。
“今天有什么收获吗?”
徐源闻言连忙站起身把头扭过去,脸上有些尴尬的回答。
“暂时没有突破性的进展,想把微分几何和代数几何以及多复变函数等数学分支方法结合用于证明,难度远比我想象的难。”
“慢慢来。”
“想解决数学难题哪有一口吃成胖子吧,有时候研究几年都正常。”
“不急。”
丘诚桐摆手安抚着徐源。
这些天徐源的表现已经大幅度超过他的预期,对于自己这个学生他非常看好。
随即走到自己办公桌旁坐下时,他又想到了什么开口抛出一句。
“明天你们是不是就要回去了?”
“是的丘教授,我们廖主任已经安排好行程。”徐源面对询问如实回答。
从心里来说丘诚桐肯定不希望徐源离开,但徐源毕竟不是中文大学数学系的学生,总不能强行把人留下来不放人回去。
于是叹了口气然后嘱咐道:“你把这些资料手稿书籍也都带回去,有疑问可以随时给我发邮件。”
“丘教授放心,我不会放弃证明这个猜想的。”徐源点点头保证。
接下来两人又针对数学方法进行讨论,不知不觉间时间便悄然过去。
第二天。
中文大学这边特意举行欢送仪式。
在一片欢送声中,徐源等人乘车前往机场,准备返回箐华大学。
此刻车内能看到大家也都挂着喜悦笑容,显然是此行收获都不小。
虽说首场丘诚桐的讲座难度高些,但后面都属于正常水平确实学到了很多东西。
尤其张俊东更是确定了自己毕业论文选题。
眼下他可以说是信心满满,巴不得立刻回到学校开始撰写。
“这次交流确实没白来,让我有种豁然开朗的感觉直接就确定了毕业论文,现在对论文我可谓是信心满满。”
“那就先提前祝贺学长完成毕业论文。”刘洋听着旁边张俊东的话不忘附和。
长达一周的时间相处下来,两人之间的关系也变得更加熟络。
因为徐源每天都不参加交流活动,刘洋便都和张俊东结伴听讲座互相交流。
张俊东听到这话心里感到高兴的同时,目光也不忘向坐在前面的徐源看去。
“这次收获最多的应该还是徐神,毕竟那可是丘教授每天亲自授课,哪怕博士都没有这种顶格待遇。”
“好像丘教授是想让源哥证明丘诚桐猜想。”刘洋想到什么回了句。
徐源没有参加后面几天的交流活动,大家自然会好奇询问相关情况,因此丘诚桐猜想这件事也不是秘密。
不过在刘洋说完这句话后,便和旁边的张俊东一起陷入沉默。
丘诚桐猜想自然不是他们能接触的,但作为提出者的丘诚桐教授几十年都没证明,单想想便清楚其中的难度会有多高。
心里难免为徐源捏了把汗,想证明着实不容易。
而对于刘洋张俊东他们两人的谈话,徐源坐在前排自然全部听进耳中。
他自然也清楚此问题的难度,不管怎么说都属于卡拉比猜想。
之前他解决无穷多個卡迈克尔数间隔问题,和蒙日安培方程解的整体光滑性,这些都只涉及数论和偏微分方程数学分支,从某种程度上来说并不算太过复杂。
但丘诚桐猜想完全不同。
丘诚桐教授把第一陈类为正的卡拉比猜想,转化为代数几何的稳定性问题。
这里面便涉及到了代数几何微分几何,以及多复变函数和度量几何等多个数学分支。
单单把这些数学分支方法结合,都是相当大的难度挑战。
更不要说再进行创新。
况且此猜想还涉及高维空间的弦理论,更是理论物理学家推演的问题。
眼下却要靠数学计算,确实不易。
否则以丘诚桐证明第一陈类为负为零的卡拉比猜想基础早就能解决所谓代数几何稳定性问题。
凭借这些年丘诚桐教授的研究成果,才让证明进度推进到百分之三十。
并且后面都没有任何增长。
相比较前两个解决的数学难题,复杂性直线上涨。
徐源清楚这些接受这些,却并未被打击到自信心产生放弃的念头。
反正他现在还很年轻且有天赋,大不了慢慢研究尝试证明。
他相信总有将其解决的时候。
说不定哪天灵感爆发,甚至在很短时间内便能解决掉这个问题。
……
路上行程非常顺利,天不黑徐源等人便安全返回到箐华大学。
而徐源和刘洋刚到寝室,正打算和李振亚王海涛他们分享这几天的事,徐源却突然接到了唐时宏的电话让他去办公室一趟。
想着可能是和这次交流活动有关,他倒也没有过多耽搁时间。
和大家说了句便匆匆往教授办公室赶。
很快轻车熟路来到房门前,抬手才敲了两下便听见里面传来熟悉声音。
“请进。”
徐源推门进去便问道:“导师让我过来是有事吗?”
“没什么大事。”
“先坐吧。”
唐时宏看到徐源过来,连忙招呼其坐下。
然后才询问起此次交流的成果。
“跟着丘教授学习了几天,收获怎么样?”
“收获很大。”
徐源闻言如实回应:“尤其是掌握了很多个数学分支的方法。”
“不虚此行就好。”唐时宏点点头。
话音刚落接着又抛出一个新的问题:“对解决丘诚桐猜想你有多大把握?”
对于唐时宏也知道这件事,徐源并不觉得意外。
稍微顿了下组织好语言,这才开口缓缓讲起关于丘诚桐猜想的事。
“代数几何的稳定性问题涉及的数学分支较多,想彻底解决确实不太容易,不过丘教授跟我讲解了他的研究经验和一些思路,所以我想要试一试。”
“这样的话你自己看着来就好,不过倒也不用给自己太大压力。”
唐时宏听完这番话稍微嘱咐了句,倒没有像之前毕业论文那样提出反对意见。
自从徐源在毕业论文中证明蒙日安培方程解的光滑性问题展露自身天赋,唐时宏心里便对徐源多了一份莫名的信任。
哪怕知道丘诚桐猜想的难度,依旧愿意相信徐源能够完成证明。
下秒唐时宏又想到什么开口说:“另外杨老也很看好你解决丘诚桐猜想。”
“杨老也知道了?”徐源略显惊讶。
没想到自己才刚从香江那边回来,感觉全校人好像都知道他要挑战丘诚桐猜想了。
以前他证明卡迈克尔数和蒙日安培方程相关问题的时候别人都不知道,论文发出后才引起学界的关注被授予数学王子的美誉。
如今那么多人知道他正在研究丘诚桐猜想,这要是证明不出来可就丢面子了。
而对此唐时宏也没卖关子,随即便把详细情况全部告知了徐源。
听完后徐源则是哭笑不得,不知道该说什么好。
原来杨老一直有意邀请丘诚桐加入箐华,成为箐华高等研究院永久成员,负责数学科学院的相关工作。
不过这件事暂时没有促成。
此次他尝试证明丘诚桐猜想,如果真能成功的话便可以说服丘诚桐加入箐华。
因此杨老对他也很看好。
弄清楚前因后果,徐源也能感受到自己身上的压力又多了很多。
眼下看来那是说什么都要完成证明了。
“放心吧导师,我会尽自己最大努力去研究的。”
最终徐源站起身表明态度,丢下这句话后便也不再过多逗留,随即便拉开办公室房门迈步离开。
唐时宏则望着徐源,直到其背影彻底从视野中消失才收回目光。
良久摇头叹了口气。
“有这种自信对他来说也不知道是好事还是坏事。”
徐源身上时刻拥有的自信是他最满意的,甚至都还非常羡慕。
但在这种自信下,若始终证明不出丘诚桐猜想,则说不定会出现反效果。
整个人的自信心被打击到。
要知道徐源凭借自身的数学天赋,接触数学以来还从未受过什么挫折。
不过现在局面已经没法改变,那也只能希望于徐源可以完成证明。
——
时间如同白驹过隙转瞬即逝。
很快来到六月底。
徐源从香江回来到现在已经过去两个月,期间他的时间也都安排的很满。
除了继续学习新的知识上课,余下时间便泡在讨论室研究丘诚桐猜想,期间他也没少和丘诚桐教授发邮件请教存在疑问的地方。
可惜两个月的时间进度条愣是没有任何增长。
依旧保持在百分之三十。
他虽然尝试了不少创新方法,但每次代入演算进度条都会出现下降。
说明他的这些方法存在错误,或者无法用来证明丘诚桐猜想。
而这倒是帮他节省了很多时间。
可以不断进行试错。
因为如果是正常情况下,想要判断提出的方法能否对结果有效,还需代入演算并进行验证才行。
这整个流程进行下来,不知道浪费了多少时间。
好在陈雨然时不时会过来陪着他一起学习,并在合适的时机进行鼓励,所以尽管进度没有增长他的斗志却越来越激昂。
暗自和这个猜想较上了劲,说什么都要将其给彻底解决掉。
为卡拉比猜想画上这个来自三十年后的句号。
这天上午数学科学院讨论室内,徐源拿起桌子上的草稿纸微微皱着眉头。
“果然还是不行吗?”
自顾自低喃一句,随即揉了揉扔进垃圾桶里。
他尝试用偏微分方程的方式求解,奈何面板上的进度条依旧出现了大幅度下降。
说明此方法是错误的。
到现在他可以确定想借助偏微分方程,是无法解决第一陈类为正的卡拉比猜想,还是要从微分几何多复变函数上找思路。
本来他是觉得既然丘诚桐教授能通过几何中的曲率概念求解偏微分方程,从而证明第一陈类为负为零这两种卡拉比猜想情况,那或许也可以用此方法解决第一陈类为正时的卡拉比猜想情况。
无非进行适当的创新,或者在原有基础上优化。
不过他连续多次尝试都得到了错误的结果,说明此方法在第一陈类为正时行不通。
怪不得当初丘诚桐教授仅解决了第一陈类为负为零时的两种情况。
或许是连续两个月每天都在研究此猜想,徐源明显能感觉到自己思维开始有些僵化。
很难在碰撞出巧妙的灵感思路。
想着应该找点其他东西研究下换换脑子,说不定能起到事半功倍的效果。
他记得自己先前证明蒙日安培方程相关问题,正是被齐同祥教授邀请去科大担任评委讲课,这才诞生出新的思路让进度条大幅度增长。
徐源想到这些,暗自思索之际嘴里也忍不住嘀咕。
“难道还要举行公开课,在课上讲丘诚桐猜想,怕是没多少人感兴趣吧。”
这时正当他犹豫着要不要向院里申请时,口袋里突然响起的手机铃声将他思路打断。
随手掏出手机朝那快小屏幕看去,顿时便看到唐教授的名字出现在上面。
见此虽然不知道唐教授有什么事情,他也不敢耽搁连忙按下接听键。
刚把手机放到耳边,便听见一道熟悉声音从手机听筒中传出来。
“徐源你现在空闲吗?”
“我没什么事。”徐源毫不犹豫回答。
唐时宏:“那到我这里来一下,有件事和你说。”
“好的导师。”
徐源自然没想太多,应了声挂断电话便动身前往唐时宏办公室所在的综合实验楼。
……
刚进唐教授的办公室,他发现不止是唐教授在,旁边沙发上还坐着计院的姚启智教授。
脑海里不由得冒出一个念头。
“难道唐教授电话里说的事情,是和计院有关。”
他虽然没有听过姚启智教授的课,但对这位大佬却丝毫不陌生。
对方去年受杨老邀请放弃海外的工作,正式加入箐华高等研究院担任全职教授,负责计算机专业班的授课和相关项目研究。
并且对方还是唯一获得图灵奖的华人学者,在国际上享有较高权威。
“还站在门口做什么,快进来坐。”唐时宏看着站在门口的徐源,停下手上动作笑着问:“最近关于丘诚桐猜想研究的怎么样了?”
“暂时还没什么头绪……”
徐源笑着回答了唐时宏的问题,并礼貌性和姚启智教授打了声招呼,这才乖巧坐到沙发上面。
姚启智笑呵呵的问:“敢去证明这种数学难题,单是勇气就可嘉。”