学霸的黑科技系统
四月底。
学术界发生了一件大事。
在最新一期《数学年刊》上，用了足足四十页纸的篇幅，刊登了关于杨米尔斯方程解的存在性证明的论文。
这一消息一经确认，立刻在国际数学界、物理学界引起了轰动。
国际知名数学论坛MathOverflow上，关于这件事情的讨论已经炸开了锅。
【你们听说了吗？杨米尔斯方程解的存在性被证明了！？】
【早上就听说了，不过这事儿现在还没定论吧。】
【能在《数学年刊》上登刊还不能算定论？审稿人可是查尔斯·费弗曼！】
【论文我还没看完，里面涉及到L流形的理论我不是很了解，要看懂还得结合他18年发的那篇关于L流形的论文，然后我还得去恶补微分几何，头疼……总之，这种大佬的投稿，就是有毛病也不是一般人能挑出刺来的，最后的结果究竟如何，还是等报告会开完了之后再说吧。】
因为包括陶哲轩、舒尔茨在内很多新生代数学家，都在这家网站注册有自己的账号的缘故，MathOverflow上的话题热度，基本上可以反应出一件事情在数学界圈内引发的反响究竟是多么的轰动。
而上一次产生如此程度的讨论，还得追溯到两年前，阿提亚爵士和他那篇五页纸的论文了……
热议不只是发生在专业的学术性论坛上。
即便绝大多数人连杨米尔斯方程怎么写都不知道，但对于千禧难题却是不算陌生的。
几乎就在论文出来的第二天，相关的新闻便出现在了各种新闻网的头推送页，并且引来了无数吃瓜群众们的围观。
而相比起MathOverflo上理性的讨论，推特和脸书上网友们的反应就更加情绪化了。
【陆舟？论文的作者是那个陆舟？如果我没记错的话，就在两年前他才解决了一个世界级的数学难题！】
【是NS方程！七大千禧难题之一！我还记得他的报告会是在那年的里约国际数学家大会上！】
【连续挑战两个千禧难题，中间只隔了不到两年的时间……上帝，他是怎么做到的？】
【期间顺手还解决了可控聚变？】
【哈哈，也许是来自东方的神秘力量？】
【这太疯狂了！】
【……】
虽然自从七大千禧难题公布以来，便不乏前赴后继的挑战者。
但关于杨米尔斯方程的命题，却鲜有人在这一领域取得过如此关键性的成果。
如果能够通过数学的方法，证明杨米尔斯方程的解是存在的，那么想来求出这个通解具体是什么的那一天，应该也不会太过遥远。
由于这件事情的影响过于重大，就连很少关注数学领域研究进展的《自然》，也节选了这篇论文摘要部分的两百字，在新一期的刊物上对其设置了“Highlight”，并且部分节选展示在了封面。
而与此同时，在接受《科学》杂志的记者采访时，论文的审稿人费弗曼教授对这篇论文运用到的数学方法，给予了相当高的评价。
“很少有人能同时在三个以上的数学领域中，分别达到极致的水准。而他不仅仅做到了这一点，并且将偏微分方程、微分几何、拓扑学三个截然不同的方向融合在了一起，在此基础上衍生出了一种全新的数学方法。”
记者：“是那个神奇的L流形吗？”
费弗曼：“是的。”
记者：“可是有人评价说，他在证明杨米尔斯方程解的存在性时，并没有再次基础上创造新的数学工具，仅仅只是对在解决NS方程时创造的数学工具进行重复利用……请问您怎么看这种观点？”
一个数学命题的价值并不是体现在命题的本身，而是体现在解决这个命题时所能创造的数学方法。
如果这篇论文只是用数学的语言，告诉人们杨米尔斯方程的通解是存在的，却不能为求出这个通解铺平道路，那么即便它同样算是一份出色的成果，但也很难达到杰出的水准。
费弗曼：“我认为这种观点是不客观的。体现一个数学猜想价值的不一定非得创造一种全新的数学工具，它也可以是对现有的数学工具进行完善，或者哪怕只是一种抽象的数学思想。”
记者：“你认为他在此基础上强化了L流形的理论？”
费弗曼点头：“没错。一个理论从生涩发展到成熟，往往需要五年甚至是十年的时间，以及无数个数学命题的积累去沉淀。很少有人能在短短两年的时间里做到这一点，但他却做到了。”
“通过引入L流形的方法，他成功在偏微分方程和微分几何之间搭建了一条桥梁，并且将拓扑学的思想和方法引入了进去。如果要我用非专业的语言进行描述的话，他的做法便是让方程变得不再是纯粹的方程，而是一种存在于特殊空间内的几何。”
记者：“这太抽象了，能说的更具体点吗？”
费弗曼耸了耸肩：“就好像是在一个不规则的图形上做了一条辅助线，经过一种特殊的变化，让原本复杂的东西能变得一目了然。”
记者：“可是我注意到，Arxiv上跟进这方面研究的人很少。虽然这个数据可能不够客观，但如果它真的这么管用，为什么没有人去考虑用它。”
费弗曼：“这个问题很简单，你不能指望一个诞生不到两年的理论，立刻成为学术界的主流，就算是格罗滕迪克也做不到。不说深入研究它，就算是学会用它，也是需要一定的时间……更何况，这种方法存在一定的门槛。”
记者：“所以，你对他的工作评价很高？”
费弗曼：“是的，而且我相信任何真正看懂了那篇论文的人，都会产生和我一样的想法。”
记者：“最后一个问题，可能与杨米尔斯方程本身无关……当然，您也可以不发表看法。”
费弗曼笑了笑说：“你问吧。”
记者：“你认为他有可能成为本世纪最伟大的数学家吗？”
这是个很难的问题。
毕竟二十一世纪也才刚刚开了个头而已。
在记者热切目光的注视之下，费弗曼想了一会儿，开口说：“这取决于黎曼猜想是否能在本世纪得到证明。如果不能的话……”
说到这里，他顿了顿。
“那么毫无疑问，不是可能，他已经是了。”
——
推荐一本幼苗，《抱歉，有系统真的了不起》，作者是个老司机，可以放心食用~
