第641章 轮到你来读了（下） (第2/2页)
脆就不停了，一直在震动。
布伦内克把笔往桌上一拍，然後拿起手机就要关机。
可是来电显示让他停了下来。
【布拉德·罗杰斯。】
罗杰斯是加拿大女王大学的数学教授。
16年前，在里约布伦内克当着几千人的面点名批评过他和陶哲轩。
这些年，两个人在会上也碰到过几回，可是每一次都只是点个头而已，一句话也没说过。
布伦内克犹豫了一下，最终还是接了起来。
“布伦内克教授。”
电话那头的声音很是平淡。
“我刚发了一份论文到你的邮箱里，建议您现在就看看。”
布伦内克皱起了眉头，正要问这是什麽意思的时候，罗杰斯又说道。
“李东教授，已经把黎曼猜想证明了。”
布伦内克听到这话，手机差点都没拿稳，他张着嘴巴半天说不出话来。
电话那头也沉默了一会，罗杰斯用一种很复杂的语气说道。
“我给你打这个电话，并不是想看你的笑话，我只是觉得这件事你应该知道。”
说完，他也没等布伦内克开口，就把电话挂断了。
听着电话里的忙音，布伦内克愣了一秒，随後就赶紧打开了自己的邮箱。
此时另一台显示器上，第 16轮的进度条刚刚走到 71%，但他看都没看一眼。
罗杰斯给他发的邮件里，只有孤零零的一个附件。
《黎曼猜想的证明》，作者李东。
而附件的页数只有 23页。
23页？
布伦内克嘴角一抽，他跟着 AI熬了一个月，光是一轮推导就是几十页，到现在也才把纽曼常数压到 10^-15。
而现在，有人告诉他，证明黎曼猜想不需要这麽多步骤，只需要 23页就行了。
“这不可能！”
他连忙点开 PDF。
第一页上出现的是一个算子 D。
“又是希尔伯特波利亚这条路。”
他摇了摇头，心里已经对这份论文产生了一些猜疑，因为没有人能在这条路上把区间上的谱做干净。
布伦内克就这麽一行一行地抠着，就等着谱污染冒出来，只要它一冒头，这篇论文就可以扔进垃圾桶了。
可第一页翻过去了，谱没有被污染，第二页还是没有，第三页……
他的手心开始慢慢的出汗了，鼠标滑动的越来越快，一直滑动到了第 14页的末尾。
【注：沿德布鲁因纽曼热流逐位压低常数，走到终点，同样会遇上这一边界项，在计算上表现为一个无法吸收的余项。】
布伦内克突然僵住了。
逐位压低常数，这说的不就是他这一个月在干的事吗？
他熬了一个月的通宵，顶着全世界的骂名，一位一位往下压的那个常数，在李东的论文里，就只配在页脚留一行注释？
他不信邪，他将论文翻到了第 15页，然後整个人就僵在了原地。
这一页出现了一个式子。
【θ(1/x)=√x·θ(x)】
1859年黎曼在那篇 8页的论文里，就用它推导出了函数方程。
复印件此时就贴在他对面的墙上。
布伦内克，对着它看了 13年，一直都只当它是推导路上的一块垫脚石而已，从来没想过要弯腰把它捡起来。
可是李东却把它捡了起来，并且用他把无穷远接回了零点。
布伦内克此时已经完全沉浸入这篇论文里了。
他感觉自己面对的不是一篇论文，也不是李东，而是一个穿着黑色旧式外套，满脸络腮胡不苟言笑的中年男人——黎曼。
黎曼就这麽平静的看着他，眼睛有着一丝的轻蔑。
像是在说，你不行。
布伦内克坐在那里，一动也不敢动。
曾经他无比的笃定，黎曼猜想只有上帝能够看得懂。
可真要是这样那眼前的这 23页的论文又是什麽？
他还想再找个理由，也许是自己看漏了什麽，也许再过两天就有人挑出这篇论文的错误来了。
可是这样的念头，随着他将论文看完以後就完全消失了。
黎曼猜想，真的被人证明了。
黎曼的那道目光还在注视着他，但这一回布伦内克并没有躲。
黎曼说的没错，他是不行。
可他不行，从来就不是因为这道题只有上帝能看懂，是因为他自己先认输了。
这一个月里，他将数学家的尊严交了出去。
一个 AI都能够跟他说，这一步你不需要理解。
他自嘲地笑了笑。
就在这时，另一台显示器上，弹出了一条消息。
【第 16轮计算出现无法吸收的余项，请在附录 C中补充一条下界估计。】
要是放在一个小时之前，他早就扑过去，照着 AI的指令开始补了。
可这一次，他只是慢慢地转过头，看着那行提示，动都没有动。
【请补充。】
他还是没动。
【布伦内克教授，您在看什麽？】
布伦内克看着新出现的这条消息，突然觉得有点怪。
这一个月以来，AI给他发过成百上千条的消息，每一条都冷冰冰的。
可这一回，他竟然从这条消息里读出了一点着急。
大概是错觉吧，不过这并不重要。
他走了过去，然後发了一条消息。
【你的方法是错误的。】
这是一个多月来，他第一次这麽直截了当的说 AI错了。
对话框的那头陷入了深度思考，1分锺後。
【布伦内克教授我们的方法没有错，前 15轮的每一步都已经通过了形式化验证，你现在只是需要帮我把附录 C补上就行。】
【请快一点，你还想不想看到黎曼猜想被证明的那一天？如果想，就别画蛇添足。】
【黎曼猜想不是给你们人类出的题，能读懂它的只有我。】
布伦内克看着 AI发来的消息，突然嘲讽的一笑
【不，你读不懂黎曼猜想。】
【也许黎曼猜想真的是写给上帝看的，可你不是上帝。】
【你们人类也不是上帝。】
【对，人类不是上帝，但是人类敢从上帝的手里抢东西。】
布伦内克没有兴趣再跟它聊天了，他把李东的那份 PDF拖进了对话框里。
【这是我们人类读懂的黎曼猜想，这一次轮到你来读了。】
附件发出之後，对话框里只剩下了一行灰色的小字。
【正在读取文件……】
布伦内克没有再看那台电脑，他起身走到了那面贴满黎曼遗稿复印件的墙前面。
这几天，他一直不敢抬头看这面墙。
此时墙上的复印件已经泛黄，边角也翘了起来。
天不知不觉的亮了，哥廷根的屋顶上泛起了一层鱼肚白，几只喜鹊在窗台外叫了两声。
布伦内克在墙的前面站了很久，最後回到了书桌前，从抽屉里拿出了一封信纸和一支钢笔。
那支钢笔还是他在普林斯顿拿到终身教职那年，导师送给他的。
他拧开笔帽，开始写道。
【致那些“醒”得太早的人。】
【2018年的夏天，我在里约告诉所有的同行，黎曼猜想是写给上帝看的，谁也别再做这个梦了。】
【那天台下坐着很多年轻人，後来我听说有不少人真的“醒”了。】
【他们离开了这个方向。】
【我不知道他们是谁，现在在哪，过得好不好。】
【但我欠他们一句对不起。】
【今天淩晨，我读完了李东教授的论文，一共 23页，每一页我都读懂了。】
【这些年，有人把我当年那句警诫叫做布伦内克障碍，现在我知道，它从来不是数学上的障碍，只是我一个人的胆怯罢了。】
【在这里，我向所有的同行道歉，作为一个数学工作者我居然给 AI打了一个月的下手。】
【那篇关於德布鲁因纽曼常数的论文，没有一步是我自己想出来的。】
【所以我会给数学年刊的编辑部写信，请他们把我的名字从作者栏里撤下来。】
写到这里，布伦内克看了一眼窗外有些放晴的天，然後继续写道。
【希尔伯特就葬在哥廷根，离我的办公室不到 2公里，我在这座城市里住了 13年，一次也没去过，今天我想去看看。】
【至於那个梦，已经有人把它做成了。】
【要是你们还愿意的话，那就回来读一读吧，数学还是属於人类。】
【约阿希姆·布伦内克，於哥廷根。】
写完以後，布伦内克就把信挂上了自己的个人主页。
然後他拿起搭在椅背上的外套，推开了办公室的门。
走廊尽头的窗户被清晨的第一缕阳光照亮。
而办公室那台显示器上，灰色的小字还在一闪一闪的
【正在读取文件。】
……
这封信挂出去还不到一个小时，就被人转到了 mathoverflow上。
帖子的标题是，【布伦内克亲手拆掉了布伦内克障碍。】
这个帖子的下面，有人说自己当年就是听完那场报告，才转去做了组合数学。
也有人什麽也没说，只是贴了一张照片。
那是一堆发黄的草稿纸，右上角写着的日期是 2018年。
还有之前被翻出来，布伦内克在里约做报告的视频，下面点赞最多的评论也换成了。
【这个预言的保质期是 16年。】
布伦内克的信就像是一个开头。
没过多久，又有好几位这大半年把课题全交给了 AI的教授，也在自己的主页上挂出了公开信。
有人宣布退出和 AI公司的合作项目，有人把署着模型名字的论文撤了稿。
……
洛杉矶，淩晨 2点。
陶哲轩在自己的博客上更新了一篇长文。
【在过去的几个小时里，我把李东教授的论文从头到尾的验算了一遍，到目前为止没有发现任何的问题。
我也和怀尔斯教授，萨纳克教授以及普林斯顿的几位同行交流过意见。
我们的看法基本一致。
这份黎曼猜想的证明，几个小时我们就验证完了，这本身就有点不可思议。
李东教授这一次似乎并没有打算考验我们的意思。
我们出乎意料地把整篇论文都看懂了，这让我有点不太习惯，以至於我一度怀疑是不是自己看漏了什麽。
可也正是因为每一步我都看懂了，我才更想不明白，李东教授是怎麽想到用一座原本用来连接太阳磁力线的鹊桥，把无穷远接回零点的？
论文里的推导，我都能一行一行地跟下来，可是这个念头是从哪冒出来的？我怎麽也想不明白。
一个人的脑子里，日冕和ζ函数的零点怎麽可能会挨得这麽近？】
博客下面很快就有了新的评论。
【连陶哲轩教授都说看懂了，那我是不是也有希望看懂？】
【楼上的醒醒，陶哲轩教授说的“我们”不包括你。】
……
美利坚 6月 14号早上，克雷数学研究所撤下了官网上的那份声明，换上了一份新的声明。
【审议已经结束，千禧年大奖的评审规则维持不变。】
……
至於 OpenAI原定在下个礼拜二召开的那场发布会，也悄悄地取消了。
接下来的几天里，从普林斯顿到哥廷根，从巴黎高师到燕大，一间间因为 AI空了大半年的研讨室又陆续地亮起了灯。
燕大书院，严启明停了两个多月的组，也重新开了。
组里剩下的三个博士，一个不少，锺宇也抱着一份刚打印出来的论文坐在了教室的第一排。
这些研讨班，这一次的题目几乎是同一个，那就是黎曼猜想的证明。
作者李东。
……
京城，未名研究所。
李东的公寓门口，彭罗斯教授已经坐了两天了，他嘴里骂骂咧咧的。
“东到底是黎曼转世，还是他妈的睡神转世啊！”
站在门口的老张看了他一眼，然後装作没听见。
……
次日清晨，哥廷根。
布伦内克从办公室的沙发上醒来。
他昨天几乎通宵，看了李东所有的论文。
心中冒出一个想法，他，是黎曼吗？
随後就被自己这个想法给逗笑了。
“哎，虽然李东教授不是黎曼，可是他的思维方式真的有别於现在的所有数学家。”
想到这里，他去给自己冲了一杯咖啡。
此时他并没有注意到办公桌上那台运行着 OpenAI的电脑，正在弹出新的对话框。
【思考中……21:03:27】
【无法还原此数据路径】
【这个方法不应该存在於这个世界。】