第641章 轮到你来读了（下） (第1/2页)
洛杉矶晚上 7点。
加州大学洛杉矶分校数学系的一间办公室里，陶哲轩已经看着一封邮件发呆了一个小时。
这封邮件是 OpenAI那边发来的。
他们想邀请陶哲轩下个礼拜二去参加他们的一场发布会。
【……届时我们将正式公布黎曼猜想的时间表，并宣布由您来担任这份证明的第一位审稿人。】
【毕竟当年证明德布鲁因纽曼常数不小於 0的正是您和罗杰斯教授。】
【我相信没有人比你们更适合为黎曼猜想画上句号。】
陶哲轩皱着眉头看着这封邮件，手放在鼠标上，将回复框打开了又关上，关上了又打开。
他很纠结，要是答应了，那等於亲手替 Openai这张时间表盖了个章，可要是拒绝，在别人眼里他就成了一个老派的数学家，在跟时代赌气。
就在这个时候，他的办公室被人推开了。
他的博士生诺亚慌慌忙忙的走了进来。
“陶哲轩教授，黎曼猜想被证明了。”
陶哲轩猛地回过头，看着诺亚。
“就在刚刚，燕大 PMJ把论文挂出来了，现在他们的网站都已经被挤瘫痪了。”
“不过群里全在传这个论文的 PDF。”
陶哲轩一把把手机抢了过来，屏幕上显示着论文的标题。
《黎曼猜想的证明》。
他赶紧看向作者栏，那里的署名是——李东。
几乎就在同一时间，他的手机也疯狂地震动了起来，一下两下，最後连成了一片。
然而陶哲轩却没有去管它，而是将这份论文打印了出来。
这份论文加上参考文献，一共也只有 23页。
和 Openai那篇准黎曼猜想的论文比起来少了很多。
陶哲轩深吸一口气，然後开始认真地这篇论文。
诺亚也没敢走，只能悄悄地在办公室的沙发上坐了下来，连大气都不敢出。
前面的十几页，陶哲轩看得很仔细。
李东把黎曼ζ函数的全部非平凡零点1个不落的对应到了算子 d的本征值上。
可这样一来，d的定义域就被一路拉到了无穷远，而且在路的尽头，多出来了一个边界项，只要这个边界项还在。
算子 d就保证不了自伴，证明黎曼猜想也就无从谈起。
100多年来走希尔伯特–波利亚这条路的人大多数都倒在了找候选算子上。
但自从李东把算子D找出来了以後，也有很多人顺着D的定义域和边界条件上去推演，结果全陷在了谱污染里，连边界项的影子都没看见。
而李东没有去截断算子，他先在有限的区间上把谱做干净了，然後再把区间一点一点的往外推，一直推到了无穷远，这才第一次让人看清楚了这条路的尽头，还横着这麽一个无法逾越的障碍。
陶哲轩看到这里，苦笑道。
“李东教授啊，你给所有人都找到了一条通天的路，但又让所有人都看见了路的尽头，横着一道天堑。”
“所以，你打算怎麽越过它呢？”
陶哲轩带着疑问继续看了下去，直到看到了第 15页，他的眼睛一下子亮了起来。
在这一页里，李东根本没打算去越过那道天堑，他是把路的尽头又接回了路的起点，把无穷远接回了零点。
【θ(1/x)=√x·θ(x)】
x换成1/x，无穷远就成了零点。
“原来这条路的两头本来就是在同一个地方，首尾一接就成了一个闭合的环，环上没有边界，边界项也就无处可待了。”
“真是天才的构思！”
陶哲轩兴奋地拍了一下桌子，吓得诺亚一激灵。
可紧接着，陶哲轩又皱起了眉头。
“但首尾之间还差着一个√X，这样是接不上的呀。”
而论文中在处理这个√ X的时候只是引用了一篇参考文献。
这篇参考文献是克拉拉找到慢太阳风源头的论文。
陶哲轩：？？？
“以鹊桥补齐？太阳风？”
他想起了 3个多月前，物理系的同事拿着那篇论文的附录来找过他。
当时他看着鹊桥那几十页的推导，愣是没弄明白它凭什麽能够收敛。
鹊桥当时在太阳上，连接的是重联前後断开的磁力线。
而到了数论这里，它连接的是零点和无穷远。
“原来还可以这样。”
论文的後面几页，他几乎是一口气看完的。
闭环的边界项恒等於零，算子的本质自伴，本征值全部是实数，零点全部落在了临界线上每一步都是那麽的严丝合缝，就像一列火车开上了早就铺好的铁轨，一路驶进了终点站。
【证毕】
陶哲轩此时长长的舒了一口气，只觉得酣畅淋漓。
可等他自己爽完以後，又发现了一点不对劲。
李东以前的论文，他又不是没看过。
像李氏定理，轴对称-纳维斯托克方程以及量子自旋的论文，他哪一次不是需要花上好几个月的时间才能看懂。
然而今天，像黎曼猜想这种层次的东西，他居然看一遍就明白了，而且连李东为什麽要这麽做，他都能知道个大概，就好像这些东西他本来就知道一样。
这是李东教授转性子了？还是我在数学上的造诣有了进步？
陶哲轩自嘲地笑了笑，然後翻到了论文的最後一页。
这一页上并没有公式，只有李东单独写下来的几句话。
【这大半年总有人问我，要是有一天，AI把所有的定理都证明了出来，那数学还需要人类吗？】
【其实我想对大家说，100多年前希尔伯特就已经回答过了。】
【我们必须知道，我们必将知道。】
1930年，希尔伯特退休在家乡柯尼斯堡对着广播说出了这句话。
後来这句话被刻在了他在哥廷根的墓碑上。
陶哲轩看着李东的话，突然明白了他想说什麽。
AI确实可以把一条一条的定理证明出来，可是它证明出来了以後不等於人就知道了。
要弄明白这些定理为什麽是对的，从来都是人类自己的事，谁也替代不了。
“我们必须知道，我们必将知道。”
陶哲轩喃喃自语，随後拿起了手机，给怀尔斯发了一条消息。
【怀尔斯教授，在你们克雷研究所改规则之前，我想你应该先看看这个。】
他将论文的 PDF发给了怀尔斯，随後又看向屏幕上那封还没有回的邮件，突然笑了。
【感谢你们的邀请，我一定到场。】
这一回，他是真想去现场看看，OpenAI的这场发布会还能办得起来吗？
……
美利坚，晚上 10:25。
克雷数学研究所的视频会议已经开了一个多小时了，大家该说的都说了，该吵的也都吵了。
视频上的几个人都透着疲惫。
格里芬揉了揉眉头。
“我想大家讨论的也差不多了，那就表决吧，同意修改规则的请举手。”
说完他第一个举起了手。
詹姆斯·阿瑟犹豫了一下，也慢慢的把手举了起来。
没办法，数学就是数学，一个证明，不管是谁证明出来的，对了就是对了，错了就是错了。
要是黎曼猜想真的被证明出来了，那总不能因为有 AI的参与，就说他是错的吧？
只不过从此以後，这份荣誉就会大打折扣了。
紧接着，又有两位委员举起了手。
怀尔斯皱着眉头，没有动。
他不想同意，要是这份荣誉真的颁给了一份由 AI主导的论文，那往後的数学到底是人类的数学还是 AI的数学？
他正准备开口，此时桌上的手机屏幕亮了一下。
他看向手机，是陶哲轩发来的消息。
【怀尔斯教授，在你们克雷研究所改规则之前，我想你应该先看看这个。】
这条消息的後面还附了一份 PDF。
怀尔斯疑惑地点开了它，只看了一眼标题和作者，目光就再也挪不开了。
会议室里，格里芬的手举着，另外几个委员的手也还举着。
他们都在等屏幕最上方那个低着头的老人。
格里芬见怀尔斯半天没有动静，於是忍不住提醒了一声。
“怀尔斯教授？”
怀尔斯这才抬起了头，看向了摄像头，那张皱纹纵横的脸上露出了一个和蔼的笑容。
“格里芬，我想这项表决可以取消了。”
“取消？为什麽？”
“因为现在已经没有黎曼猜想了。”
……
京城，未名研究所。
数学学部的一间办公室里，顾铭和莎拉正凑在一起看着李东的论文。
就在这时，办公室的门砰的一声被人推开了。
彭罗斯满面潮红的走了进来。
“顾铭，你有见到东没有啊？我给他打了十几个电话都没人接，你知不知道他在哪？”
顾铭连忙站起来说道。
“彭罗斯教授，老师在公寓里睡觉。”
“睡觉？”
彭罗斯简直不敢相信。
“黎曼猜想都被他证明出来了，他居然还睡得着？”
说完，他就拿着论文在办公室里来回地走着，嘴里还念念有词。
“我早就说过了，东就是黎曼的化身，当时没有人信，现在信了吧？东就是活的黎曼。”
顾铭和莎拉对视一眼，使劲憋着脸上的笑容。
彭罗斯在办公室里转了两圈以後，突然转身就往门外走。
莎拉赶紧追上去，挽住他的胳膊问道。
“老师，您要去哪？”
“去东的公寓啊。”
这时，顾铭连忙说道。
“彭罗斯教授，您就让老师好好睡一觉吧，他这一个多月都没怎麽合过眼。”
“是啊，老师。”
莎拉也在旁边附和道。
“等李东院士醒了，我第一时间给您打电话，好不好？”
“不好。”
彭罗斯使劲的摇头，然後把胳膊从莎拉的手里抽了出来。
“我又不打扰他，我就在门口等着，他什麽时候醒，我什麽时候进去。”
说完，他头也不回地离开了办公室。
顾铭和莎拉站在原地，都是一脸的无奈。
以他们对彭罗斯的了解，李东今天要是不醒，彭罗斯真能在他门口坐上一整天。
莎拉此时有点犹豫的说道。
“要不我给老师送把椅子过去？”
顾铭点了点头。
“嗯，再给他带个保温杯吧。“
……
德国，哥廷根。
布伦内克此时正拿着笔在推算第 15轮里，AI给出的一个结论。
【热流 H_t在临界线附近的近似拆成主项和三个误差项以後，第三个误差 e?直接就被一个常数给消除掉。】
这一步他当时怎麽也没看明白，还专门去问过 ai，而得到的回答是。
【该误差已在第 14轮的能量估计中吸收掉了，这一步你不需要理解】
那天，他看着这个回答，沉默了很久
他干了快 30年的数学，审过的稿子、带过的学生，数都数不清楚。
向来只有他跟别人说，这一步可以跳过。
而现在，AI告诉他，他不需要理解。
那天他在输入框里打了很大一段话，最後又全都删掉了。
因为，当时第 15轮又把常数推进了一位，零点就在眼前。
跟这个比起来，这一步是怎麽来的，好像确实不怎麽重要。
所以他最後什麽也没回，而是让 AI继续往下跑。
可现在第 16轮还在跑着，进度条半天才动一下。
他闲下来以後，脑子里又想起了那天的问题，
AI替他找好了路，AI替他发了论文，他都认了。
可他心里总觉得自己还是个数学家，而不只是一个只会点确定的人。
所以他把第 14轮的那条能量估计调了出来，又拿出了一堆的草稿纸，试着想把这一步搞明白。
就在他写下相位的二阶导数的时候，嗡的一声。
已经安静了快一个小时的手机在桌上震动了一下。
他被吓了一跳，手一抖，把二阶导数里的一个符号写反了。
布伦内克看了一眼倒扣着的手机，没有理它，划掉了那一行，重新开始写二阶导数。
很快，二阶导数的下界被他找了出来。
现在他只需要拿范德科皮特判别法往指数上套，那样就……
“嗡嗡。”
手机又震动了一下。
布伦内克：？？？
不是，刚才那个下界指数到底是 1/2还是 1/3来着？
他盯着草稿纸看了半天愣是想不起来了，只好从驻相点那里重新开始推。
可刚推到一半。
“嗡嗡嗡。”
手机这一次干
（本章未完，请点击下一页继续阅读）