话，准黎曼猜想自然也跟着成立。
所以数学家们一直把它看作是黎曼猜想的一个弱化版本。
可就是这麽一个弱化版本，也有人在上面奋斗了 100多年。
1896年，阿达马和德拉瓦莱普桑证明了零点不会落在临界带的边上，素数定理也因此得以证明。
从那以後，数学家们就一直想把零点往临界线上推。
他们从临界带的两条边往里推，每往里推一点就证明这一点的地方里一个零点都没有。
这片被证明了没有零点的地方，就叫做无零点区域。
无零点区域越往里推，零点藏身的地方就越少。
等到哪一天零点能藏身的地方被压得只剩下临界线这麽一条线的时候，黎曼猜想也就被证明了。
可是不管数学家们怎麽努力，这个无零点区域都不会消失。
零点能藏身的地方，几乎还是整条临界带。
解析数论里，不知道多少人的博士论文，多少人的职称，都是靠着把无零点区域往里推了那麽一丁点换来的。
可 OpenAI只用了不到一个礼拜，就把无零点区域从两条边各自往里面推了整整 1/2。
所有的零点也就都被关在了实部 1/12到 11/12之间。
这几乎就是在数学家的圣杯上，硬生生地敲掉了一块。
当然，圣杯本身还是黎曼猜想。
希尔伯特曾经就说过，要是他睡上了 1000年再醒过来，第一件事就是要问问黎曼猜想有没有被证明。
所以对於一个做解析数论的人来说，黎曼猜想就是头顶的天。
没有谁能够指望自己能够登上那片天，可每个人这一辈子要做的事，说到底也都是朝着这个方向前进着。
要是黎曼猜想也被 AI攻破了，那麽数学界丢掉的就远远不止是几个课题那麽简单了。
而是天塌了。
其实像锺宇这样的问题，这大半年来，李东也听到过不少。
田钢问过他，刘若传问过他，国外那些老朋友打电话来也问过他。
他每一回都是劝大家放宽心，时间自然会给出答案。
可现在看着眼前的这个学生，他突然觉得这话从自己嘴里说出来，多少有点何不食肉糜了。
他站得太高了，这些年数学只是他钻研的学问里的其中一样而已，AI再怎麽折腾也折腾不到他头上来。
可是对於锺宇和他老师这样的人来说，时间或许会给出答案，只是在答案给出来之前，他们能不能熬得过去呢？
想到这里，李东觉得自己有必要好好的开导开导一下这个学生。
他伸手拍了拍锺宇的肩膀。
“锺宇啊，准黎曼猜想能被 AI证明出来，其实一点也不奇怪。”
“你去翻一翻 AI给出的那篇论文的参考文献。”
“里面用了大筛法、零点密度估计、自守形式上的积分公式……”
“它用的每一样工具，都是前人一点一点试出来的，其实 20多年前就已经有人快要证明准黎曼猜想了。”
“只是这些工具实在太零散了，它分布在几百篇论文里，到底该把哪几样工具拚凑在一起，大家都在试。”
“可 AI它不怕试呀，几千个估计它可以一组一组的拚，人可能要拚掉一辈子，它几天就拚完了。”
“而准黎曼猜想就是一个能拚出来的东西，它只要零点离临界带的两边有一段距离就行。”
“每一步估计丢掉的一点精度，其实没什麽太大的关系，大不了把这段距离算的再窄一些嘛。”
“可黎曼猜想不同，它要的是零点一个不差的
-->>(第4/10页)（本章未完，请点击下一页继续阅读）