第179章 杨米尔斯方程已经证明了？（二更）

舒尔茨和陶哲轩也走出了报告厅，见到陈辉本人，跟他交谈之后，他们从一开始就不认为抄袭者是陈辉，只是没想到陈辉能够如此干净利落的完成自证，这在学术界并不是件容易的事情。

两位如今数学界最年轻的菲尔兹奖得主，都仿佛从那个小家伙身上看到了自己年轻时的模样。

“原本我有机会收他做学生的！”

舒尔茨看向正往纽约宫酒店走去的陈辉，叹息一声，忽然生出了一丝后悔，他认为，以他在如今数学界的成就和名气，如果当时在IMO颁奖典礼上更重视一些，陈辉或许已经是他学生了。

陶哲轩就要洒脱许多，“有这样的天才数学家作为朋友和对手，不更是一件令人兴奋的事情吗？”

“就像你和我，如果这个世界没有你的存在，那就太无趣了！”

“如果他真当了你的学生，就没有这样的乐趣了。”

“陶，你是对的！”

舒尔茨洒然一笑，“真期待这个小家伙下一次出现在会议上时，会给我们带来怎么样的惊喜。”

“这次他的报告不是还没开始吗？”

“说不定就在这次呢！”

陶哲轩意味深长的笑着说道。

舒尔茨则是微微摇头，“他那篇论文的确很有意思，但还缺少太多东西，想要通过数学模型去预测材料特性，光凭他那一篇论文可不够。”

“如果使用量子计算机去验证他的模型呢？”

陶哲轩喃喃自语的说道，“人力有时穷，但计算机的算力，理论上是没有上限的，通过计算机去跑他的模型，就能得到无数可用的材料结构，然后选取有用的结构通过实验验证……”

他和舒尔茨都是将计算机引入数学证明的拥护者和推广者，想到这一点是自然而然的事情。

“英雄所见略同，这也是我来到这里的原因！”

舒尔茨看向陶哲轩，有种惺惺相惜的感觉。

是的，他们这次来到这里，并非完全是为了朗兰兹纲领和杨米尔斯方程的证明。

朗兰兹纲领的证明他们已经看过了，基本可以认定论文没有问题，即便对其中细节感兴趣，或许也可以不用特意在圣诞节，抛下家人跑这一趟。

至于杨米尔斯方程存在性的证明，他们并不是很认同，虽然他们还没有找到其中的问题所在，但出于数学家的直觉，他们感觉到了证明过程中的漏洞，自然更不会为了这个特意跑这一趟。

或许连他们自己都没察觉到，他们来这里，更多是为了一个小家伙的，不起眼的三十分钟报告会。

那篇论文现在或许还没有太大的价值，但他们看到了其中巨大的潜力。

……

黑圆乡村报，编辑部，张凯萌照例在网上浏览外网的新消息。

很快，一条学术界的消息就引起了他的注意，

【重磅，抄袭事件竟有反转，华夏小子在论文中留下致命陷阱】

【震惊，研究生抄作业也会犯这种错误……】

【防抄袭的高级技巧，来跟这位神奇的华夏小子学习】

【抄袭自证，欧洲数学学会会议，两条神奇的引理】

看到这些骇人听闻的新闻标题，张凯萌撇撇嘴，西方的月亮也没有比较圆，如果翻译成中文，这些新闻也跟UC震惊部差不多。

与蓝方都市报不同，他更喜欢搬运些正能量，符合华夏人民价值观和利益的消息。

这或许也是他们报业能够活到现在的原因，当然，这也是他们公司一直都是半死不活的原因，不挑起矛盾对立哪来的流量。

前些天那场媒体业的大地震，几乎让80%的媒体，不管是纸媒、节目还是新媒体，甚至不少网络大V网红都受到牵连，或是停业整顿，或是连根拔起，如今的华夏媒体业，已经大猫小猫的只剩下他们这三两只了。

