第640章 轮到你来读了（上）（今天还有一章）（1/2）
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。
韦伊的罗塞塔石碑是出自于1940年安德烈韦伊在监狱里给他妹妹写的一封信。
他在信里把数学比作了一块刻著三种文字的石碑。
这三种文字分别代表著研究整数和素数的数论、研究曲面的几何，还有研究有限域上曲线的代数。
这三门看上去毫不相干的学问，但它们的轮廓却出奇的相似。
所以韦伊断定，它们从本质上来，都是能用同一种语言书写出来的。
也就是在鲁昂的那座监狱里，韦伊证明了有限域上曲线的黎曼猜想。
照理来，既然有限域上曲线的黎曼猜想都已经被证明了，那照著这套证明翻译过去数论里的黎曼猜想也就能被证明出来了。
可不管数学家们怎么去翻译，中间总是缺了一样东西——只有一个元素的域！
按照定义来，一个域里的0和一必须是两个不同的数，只有一个元素，那就等于是0就等于1，所以这样的域根本就不可能存在。
可偏偏数学家们又不断地发现，很多公式只要把域里元素的个数换成1，结果居然都得通，好像这个不可能存在的域本来就该在那里一样。
于是人们给它起了一个名字，叫做一元域。
将近80年过去了，谁也没有能够把一元域找出来。
而李东刚才在草稿纸上写的，就是一元域的轮廓，黎曼猜想只不过是他迈出的第一步。
要是李东真的能把一元域找出来，那韦伊的证明就能原封不动地翻译到数论里，石碑上的三种文字也就彻底的贯通了。
再加上李东之前找到的朗兰兹纲领里最核心的函子性。
到那个时候，数论、几何、代数、分析，数学这门学问，就可以全部用一种语言来描述了。
人类也就能够真正看清上帝在创造数学的时候是怎么想的了。
田钢手里的那篇论文，不知道什么时候已经掉到了地上。
他看著不断推演的李东，眼神里竟然带上了几分惊恐。
难道这子真的要……
就在这个时候，李东突然把笔往桌上一扔，然后伸了一个大大的懒腰。
“哈哈，搞不定。”
田钢：……
不是，你搞不定你笑个毛线啊？
田钢在心里暗骂一句，可骂完以后，他又觉得自己有些太不知足了。
黎曼猜想都已经被证明了，自己居然还嫌不够。
至于一元域，李东搞不定，那不是再正常不过的事了吗？
这个时候，李东也发现了田钢站在他的身后。
“哎，田老师，你什么时候来的？”
田钢笑著道。
“刚到。”
完，他又指了指桌上的那张草稿纸。
“你……把黎曼猜想证明出来了？”
李东点了点头。
“嗯，对，实话还挺难的，前前后后花费了我半年的时间。”
田钢听到他这句话，心里那叫一个气不打一处来。
黎曼猜想耽搁你半年？还挺难？
你自己瞧瞧，你的是人话吗？
这个时候李东也注意到了地上的那篇论文，他弯腰把它捡了起来。
“田老师，这是？”
田钢刚进门的时候还觉得手里的这篇论文是天大的事，现在却只能够尴尬的笑了笑。
“没啥，没啥，就是有人借著AI把德布鲁因纽曼常数压到了十亿分之一而已。”
“不是什么大事。”
李东听到他这么，倒是来了兴趣。
“田老师，那我先看看啊。”
其实证明黎曼猜想的路从来都不止一条。
有人从算子上找，有人想走韦伊的那条路，也有人去压德布鲁因-纽曼常数。
而压常数这条路呢，每一步都有迹可循，所以走的人最多
现在有人用AI一口气将其压到了十亿分之一，眼看著距离0就只差那么一点了，李东当然有些好奇。
论文他翻得很快，里面有几处估计，确实做得相当的漂亮。
可看完以后，李东就知道，用这个方法永远都证明不了黎曼猜想。
因为它实在是太老实了。
这个论文里把这个常数一位一位的往0上去推进，每一步都相当的扎实。
可不管他怎么推进，推进到第几位，这个常数和0之间，永远都隔著一位。
而黎曼猜想从诞生以来，就不是一个老实的猜想，黎曼也不是一个老实的人。
所以要证明黎曼猜想，这种老实的方法根本行不通，它需要某些人的灵光一闪，指著黎曼猜想道。
“这个证明天生就该是这个样子的，不需要人去证明，只是在等待人发现。”
李东看完就把论文还给了田钢。
“田老师现在数学界怕是因为这篇论文，已经慌得不行了吧？”
田钢皱著眉头点了点头。
“可不是吗？一个个的，天天就担心AI要把数学给干没了，一点深沉都没有。”
他这话的时候，脸不红心不跳的，完全忘了自己刚看到这篇论文的时候，心里慌成了什么样。
李东笑著听完，然后指了指桌上的电脑。
“那田老师，就麻烦您把我的这篇论文投到PMJ吧，正文我前几天就整理好了。”
田钢此时搓著手，笑著答应下来。
“行，交给我了。”
李东打了个哈欠。
“好的，那我就先回去睡一觉，这一个多月都没怎么睡。”
……
次日上午，燕达PMJ编辑部。
杨胜果端著保温杯坐在办公室里，眉头皱著。
这段时间，PMJ收到的投稿里，借著AI做出来的论文是越来越多了。
有一些一看就是胡八道，公式套公式，连定义都是错的。
可也有一些是真的对，形式化验证也跑通了。
这样的稿子到底该怎么审？燕大学术期刊中心前前后后开了好几次会，最后也没有定下个结论来。
特别是在数学年刊发了那篇关于德布鲁因常数的论文以后，问题就更严重了。
以前这些论文再怎么借用AI，作者栏里的署名都是数学家的名字，AI顶多算是个工具。
但那篇论文的作者栏里，排在第一位的可是OpenAI啊。
此时纪明川拿著两份稿子走了进来。
“杨主任，川大何老师那篇做短区间素数分布的稿子，送审都快两个月了，今天早上同一个问题又投进来了一篇论文，证明是完整的，但是作者署名里，有一个大模型。”
“所以咱们到底发哪一篇呀？”
杨胜果看著面前的两份稿子，眉头皱得更深了。
川大的何译文老师，他是见过的。
去年在蓉城开会的时候，何老师拉著他聊了半个钟头，短区间的素数问题，他已经做了3年了，下一回评副教授就全指著它了。
可问题是他只证了一半呀！
而另一个稿子，是完整的证明。
杨胜果这叫一个纠结呀。
就在这个时候，他办公桌上的电话响了起来。
杨胜果看了一眼来电显示，赶紧接了起来。
本章未完，点击下一页继续阅读。