热情投注到了黎曼猜想之中,可始终都得不到数学之神的回应,没有得到那神之一手。
在这漫长征途之中,也出现过不少在当时的时代被视为惊才艳艳都解决方法。
可最后都像是断尾壁虎一般,不见后文。
许青山在纵览全局之后,决定放弃这些思路的继续深入。
因为他在思路的尽头看不到更多的灵感和思维奇点,他觉得很多人都顺着这条路走进了死胡同。
“老师?”
王隗和薛雪情收拾好了,准备和许青山说一声,可许青山却又再度陷入了自己那种玄之又玄的状态之中。
没办法,薛雪情只能悄咪咪地拿手机给自己的小师母发了个消息。
等考完试的江浣溪戴着饭过来办公室,她们两才悄悄地撤了。
许青山根本就没有意识到外面世界的动静。
他都意识还徜徉在自己今天整理出来的脉络里。
一直到目前为止,由于有计算机的辅助计算,其实已经有超过千亿个ζ函数的非平凡零点被检验过,而且它们的实部的确都位于等于1/2的直线上。
只是,这并不能作为证明黎曼猜想的有效证据。
黎曼猜想的推进并不是一味地证明。
一个伟大数学问题,既然有攻略者,自然也有守护者。
就像是许青山在普林斯顿遇到的邦赌王,他就是黎曼猜想的守护骑士。
而守护骑士的职责,就是竭尽所学奥妙,把一切妄图以非真理形式谬证伟大的不肖之徒,用超级大棒打翻在地。
在数学的世界里。
学识就是最强的武器,掌握数学工具的能力就是操纵武器的能力。
而每一个伟大证明都伴随着双方的精彩战斗。
其中有时候在数学家大会上也会迸发出精彩程度逼近逆转裁判的学术辩论。
就像是上述的那种解答思路,哪怕用上再强的超级计算机,证明再多个函数可实证。
但那些自诩为黎曼守护骑士的数学家只需找到一个反例,就能成功驳斥。
因此,数学家们一直在试图证明,在实部等于1/2的这条直线之外,没有其他零点。
但很明显。
这种无界定义的反证是极难实现的。
于是,开始有一些有见地的数学家转向证明:在实部等于1/2的这条直线之外,ζ函数的非平凡零点非常罕见——罕见到最多只有N个。
在这种有界限有空间的前置定义情况下。
当他们能够将N减少到0时,就证明了黎曼猜想。
听起来是不是和前一种方法没有什么区别?
其实是有的,但不多。
所以这种思路也是解不出来的。
大家都在抓耳挠腮的时候,猛男从天而降,阿尔伯特·英格汉姆建立了实部不等于1/2的非平凡零点个数的上界:他表示在实部为[0.75,1],虚部不超过y的区间内,最多有y3/5+c个零点,其中c是0到9之间的常数。
他从20世纪40年代提出的这一结论,而这一结论的上界有效性持续了80多年。
许青山觉得自己隐隐地抓住了一些蛛丝马迹,但却不甚明显。
“青山?”
许青山开始回过神来的时候,身旁一边写着卷子一边安静等待的江浣溪第一时间反应了过来,轻声唤了他一下。
“嗯......小溪,你怎么过来了?现在几点了啊?”
许青山有些迷糊地揉了揉眼睛,发呆发久了,眼角就会有神秘分泌物。
“8点多了,今天你的状态太兴奋了,薛学姐和王学姐已经先回去了,她们给我留了消息我才知道你一个人在这。”
江浣溪伸手把泡在盆里温了一遍又一遍水的毛巾拿出来拧干净,自己给许青山擦脸。
“我自己来就行......”
两人关系虽然亲昵,不过许青山也不是那种衣来伸手、饭来张口的少爷,被人这么服侍他还是有些不习惯的。
“感觉怎么样,有什么进展吗?”
江浣溪轻声问道。
“有点,但不多,现在在考虑新思路的可行性,不过你......”
洗了几把脸以后,许青山也算是缓过来,大脑CPU降温得差不多,恢复正常运行。
此时也察觉到了江浣溪的情绪好像不是特别对。
“怎么了?小溪。”
许青山放下毛巾,把还湿着的手在身上擦了擦,轻轻地揉着江浣溪的小脑袋,问道。
但往常乖巧可爱听话的江浣溪,今天却下意识地躲开了许青山的揉头,面色平静地看着许青山。
“是因为我今天这种状态你不开心吗?”
许青山意识到问题估计挺严重