第 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发来的消息,突然嘲讽的一笑
【不,你读不懂黎曼
『加入书签,方便阅读』