第249章 舒尔茨的顿悟 (2/5)
p;刚走进实验室,手下博士生伦纳德露出灿烂的笑容。
陶哲轩也不在意,这些西方人就是这样,有时候自信得让人感觉他们是个傻子,但真做起事来,这样的心态反而能有意想不到的收获,他已经习惯了。
最近他们正在进行的是一个叫等式理论计划的研究项目,这是陶哲轩自己提出的项目,旨在探索代数领域中原群等式之间的逻辑关系,他大胆的开创了人类数学家与AI协作的新型研究范式。
通过分析4694个原群等式之间的2202942个逻辑蕴含关系,建立完整的数学结构图谱,如果使用传统方法,至少需要数十年才能完成,但通过人机协作,他们只用了57天!
目前这个成果已经进入论文撰写阶段,陶哲轩也很开心,他的成功只是他个人的一小步,却是人类的一大步。
这次成功,验证了去中心化数学研究的可行性,为复杂数学问题提供可扩展解决方案,可以预见,未来一段时间,人类数学家结合人工智能将会做出一大批令人震撼的成果。
来到自己的位置,打开电脑,陶哲轩打开邮箱,这是他的工作习惯,每次开始工作前,先将邮箱中的事务处理一遍。
至于撰写论文的工作,自然轮不到他去做。
按时间从早到晚排列收件箱,看到陈辉给自己的回信,陶哲轩洒然一笑,他自己年轻时也经常陷入这种状态,不理会外界任何事情,自然能理解陈辉之前两个月都没有回自己邮件。
想了想,陶哲轩将自己这些天的成果在邮件中简单描述一番,回复了陈辉的邮件。
点开最后一封邮件,陶哲轩发现竟然是一份审稿邀请。
这一次并不是某个期刊杂志的审稿邀请,而是国际数学联盟发来的邀请。
“纳维斯托克斯方程证明?”
陶哲轩咂咂嘴,如果不是发件人的确是国际数学联盟,他根本不会点开多看一眼。
“陈辉?”
然而,当他点开附件,看到这篇论文的作者时,他的神色顿时变得严肃起来。
结合刚才陈辉回复他的邮件。
所以,他这几个月就是在研究纳维斯托克斯方程?
并且还完成了证明?
陶哲轩没有急着审稿,而是将论文下载下来,打印出来,这才深吸一口气,全身心投入到这篇论文之中。
“将物理时空嵌入精心构造的四维复流形,其上的凯勒形式巧妙融合了时空度量与涡度耗散。”
(R3×[0,T])X,with Kahler form K∣R3×[0,T]=dx∧dy∧dz∧dt+νdω∧dω
“妙啊!”
“妙啊!”
看着这个式子,陶哲轩赞叹不已。
在证明的边界满足强拟凸性后,-Neumann算子这把复几何的神剑,终于爆发出其无与伦比的威力,关键常数C与雷诺数无关,意味着奇点邻域的正则性牢不可破!
陶哲轩仔细阅读证明过程,发现陈辉巧妙的引入了奇流熵单调性公式,化用为压制非线性项发散的终极盾牌。
本章未完,请点击下一页继续阅读