我的学习群里全是真大佬 第826章

  几乎在奖励出现的同时,李东的专注从 0.6变成了 0.7。

  紧接着,他只感觉脑袋一疼,耳朵传来嗡的一声,可还没等他感受这个疼痛,那个嗡鸣声就已经消失了,意识也重新恢复了清明。

  李东皱了皱眉头。

  他感觉好像有什么地方不一样了,可是又说不上来是哪里不一样。

  而此时,记忆宫殿中那份黎曼手稿上,突然出现了几条从未显露过的公式。

  只是这一切,李东都还不知道。

  他又闭上眼睛仔细地感受了一会,仍然没有找到那一处异样。

  随后,他睁开了眼睛,没有再管,而是看向了杨先生上一次回复他的那句,我等着你。

  “杨先生,这就是您给我这场考试发的奖励吗?”

  “谢谢啦。”

  “不过,我虽然为你这套理论在数学上补齐了证明,但是我觉得它还需要一个落地的地方。”

  想到这里,李东关掉了青龙学习小组,就准备出门去找林毅。

  可刚走到门口,他愣了一下,又想起了之前点过赞的那条评论。

  【要是数学家真这么重要那他们也去证明一下千禧年难题给我们看看呀。】

  “哎,我这人还是太好,有求必应。”

  李东自言自语地又回到电脑前,将这份论文整理了一下,发给了顾铭。

  “帮我投 PMJ。”

  发完以后他觉得少了点什么,又补充了一句。

  “记得标注一下,用时 68个小时。”

  做完这些以后,李东就吹着口哨出了门。

  ……

  此时网上关于人工智能是否应该继续依靠算力抢先攻克数学难题的争论还在继续着。

  OpenAI虽然没有针对 25位菲尔兹奖得主的联名声明做出回应。

  但他们却悄悄撤回了对 mathathon的赞助。

  mathathon是一项以人工智能辅助数学研究为主题的团队竞赛。

  参赛者要利用赞助方提供的算力资源,在规定时间内挑战尚未解决的数学问题。

  因此,OpenAI撤销赞助的举动,在外界看来,其实已经是对这场争议做出了回应。

  然而这个举动却遭到了一部分人的不满。

  “不是,OpenAI,你们不能怂啊!”

  “现在 AI都已经发展到这个地步了。”

  “你们为什么要停下来呀?”

  “对啊,不可能因为外面的人还在用铲子,你们就不用挖掘机了吧?”

  很快有人反驳这一部分人的说法。

  “我想你们理解错了,数学家们说的从来不是不准人工智能去碰数学。”

  “你们看看未央的数学版,现在做数学研究的有多少人不用它检查推导、整理证明?”

  “要知道,未央到现在为止,分数依然是断层领先其他人工智能的。”

  “那他为什么没有暴力的去破解这些数学难题呢?”

  “因为未央从发布的时候就说过他是数学家的助手和同伴,他知道一道证明一道猜想的价值不仅仅是要最后的那个结果。”

  “为了去抢那些结果,就用黑盒的方式暴力破解那些原本可能催生更多的新思想、新工具的猜想和难题,这样做真的有价值吗?”

  “哎,我说你们这些为数学家辩解的人,翻来覆去就只有这么一套吗?价值价值,价值在哪呢?我咋没看到呢?”

  “我现在只看到 AI破解了千禧年难题,这就是他们的价值,而你们说的价值呢?”

  就在网上争论不休的时候。

  两天后,PMJ的官网上刊登出了一篇最新的论文。

  《四维量子杨米尔斯理论的非微扰构造与质量间隙。》

? 今天可能晚点

  已经熬了一个通宵了,然后写到现在,发现写的跟坨狗屎一样,准备删掉重新写,所以今天要晚一点了,我今天已经给公司请假了,一定会把它赶出来的。真没偷懒附上码子记录。

