安抚好项目成员后,江辰回到了办公室,着手准备起研究工作。
技术问题还可以通过系统兑换来解决。
作为备选方案,万一后续研发阶段出现难以攻克的难题,他可以直接使用积累的学习值来兑换相应的解决方案。
然而,学术问题可没有另一个系统来走捷径,它们复杂且深奥,只能依靠他自身的知识和努力来解决。
江辰翻开了两年前的研究手稿,找到了当时完成的证明部分。
那是关于朗道西格尔零点猜想的证明,他成功地证明了L函数当中不存在异常零点,这一成果在当时引起了不小的轰动。
从另一个角度来说,他的这一证明也意味着广义黎曼猜想在特定的限定条件下已经成立。
然而,江辰并没有选择顺着主流观点的思路,尝试从这个已经打开的缺口切入去进一步扩大广义黎曼猜想的限定条件,进而完成全面的证明。
他有着自己独特的想法和路径。
ζ(s)=∑n=1∞1/n^s (Re(s) >1,n ∈ Nˉ),这是级数的表达式,也是江辰研究的切入点。
他选择从Re(s)的限定区域着手,进行深入的研究和探索。
经过不懈的努力,他最终完成了Re(s) ≥1的所有区间内都不存在异常零点的证明。
结合以前数学家已经完成的Re(s) <0的实部区间的证明。
目前阻拦在黎曼猜想全面证明前的障碍只剩下了最后一个,那就是Re(s) =0的情况。
这将是他接下来研究工作的重点和难点,也是不少数学家一直奋斗的地方。
整整两年时间过去了,自从江辰解决了Re(s) ≥1的部分证明以后,迟迟没有人能完成这最后的工作,这让他不由地开始思考。
难道说,走这条路真的无法完成黎曼猜想的全面证明吗?
他开始反思自己的研究方向和方法,试图找到问题的症结所在。
江辰可不会觉得现代数学家的天赋不足。
老一辈的德利涅、皮埃尔、法尔廷斯,中生代的佩雷尔曼、怀尔斯,以及新生代的陶哲轩、舒尔茨等等。
哪个不是天赋异禀,都在数学领域取得了卓越的成就。
他们的智慧和才华是毋庸置疑的,这也让江辰更加坚信,问题的关键不在于天赋,而在于方法和思路。
几天前的晚宴上,他们就准黎曼猜想有过深入的交流和探讨。
从当时的聊天中得知,几人都曾试图解决Re(s) =0条件下黎曼猜想不存在异常零点的问题,但可惜结果都不如意。
他们尝试了各种方法,但都没有取得突破性的进展,因此也都暂时放弃了证明的想法。
这让江辰更加意识到,这个问题远比想象中的要复杂和棘手。
烦躁的情绪渐渐涌上了他的心头,瞻前顾后、犹豫不决从来都不是他的风格。
他决定采取行动,先沿着这条道路亲自试一试,只有通过实践才能真正找到问题所在。
于是,他抛开了所有杂乱的思绪和想法,将全部的注意力都集中在证明Re(s) =0条件下的证明上。
证明实部Re(s)的灵感来源于对黎曼ζ函数的定义域与解析延拓。
黎曼ζ函数ζ(s)最初定义为级数ζ(s) = 1 + 1/2s + 1/3s + ...(对所有正整数求和),这个级数在复平面上仅当Re(s) > 1时收敛。
为了研究ζ函数在更大范围内的性质,黎曼对其进行了解析延拓。
使得ζ函数在整个复平面上(除了s=1处的一个简单极点外)都是解析的。
按照目前的数学研究进度,对于黎曼ζ函数,在Re(s)<0以及Re(s)≥1的所有实部区间内,已经得到了验证:
黎曼猜想在这些区间内不存在异常零点。
而黎曼猜想的完整定义是:对于所有的ζ函数非平凡零点,它们的实部Re(s)都严格等于1/2。
也就是说,这些非平凡零点无一例外地都坐落在复平面上由直线Re(s) = 1/2所定义的位置上。
如果他能够成功地完成在Re(s)=0条件下的证明,将意味着,在所有实部区间内,黎曼猜想都不存在异常零点。
尽管这条研究路线所完成的证明与黎曼猜想本身并没有直接的相关性。
但是通过研究ζ函数的平凡零点和非平凡零点之间的关系,他能够进一步揭示黎曼猜想的深层结构,进而彻底解决猜想。
实验楼一楼,灯光明亮,氛围却显得有些不同寻常。
所有成员的目光都聚焦在快速离去的江辰背影上,一时间,大家都显得有些愕然。
本来以为回来以后会接受项目带着大家一起研发。
谁能想到出了一趟差,江辰就把才组建没多久的雷达项目全部扔给了新员工。
但是看着刚刚董事长脸上的表情,明显是有更极待解决问题的样子。
好在离开的这段时间内,大家都已经适应了没有他的项目运行。
成员们在各组组长的领导下,以及熟悉了研发工作。
江辰走之前划定的方向和留下的资料让七个零部件的研发工作都有条不紊地进行着。
此外,公司对于他们的研究也给予了充分的支持和保障。
无论是资金、设备还是人力资源,公司都一一满足了他们的需求。
不然这些新员工真的会以为这是江辰搞出来的诈骗项目。
关望飞在消化完他需要负责整个项目的信息后,目光立刻转向了手中的U盘。他没有任何犹豫,直接将U盘插在了电脑上,准备深入了解一下这个所谓的全新雷达算法。
“全新的雷达算法,听上去确实有些离谱。”
他自言自语道,心中充满了对未知的好奇和期待。
当他打开算法框架的那一刻,他的眼神瞬间凝固了。
他看到的功能模块包括多目标检测、跟踪和处理,这些都已经完美地嵌入在了算法之中。
他惊讶得连话都说不出来,只是呆呆地看着屏幕,试图理解这一切。
关望飞并不是没有见过雷达算法,但国内连有源相控阵雷达都还没有研发出来,更别提所需要的算法了。
他回想起自己学过的雷达算法,那些都是大毛的,但和手上这款算法相比,性能上简直是天壤之别。
在这一刻,关望飞终于理解了江辰为何会二话不说直接丢下整个项目组。
拥有这种技术实力的人,研发相控阵雷达对他来说肯定是手到擒来的事情。
他深深地吸了一口气,然后开始了对这个全新雷达算法的深入研究。