整

个华夏网络环境都为之一清，但弊端也显现了出来。

竟然连菲奖热门候选人前往欧洲数学学会会议，都没有派人前去现场报道，可想而知如今华夏媒体业如今的状况。

他们黑圆乡村报不过是一家小媒体，自然没有实力派记者去现场报道，只能通过关注外网消息的方式来做转载，或者进行二手报道。

不过张凯萌看到的这条消息并非菲奖得主，而是袁新毅的学生，陈辉。

前阵子抄袭风波在东西方都很是火了一阵子，作为新闻从业者，他也亲眼见证了那场风波。

原本他也以为这件事会跟以前的抄袭风波一样，最后不了了之，没想到陈辉在欧洲数学学会会议上竟然打了个漂亮的翻身仗。

身为华夏人，张凯萌只感觉扬眉吐气！

没有犹豫，张凯萌开始从西方权威媒体搜集资料，询问熟识的亲历媒体人，尽可能的还原当时的真实情况，过了三个小时后，他才开始动笔，根据自己搜集到的资料写了一篇报道。

……

【大快人心，华夏学者在欧洲数学学会重挫米国佬的阴谋】

【华夏数学家证明朗兰兹纲领，获得国际同行一致好评，或预定菲奖】

【名师出高徒，抄袭风波真相大白】

随着张凯萌报道发布，华夏硕果仅存的一些媒体也纷纷跟进，虽然依旧猴急，但报道已然偏向正面，足以见得前段时间的大清洗是有很好效果的。

网友们却没有感受到那场大风暴，不少人对这些报道依旧持怀疑态度，甚至还认为至今都没有大媒体出来报道，说明这些都是假新闻。

他们却不知道，他们认为的那些大媒体，一个不落的，全都被扫进了历史的垃圾堆，是没机会出来报道了。

但这些争论都在江城大学官方发布通告后，变成了一面倒的狂欢，

【抄袭风波画上句号，我校陈辉同学在欧洲数学学会会议上完成自证，请看VCR】

媒体业遭受重创，江城大学也是有自己宣传部门的，这次袁新毅可是去汇报朗兰兹纲领证明，是世界级、菲奖级的成果，江城大学怎么可能不派宣传人员去现场跟进。

陈辉答富兰克林的全过程他们自然也拍到了，不止他们拍到了，大多数西方媒体也都拍到了。

有图有真相，连全过程视频都有，还有多方佐证，这下子就算是嘴再硬，脑子再被清洗得迷糊的人，也没法再反驳了。

“666，陈大神牛皮（破音）”

“我想给大神生猴子”

“在论文里放一条看起来显然，但实际并不显然的引理，这很正常，很多数学家都是这么玩的，比如高斯，比如欧拉……但在论文里放一条错误的引理，最后还不影响论文结论，属实是闻所未闻，难道他真是个天才？”

“醒醒，人家十六岁就发数学年刊了，是不是天才还有疑问？”

“陈辉是我们班的，入学的时候我就看出来这家伙不是凡人了！”

“隔着网线我都能看得出来你是个逗比……”

江城大学官号评论区下一片欢乐的景象，竟然难得的没有以前那般戾气争论。

一番清扫，竟然让妖氛荡然无存。

媒体拥有引导的职责，因为相对来说，他们是拥有更多内幕，更高视野，能够看到更多真相的存在。

可惜之前他们为了流量，肆意挑动对立，偏帮，将网络搅得一片乌烟瘴气。

他们的确是引导了，却没有往正确的方向引导。

就在大家激烈讨论时，一条围脖冲上了热搜。

发帖人叫陈光军，还是经过认证的红V用户，简介是江城大学学生，发的围脖内容更是一张圣诞节夜酒会的照片，照片是在一处豪华宫殿之中，有见识过的用户一眼就认出来了，这宫殿是布达佩斯的纽约宫酒店，也是此次欧洲数学学会官方提供的住所。