? 第603章 李东教授不是这么狭隘的人

  李东关于杨米尔斯存在性与质量间隙问题的论文发出来以后,顿时吸引了全球所有人的目光。

  要是换做平时的话,第一时间关注这个事的,无非就是数学圈或者物理学圈。

  但这一次,却加上了杠精圈。

  因为李东发的这篇论文的时间实在太巧了。

  大家前几天还在杠,数学家是不是不如 AI啦?不,甚至是顶尖的数学家都不如 AI啦。

  毕竟 7道千禧年难题,人类数学家只攻破了一个。

  而 AI在这些某些的眼里已经攻破了一个半猜想了,甚至马上第二个、第三个也会跟着出来。

  所以李东这篇论文的出现,就是在赤裸裸的打他们的脸。

  华夏,南开大学数学科学院的一间男生寝室里。

  此时寝室的灯已经熄了。

  一个男生正在自己的床位上,刷着短视频。

  这时,手机的顶部弹出了一条新华社的新闻。

  【千禧年七大数学难题之一的,杨米尔斯存在性与质量间隙的问题,已被人类数学家菲尔兹奖得主、诺贝尔物理学奖得主李东院士攻克。】

  男生的笑容僵住了,然后揉了揉眼睛,最后点进了这篇新闻里。

  1分钟后……

  安静的男生寝室里突然传出了一声吼叫。

  “卧槽,牛逼呀!”

  寝室里的其他人被这一声吓得一激灵。

  “刘阳,你神经病吧?大半夜的不睡觉,你在这发什么疯?”

  “你们快看,李东,不,东神……东神他把杨米尔斯存在性与质量间隙的问题给解决了。”

  原本那几个迷迷糊糊的室友,听到这话,立马坐了起来。

  “卧槽,真的?”

  “真的,新华社刚发的视频。”

  “好好好。”

  “上次在评论区给我杠AI比数学家牛逼的逗比们,等着,你们的爸爸回来了。”

  然后几人都翻身下床,有的拿手机,有的开电脑,就准备开始在新的战场里战斗。

  然而当一切都准备就绪的时候,他们却找不到战场了。

  整个网络上,除了新华社的视频以外,就没有任何的营销号、科普号来报道这件事情,顶多就是转发了一下新华社的那个视频。

  “哎,不对呀!这些营销号还有科普博主,今天动作这么慢吗?这么大的新闻,不第一时间起来蹭热度?”

  又过了 10分钟,他们实在找不到战场了,其中一个室友提议道。

  “要不咱们就在官媒下面去战斗?”

  “你傻呀在官媒下面战斗,我们的战斗力会被限制的。”

  “哎,也是,那就再等等吧,那些营销号搞快一点啊。”

  ……

  凌晨 2点,天津NK区,一个建于上世纪 90年代末的老小区里。

  周旭是一个拥有 120万粉丝,专门科普和杨先生相关知识的科普博主。

  此时他正红着眼睛,看着眼前 PMJ上的论文。

  他短视频的后台里,催更的消息已经到达了 999的上限了。

  但他一条都没有回复,因为此时的他三观有点崩溃。

  他自认为对杨先生的所有研究都有着很深的理解。

  虽然他不是做科研的,但宇称不守恒啊、非阿贝尔规范理论啊,他都能给他的观众科普的清清楚楚。

  更别说是千禧年难题之一的杨米尔斯存在性与质量间隙的问题了。

  可是现在眼前的这篇论文,他才刚看到第一页的规范协变分块消元变换的时候,就直接卡死了。

  “这是啥啊?”

  “为什么把块内的场变量积掉以后,块边界的规范协变性还能保留下来啊?这个平行输运又是怎么放进去的?”

  这个新出现的数学工具,他别说没见过了,听都没听说过。

  于是他连忙打开网页,开始在网上搜索。

  然而却没有找到任何和这个新工具相关的条目。

  然后他又试着把工具名拆开,把后面的变换去掉,又把前面的限定词带上。

  这下倒是能搜出一些相关的东西了,他也能看懂。

  可是网页上搜索的东西和这个新工具不是一回事,根本就没办法带入论文里。

  最后他实在没办法了,就点开了 OpenAI的界面,将这个数学工具里关于块边界的定义和那一步积分复制了上去。

  然后让 GPT告诉他这个数学工具到底是怎么出现的?为什么能让分块后的有效作用量保持规范不变性?这个数学工具真的成立吗?

  随着 GPT开始思考,时间一分一秒地过去了。

  半个小时后,AI总算给出了答案。

  【这个方法对块内场变量积分时,破坏了边界的规范协变性,所以规范协变分块消元变换法是错误的。】

  周旭看着这个结果,整个人愣住了。

  错误的?

  他又看了看自己刚才给的条件,是不是给少了?

  没少啊。

  这个时候要是换做其他人写的论文,他可能都开始准备打假了。

  但这是李东院士的论文啊,他怎么可能会出错?

  他皱着眉头想了想,最后又把这个问题换了一个问法。

  他把问题的最后一句“是否成立”换成了“请逐步推导到这一步”。

  这一次,AI又开始了漫长的思考。

  一个小时以后,周旭都快以为 AI被卡死了,它终于给出了回复。

  【块边界保留的平行输运与边界收缩规范指标后,端点的规范变换因子相互抵消,因此……略】

  【所以,这个数学工具成立。】

  就在周旭以为 AI已经回复完了的时候,聊天窗口里又给出了 AI自己的判断。

  【这一工具为非微扰规范场的多尺度分析提供了新的构造途径。】

  【是数学史上最伟大的数学工具之一。】