乔喻的微信收到了一张两人的合照,陈师兄笑的很傻。乔喻看了眼就没理了。
怎么说呢,没谈过恋爱的年轻人是这样的。有个女朋友了就恨不得能昭告天下。
殊不知秀恩爱死得快。
不过也可以理解,对于一个母胎单身三十年的男人来说,这方面比较迟钝是正常的。
第二天,虽然还没开学,但也是春节假期结束,正式上班的第一天,老薛给乔喻打了个电话。
讨论,仿射 Weyl群模态空间化的问题。
是的,在乔喻的建议下,老薛已经开始处理这个问题。反正是群论相关的,薛教授正好最近又在忙相关的问题,正好一起研究了。
主要是田导催的太紧,乔喻又实在对这个问题没什么兴趣。
当然这对薛松也有好处。张元翎那边打来的一百五十万相关研究资金已经到账,参与这项研究自然也能从中拿到报销。
乔喻相当于帮薛松拉了个项目,只是这个项目不是那么容易罢了。
因为仿射Weyl群在高维空间中具有反射和平移作用,尤其是双边胞腔的几何特性高度复杂。
所以需先确定模态路径Γ与群作用不变量的关系,并保证这些对称性与模态空间的周期性兼容。
比如如果模态空间中定义的模态距离dM被用作权衡群作用的几何距离,那就需要证明dM在群作用下是保守的。
这显然很麻烦。薛松找不到证明思路,便一个电话找到了乔喻。
这大概就是权威的待遇了。
当人们遇到一个专业性问题一时间不知道该怎么解决,第一时间脑子里想到的可以提供帮助的人自然就是当之无愧的权威。
最近感觉思维极其活跃的乔喻也的确给力,直接给了薛松两条建议:等变映射跟不变量理论。
当然也只是建议,如何利用这些工具去完成证明,那就是薛松的工作了。
毕竟乔喻也很忙。他还在感觉距离搞清楚黎曼猜想只隔了一层窗户纸了。
自然不可能把精力放到这些小项目上面。
不懂数学的都知道,还是黎曼猜想能带来的价值更高,不管是名还是利。
不过讨论完学术之后,乔喻还是顺嘴八卦了几句:“薛老师,陈卓阳跟张晓在一起了,你还不知道吧?”
“哦?陈卓阳跟张晓说了?”
“咦?你也知道陈卓阳喜欢张晓?”
“我又没瞎。你过生日那天陈卓阳表现的已经很明显了。”
“那你真不打算找一个?”
“我就算了!我已经过了那个年纪了,女人哪有数学有意思?”
“还是薛老师看的通透!”乔喻由衷的赞叹了句。
当然也只是赞叹了句。
人嘛,不同年纪有不同的感悟。比如老薛这种都快四十岁的家伙,荷尔蒙都已经快停止分泌了。自然对女人没什么兴趣。
“对了,你最近在忙啥?还在盯着航空那边的计算问题?”
聊完了无关紧要的爱情,薛松主动关心了句。
其实他也想劝劝乔喻,别浪费太多时间在这些计算问题上。毕竟现在广义模态公理体系已经在国际学术界引发了一波研究热潮。
大家公认虽然乔喻构建的这套公理体系,同样很抽象。但相对于朗兰兹纲领来说,起码前期更容易理解。
一直在做这方面的研究所以薛松甚至可能比田言真、袁正心更关注国际学术界对广义模态公理体系的讨论。
起码据他所知,好几个研究团队已经开始试图在几何代数、物理动态系统中扩展乔喻搭建的这个框架。
因为有几何化跟应用化的可能性,让这个框架在初期更容易被推广。尤其是几何化描述的普适性对于许多年轻人的吸引力也更强。
毕竟乔喻已经用这套体系将素数上界缩小到了6。
照着这个势头发展下去,薛松可以预见的是,乔喻这套广义模态公理体系,可能在明年就要被称为乔喻纲领了。
这一点从乔喻发在Ann.Math上那篇论文的引用量就能看出来。
这才过了短短三个月,引用量已经超过了900次,朝着破千进发了。
要知道这在数学领域,完全可以评价为现象级的引用量。纯数学领域论文达到这种程度的情况极为罕见。
别说三个月了,就是数年达到近千次的引用量一般都是那种有重大突破的论文。
上次出现这种盛况还是2012年杰弗里·辛顿等人在 ImageNet挑战赛上发表的机器深度学习论文,三个月引用量曾突破千次。
但那篇论文虽然涉及到很多线性代数、概率论这类数学内容,但其本质还是计算机科学主导的。
乔喻这篇文章则属于纯数学领域,都没有跨学科。由此可见目前广义模态公理体系在世界数学界目前的热度。
这其中除了因为这套体系本身所具备的解决一系列问题的能力之外,更在于它能统一那些繁杂的数学符号问题,也是受年轻数学家追捧的原因。
所以在薛松看来,乔喻现在多少有些不务正业。谈谈恋爱还无所谓,但掺和计算方面的事情,完全没那个必要。
反正换了他是乔喻现在要做的肯定是继续深化研究这个体系,开拓出更多的模块,顺便解决尝试解决几个大问题,奠定自己在数学界的地位。
万一国外那些团队后发而先至,乔喻失去了这波热潮的中心位置,那可真就太可惜了。
当然薛松的意思也不是航空项目不重要。主要是做事情要分清楚轻重缓急。比如乔喻的发展路线明显应该是偏向数学的。
所以如果乔喻说是,他就打算劝谏一番。只是乔喻的回答让他熄火了……
“没有啊,其实那边的计算问题很简单的。主要几个模块其实都已经设计好了。具体的工作陈师兄他们在负责。
所以其实我最近的主要精力是放在如何解决黎曼猜想这块。我有种感觉,已经距离解决这个素数问题很近了!你知道的,我本来是不打算做这个问题的,哎……”
乔喻回答道。
实话,他本来是没打算做黎曼猜想的。这个课题不但太大,而且也没法直接告诉每个人一个特定素数的位置。
甚至证明过程可能会让寻找素数更简单,而加强RSA加密之类的算法。
比如可以更容易生成更大、更安全的素数,用于防止现有的密钥长度被轻易攻破。
而且目前乔喻还没从这一过程中寻找到更有效的大整数分解算法。在数学层面上,数域筛选法依然是最有效的大整数分解算法。
至于谷歌搞出的所谓量子芯片,用Shor算法来对RSA密钥产生威胁暂时还处于理论阶段。毕竟量子芯片稳定运行不是那么好突破的。
当然乔喻觉得自己说的很真诚,但落入他人的耳中只能说冷暖自知了。
直接噎得薛松连自己刚才还想说点什么都忘了。脑子里只剩下四个字——黎曼猜想。
“嗯,黎曼猜想是吧?很近了?有多近?很快就能解决吗?”
“不知道啊。我正在证明我的感觉是对的。这涉及到一个方向性的问题。不过薛老师,你应该知道的,到目前为止我的感觉还没错过。”
说完,乔喻觉得不够严谨,又赶忙找补了句:“不对,我说的是在数学上的感觉还没错过。”
是的,刚才那句话让乔喻想起来他刚刚才猜错了一次。本来以为张晓不会喜欢陈师兄那种类型的,显然他就判断错了。
毕竟幽默这一条简直无敌了。他到现在都没想通,陈卓阳哪里幽默了。
“哦,那如果你的判断是正确的,大概什么时候能解决这个问题?”薛松又追问了一句。
毕竟那可是黎曼猜想。
公开在研究相关命题的数学家或者团队,无一不是数学界顶级的大佬。不管是在世的还是已故的。
比如博姆比里,波利亚,皮埃尔·德里尼。也有人曾宣称已经证明了黎曼猜想,可惜没得到同行的认可。
知名的有阿蒂亚爵士不那么知名的有印第安纳大学教授,路易斯·德布鲁因。
当然严格来说,乔喻现在也算是世界知名的数学家之一。
即便他还是一个十六岁的学生。但广义模态公理体系在世界数学界大受追捧,连带着他的名字也被许多年轻数学家所熟知。
“这个真不好说啊,三个月、半年都有可能啊。不过肯定不会超过半年吧!如果我的判断正确,那接下来就是一些很蠢的办法来证明。
你也知道,蠢办法虽然慢了点,但只要方向是对的,起码不会因为发现此路不通,然后重新再来这样浪费时间。”
乔喻如实答道。
也不是藏私不想详细说,主要是他的工作没做完。说得再多也没用。
薛松也不太好问了。
毕竟打探人家还在研究中的细节,放在哪里都是不太礼貌的。
他也不知道该问什么了。哪怕是半年搞定黎曼猜想,这也已经是他很难想象的事情了。
如果真能成功的话,毫无疑问乔喻将成为世界数学界的领军人物。
至于乔喻口中的蠢办法……
嗯,能解决黎曼猜的技术手段,再蠢也是一群人无法项背的。
“你还别说,薛老师,其实我能发现这个规律还得感谢那位于总工。我就是在研究他们需要计算的东西,然后发现了这个规律。”
“这样啊!”薛松随口答了句,好吧,其实他已经不知道自己在说什么了。
随口又跟乔喻聊了两句之后便挂了电话。
也是挂了电话之后他才想到之前想跟乔喻说别把太多精力放在搞那些计算方面。
结果乔喻这小子就靠着帮人搞这些计算找到了灵感这能找谁说理去?
只能有些人纯纯属于老天爷喂饭吃,不想吃都要直接喂到嘴巴里那种。这么想想,薛松心情就平静多了。
没办法,这种人各行各业都有,不服不行!无非是乔喻正好在数学这个行当大放异彩罢了。
想得多了,薛松只觉得有些头昏脑涨的,打算出门散散步,收拾下心情。
结果刚下到研究中心的院子里,正好碰到田言真走了进来。
薛松连忙停下了脚步打了声招呼:“田教授,早啊。”
“小薛啊,这么早是做什么去?”田言真问了句。
“哦,昨天晚上想个问题想的头昏脑涨的,今天早跟乔喻探讨了一下,感觉有些收获,打算去湖边散散步,看能不能把问题想清楚。”
薛松答了句。
搞数学的也不一定要呆在办公室里才叫干活。
很多时候没思路出门转转说不定思路就来了,这很正常。只要不在上课的时候出门溜达自然没人会管。
“哦,出门还是要多穿点,外面冷。”田言真提醒了句。
虽然已经过了春节,但二月都还没到北方停暖气的时间,哪怕是白天也就几度的样子。
“没事,我已经习惯了。”
薛松笑着应了句,本想着走人的,但鬼使神差的又汇报了句:“对了,乔喻应该已经跟您汇报过了吧?他有解决黎曼猜想的思路了。”
已经往前迈出一步的田言真停下了脚步,看向薛松,问道:“你刚说乔喻什么?”
薛松愣了愣,他记得乔喻是最爱跟导师汇报工作的。参加个报告会,有什么心得,都要汇报一通,但看田言真这反应,似乎还没说?
不过话都说了,自然也不能收回了,于是笑了笑说道:“可能是想给您个惊喜吧?刚跟他通电话的时候,他说最近在研究黎曼猜想。”
“黎曼猜想?你确定那小子不是在开玩笑?”田言真严肃的问道。
薛松摇了摇头,答道:“肯定不是开玩笑的。毕竟他说已经有大体的思路了。不过他也说了证明的方法有点蠢。但具体是什么方法,我就不方便问了。他还预估最迟半年就能证明这个问题。”
“哦,这样啊。”田言真点了点头神色已经恢复了正常,不过又问了句:“他现在是在研究这边吗?”
“我刚去看了,没人,应该是在华清吧,毕竟年还没过完。肯定还是想跟妈妈待在一起。毕竟他还小。”薛松帮着乔喻解释了句。
“哦,这样啊。那行,就不耽误你去散步了,你快去吧。”
聊完,两人告别离开。
走出了院子,薛松想了想,还是拿出手机给乔喻发了条微信。虽然乔喻随口就跟他说了,也没有特别交代他要先保密,但薛松觉得还是应该跟乔喻说一声。
怎么说呢,虽然很清楚乔喻才十六岁,但到了这个层级,大家下意识已经不把乔喻当成一个小孩子来看了。
“刚出门碰到田教授了,顺口跟他聊了聊你正在研究黎曼猜想的事。我不知道你还没跟田教授说,不好意思啊。”
微信没即刻回复,不过薛松也没太在意。仔细想想,田言真虽然神色正常,但刚听到这个消息大概也会忍不住打个电话去问清楚吧?
反正如果他得知了自己的学生正在挑战这个难题,而且还有心得了,肯定会第一时间打电话关心一下,这也是人之常情。
等等,他好像没有乔喻这样的学生。这么想想人都轻松多了。
这种问题学生,不好带的。
……
薛松猜的的确没错。
两人刚告别,田言真刚刚走进他办公的一号楼,就拿出手机给乔喻打了一个电话。
甚至说的话都跟发的消息差不多。
“乔喻,刚刚过来办公室的时候碰到薛教授了,他说你正在研究黎曼猜想?”
“咦?薛教授跟您说了啊,本来我还打算等我第一步做完了再跟您汇报这个事的。”
“你这个第一步做完是什么意思?”
“就是确定我的想法是正确的啊。首先肯定得证明能够把ζ函数的零点问题进行模态映射,然后给出完整证明过程吧?”
“你之前不是说还欠缺工具吗?”田言真皱着眉头问道。
“说来这个事也挺巧的,之前我给航空所做轨道扰动模态模型的时候发现归一后的关系式跟ζ函数高度一致。
所以只要证明如果能证明前者在ζ函数定义的条件下分布导致积分跟ζ函数具有相同的解析结构跟收敛性质,就证明了其存在一致性。
虽然一个是连续积分,但一个是离散求和,但只需要用Poisson求和公式或梅林变换,把连续积分跟离散求和建立一个等价关系就行了。
我还在考虑用哪种数学工具证明比较简单。只要能做到这一步,既然航空上的数据能处理,黎曼函数自然也能处理。
只要完成了模态映射这一步接下来就简单了。模态路径、构造模态卷积验证分布、甚至用能量函数反正模态理论的工具都能用了。证明起来自然就简单了……”
“行了,你别说了。薛教授说你半年内能有成果是真的吗?”田言真直接打断了乔喻的话,他实在懒得听下去了。
现在只要是从乔喻口里说出来的东西,听起来好像什么都很简单。真要上手就知道难度了。
就过年这段时间,计算所的刘钊元跟他说了两次,让他记得安排乔喻去那边给团队做一次讲座。
乔喻口里那些很简单很显然的东西,对方组建的研究员团队还有一堆问号。
“那个……其实跟薛教授全是吹牛的,跟您我交个实底,一年,最多一年,我应该能解决这个问题。”
“吹牛?你到底是跟薛教授交的实底还是跟我交的实底?”
“当然是跟您说大实话了!如果能提前,那肯定是您教的好,让我又在不知不觉中进步了!”
对面乔喻的语气听起来斩钉截铁,半点都没犹豫的。