如此暧昧的用户名，加上简介中的江城大学学生，配上暗示这么强的照片，再加上配文【布达佩斯的圣诞节，美妙的夜晚是吹响反击号角的开始】

让大家不由得浮想翩翩。

不少人都认为这人就是陈辉本人，于是纷纷在下面评论。

“活捉一只大神，前排合影”

“前面的往后稍稍，我长得帅，让我先来”

“在？抽篇论文吧，别逼我求你”

“大神可以传授一下一区SCI的技巧吗，我好想毕业”

“来来来，大神看这里，看镜头，西瓜甜不甜……咔擦”

“大神看私信，我想到了一个证明杨米尔斯方程的绝妙方法，私信发你了，看到请回复”

不少人也隐约觉得这并不是陈辉本人，但既然这么多人在评论区玩梗，他们也欣然加入其中，于是，奇妙的一幕就出现了，就这样一个素人的围脖，竟然直接被顶到了热搜上。

这位陈光军的用户，也从几十个粉丝瞬间涨到了十多万。

围脖后台，运营部景新看着那位陈光军用户的后台数据，扼腕叹息。

只是一个高仿号都算不上的号，都凭这次东风斩获了十多万粉丝，要是陈辉能听他的建议，在围脖注册账号，现在只需要发一条围脖，就能起号了。

多好的机会，多少网红求之不得的机会，那个家伙竟然不珍惜。

真是太可惜了！

……

陈辉不知道东西方网络上的狂欢，此时的他已经回到酒店，桌上放着一篇新打印出来的论文——《四维非阿贝尔杨-米尔斯方程的全局存在性与正则性：基于规范固定与非线性压缩分析的严格证明》。

这些天他一直忙着研究杨米尔斯方程，那种只差一步就能大功告成的感觉太过美妙，让他根本无暇他顾，甚至都没有注意到，就在他参加的这场会议中，竟然就有一场关于杨米尔斯存在性证明的报告会。

竟然已经有人提前证明了杨米尔斯方程的存在性！

刚看到这个标题时，陈辉是很惊讶的。

这倒并不会让他这些天的努力全部白费，但至少会让他的成果价值大跌。

当看到这场报告会的汇报人时，陈辉没有任何犹豫的放下了手中所有事情，将这篇论文打印出来。

【本文针对四维欧氏空间中非阿贝尔杨-米尔斯方程解的存在性与正则性难题，提出了一种基于广义规范固定与非线性泛函分析的全新证明框架。通过引入加权Sobolev空间H2，δ(R4，g)并构造广义库仑规范条件，我们将非线性杨-米尔斯方程转化为一类强制性椭圆方程。借助改进的Nash-Moser隐函数定理与Banach不动点定理，证明了方程在低能量条件下的局部唯一解存在性，并通过Uhlenbeck型紧性定理与解析延拓技术，将结果全局推广至物理闵可夫斯基时空。进一步，利用Osterwalder-Schrader公理化场论方法，验证了所得解的幺正性与物理可观测性……】

刚看到标题时陈辉还抱着找茬的心态来看这篇论文的，但看完摘要，他的神色变得认真起来。

他已经研究杨米尔斯方程有一段时间了，简单思考一下，这篇论文摘要中提供的方法，似乎真的有希望解决这个问题。

收敛心神，陈辉抛去所有杂念，开始认真研读起这篇论文来。

三个小时后，陈辉翻到了论文最后一页，研读了这么多论文之后，他看论文的速度已经很快了。

这篇论文的证明步骤并不复杂，先是在四维空间中，采用广义库伦规范μAμa=fa(x)，构造希尔伯特空间，随后分解杨米尔斯方程，将杨-米尔斯方程DμFμνa=0重写为ΔAνa=Qa(A，A)+低阶项。

然后引用改进的Uhlenbeck定理：“任何满足∥F∥L2