288.第284章 挑战者与守护骑士（3 / 5）
许青山根本就没有意识到外面世界的动静。
他都意识还徜徉在自己今天整理出来的脉络里。
一直到目前为止，由于有计算机的辅助计算，其实已经有超过千亿个ζ函数的非平凡零点被检验过，而且它们的实部的确都位于等于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点多了，今天你的状态太兴奋了，薛学姐和王学姐已经先回去了，她们给我留了消息我才知道你一个人在这。” ↑返回顶部↑
他都意识还徜徉在自己今天整理出来的脉络里。
一直到目前为止，由于有计算机的辅助计算，其实已经有超过千亿个ζ函数的非平凡零点被检验过，而且它们的实部的确都位于等于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点多了，今天你的状态太兴奋了，薛学姐和王学姐已经先回去了，她们给我留了消息我才知道你一个人在这。” ↑返回顶部↑