通过分析4694个原群等式之间的2202942个逻辑蕴含关系,建立完整的数学结构图谱,如果使用传统方法,至少需要数十年才能完成,但通过人机协作,他们只用了57天!
目前这个成果已经进入论文撰写阶段,陶哲轩也很开心,他的成功只是他个人的一小步,却是人类的一大步。
这次成功,验证了去中心化数学研究的可行性,为复杂数学问题提供可扩展解决方案,可以预见,未来一段时间,人类数学家结合人工智能将会做出一大批令人震撼的成果。
来到自己的位置,打开电脑,陶哲轩打开邮箱,这是他的工作习惯,每次开始工作前,先将邮箱中的事务处理一遍。
至于撰写论文的工作,自然轮不到他去做。
按时间从早到晚排列收件箱,看到陈辉给自己的回信,陶哲轩洒然一笑,他自己年轻时也经常陷入这种状态,不理会外界任何事情,自然能理解陈辉之前两个月都没有回自己邮件。
想了想,陶哲轩将自己这些天的成果在邮件中简单描述一番,回复了陈辉的邮件。
点开最后一封邮件,陶哲轩发现竟然是一份审稿邀请。
这一次并不是某个期刊杂志的审稿邀请,而是国际数学联盟发来的邀请。
“纳维斯托克斯方程证明?”
陶哲轩咂咂嘴,如果不是发件人的确是国际数学联盟,他根本不会点开多看一眼。
“陈辉?”
然而,当他点开附件,看到这篇论文的作者时,他的神色顿时变得严肃起来。
结合刚才陈辉回复他的邮件。
所以,他这几个月就是在研究纳维斯托克斯方程?
并且还完成了证明?
陶哲轩没有急着审稿,而是将论文下载下来,打印出来,这才深吸一口气,全身心投入到这篇论文之中。
“将物理时空嵌入精心构造的四维复流形,其上的凯勒形式巧妙融合了时空度量与涡度耗散。”
X,withKahlerformK∣R3×[0,T]=dx∧dy∧dz∧dt+νdω∧dω
“妙啊!”
“妙啊!”
看着这个式子,陶哲轩赞叹不已。
在证明的边界满足强拟凸性后,-Neumann算子这把复几何的神剑,终于爆发出其无与伦比的威力,关键常数C与雷诺数无关,意味着奇点邻域的正则性牢不可破!
陶哲轩仔细阅读证明过程,发现陈辉巧妙的引入了奇流熵单调性公式,化用为压制非线性项发散的终极盾牌。
这是当年邱成梧老爷子的成果。
他早就知道陈辉算是邱成梧的徒孙,也只有邱老亲自指导,才能如此巧妙的运用这个成果。
EnergyDissipationRate≤Λ∣c1∣
在这篇论文中,陈辉构造了以为底空间、以涡度相空间信息为纤维的非交换纤维丛。
其第一陈类c1如同高悬的达摩克利斯之剑,以绝对的上界姿态,冷酷而精确地钳制住了涡管湮灭时最狂暴、最不可预测的能量耗散!
拓扑的“骨”与复几何的“魂”,在陈类的数值上完成了终极统一。