第(1/3)页 许青舟早就在arXiv上公布了自己证明黎曼猜想的论文,可和克雷研究所正式宣布又不一样。 公布成果可以获得学界讨论,甚至能获得80%的学者支持,可知识产权仍处于模糊状态,仍然可被质疑为“部分验证非完整证明”。 个人公开相当于在学术广场发表宣言,克雷认证则是文明议会颁布法典。 克雷研究所在官网上宣布许青舟的成果,算是真正的盖棺定论,在黎曼猜想的证明之路画上一个句号。 可以说,通过克雷认证,黎曼猜想的解决才能从「个体突破」升维为「文明公理」,当然,这是夸张点来说的,数学真理是否正确并不是以人的意志为转移,更不依靠一家研究所的背书。 但不可否认,质疑的人会少百分之九十以上。 网上热议不断,官方媒体都转发了相应的新闻。 许青舟倒是没啥激动的,生活按部就班,闷头计算。 两天时间过去,网上的热闹终于散去,而在京大和MIT的图书馆,分别建立了“黎曼猜想专题档案馆”。 而办公室,许青舟却盯着面前的手稿发呆。 在他搞定了离子的剧烈热运动导致自旋极化退相干时间难以为自旋锁定效应提供稳定载体的问题后,量子自旋-动态拓扑耦合模型又出现三个技术难点。 第一点,跨尺度建模的计算复杂度,相场法与拓扑优化的时空分辨率差异需自适应网格,导致计算耗时增加3-5倍。 这对于研究所的超算而言小菜一碟。 第二点,实验-模型协同验证难度,锂沉积的动态成像需要同步辐射XAS+冷冻电镜联用,这个对于许青舟而言不是问题。 可别忘了,他光是花了一个多亿购买电镜,捕捉锂沉积的动态小菜一碟。 第三点,非线性系统的数值不稳定性,可能是最棘手的问题。 数值解在非线性耦合项,如双阱势与SIMP惩罚因子的迭加下,雅可比矩阵条件数骤增至(>10^{12}),导致迭代轨迹偏离真实解。 形象点说,如同过山车在急转弯处失控脱离轨道,织布时一处线头松脱引发整幅布料解体。 助理王思冬敲门进来。 “教授,这是任院士让人送过来的紧凑型磁体系统建设方案。” 王思冬递来一份文件。 “好。” 第(1/3)页