两个月后。
在梁占军等项目团队努力下,这架察打一体无人机总算完成。
以完整的机身呈现在大家面前。
而徐源在这两个月时间里,也没忘记对霍奇猜想的推导研究。
霍奇猜想是最反直觉的世界数学难题,可以说汇集了最抽象的数学概念。
它是关于非奇异复代数簇的代数拓扑,和它由定义子簇的多项式方程,所表述的几何的关联的猜想。
在个非奇异射影代数簇上,每一个调和微分形式都是代数闭链的,上同调类的一个有理组合。
其猜想以现代数学的本质,使它大部分几乎不可能被普通人所领会。
这点倒是和数论形成了鲜明对比。
是夜。
锦城飞机设计研究所。
某房间里徐源坐在书桌旁,垂下视线整个人显得非常专注。
俨然已经进入到了深度学习状态。
如果顺着他的视线看去,则能发现桌面上堆积着大量写满数学公式的手稿。
全都是他在锦城这段时间的杰作。
“非奇异射影代数簇,一个光滑的多维曲面。”
“就像是某个球面通过解代数方程,从而得到一个光滑的二维曲面。”
徐源思维快速运转下,边自顾自说着数学术语,边在草稿上书写公式。
“+y+z=a”
……
随着时间逐渐过去,直到时钟指针来到晚上十点时徐源才停下动作。
接着看了眼光幕上的进度条,然后从深度学习状态脱离。
——
任务:霍奇猜想证明
学科:数学
进度:%
结果:未完成
“想要证明霍奇猜想,在代数几何和分析以及拓扑学这三个学科之间,建立起一种基本的联系,果然是不容易做到的事情啊。”
将手中的笔放进桌面上的笔筒,神情复杂的感慨句伸手揉了揉太阳穴。
先前他从黎曼曲面思想推广成高度抽象概念复流形方面入手。
即黎曼曲面的一个有着一种复杂拓扑结构的多维模拟物。
得到非奇异射影复代数簇,就是一种特殊类型的复流形。
借助分析方法应用于代数流形,意识到由一个非奇异射影复代数簇,所产生的微分形式的有理上同调类可以被看作是拉普拉斯方程的解。
使得面板进度条上的进度增长到百分之五。
要知道在此之前进度条始终为零,表明他并没有找到正确的方向。
因此突然看到有了百分之五的增长,他心里也显得非常激动兴奋。
有种终于找对方法的感觉。
虽说距离真正证明霍奇猜想还非常遥远,但无疑是给了他一剂强心针。
对霍奇猜想的研究更具有信心。
可惜这剂强心针的效果并没有持续太长时间。
很快他便发现从这个方向研究,进度始终没有出现新的增长。
就像是从一个困境进入了新的困境。
出现这种情况,大概率说明眼下的证明思路并不是正确的。
也就是说需要推翻重来。
如此先前他的那些手稿,就全部成了废稿。
没有任何价值。
不过这种情况倒也在他的预料之内,毕竟真那么容易证明的话,也就不会被称作是世界数学难题了。
何况还是世界数学难题中最抽象的。
但眼下的困境并不能说明问题,他证明霍奇猜想的信心并没有消失。
反正在时间方面,非常充足。
下秒他站起身走到窗户处将窗户关上,顿时又若有所思的低喃起来。
“看来要和德利涅教授多交流下代数几何,这样或许能帮助我诞生灵感。”
通过这段时间对霍奇猜想的研究情况,他深知单靠