“去年下半年的时候，我手上的两个小课题先後被 AI给做掉了。”

    “老师跟我们说，没关系，课题没了可以再找，组里最大的那个方向还在呢。”

    “结果上个月，OpenAI把准黎曼猜想给证了出来。”

    “我老师在这上面做了 20多年。”

    “论文出来的第二天，他就再也没来过办公室，组会也停了，组里的 6个博士，到现在已经走了 3个了。”

    说到这里，锺宇抬起头看着李东。

    “所以李东院士，现在外面都在说 AI的下一个目标就是完整的黎曼猜想了。”

    “那要是黎曼猜想真的被 AI证了出来，那我们这些人……还能够干什麽呢？”

    准黎曼猜想，其实和黎曼猜想都是在证明黎曼函数的非平凡零点到底落在哪？

    黎曼猜想想证明的是，这些零点全部都落在实部从 0到 1的临界带正中间。

    而准黎曼猜想则是证明的，这些零点不用非得落在临界线上，只要这些零点离临界带的两条边都隔着一段固定的距离就行。

    所以，准黎曼猜想的要求要宽松一些。

    因此，黎曼猜想要是成立的话，准黎曼猜想自然也跟着成立。

    所以数学家们一直把它看作是黎曼猜想的一个弱化版本。

    可就是这麽一个弱化版本，也有人在上面奋斗了 100多年。

    1896年，阿达马和德拉瓦莱普桑证明了零点不会落在临界带的边上，素数定理也因此得以证明。

    从那以後，数学家们就一直想把零点往临界线上推。

    他们从临界带的两条边往里推，每往里推一点就证明这一点的地方里一个零点都没有。

    这片被证明了没有零点的地方，就叫做无零点区域。

    无零点区域越往里推，零点藏身的地方就越少。

    等到哪一天零点能藏身的地方被压得只剩下临界线这麽一条线的时候，黎曼猜想也就被证明了。

    可是不管数学家们怎麽努力，这个无零点区域都不会消失。

    零点能藏身的地方，几乎还是整条临界带。

    解析数论里，不知道多少人的博士论文，多少人的职称，都是靠着把无零点区域往里推了那麽一丁点换来的。

    可 OpenAI只用了不到一个礼拜，就把无零点区域从两条边各自往里面推了整整 1/2。

    所有的零点也就都被关在了实部 1/12到 11/12之间。

    这几乎就是在数学家的圣杯上，硬生生地敲掉了一块。

    当然，圣杯本身还是黎曼猜想。

    希尔伯特曾经就说过，要是他睡上了 1000年再醒过来，第一件事就是要问问黎曼猜想有没有被证明。

    所以对於一个做解析数论的人来说，黎曼猜想就是头顶的天。

    没有谁能够指望自己能够登上那片天，可每个人这一辈子要做的事，说到底也都是朝着这个方向前进着。

    要是黎曼猜想也被 AI攻破了，那麽数学界丢掉的就远远不止是几个课题那麽简单了。

    而是天塌了。

    其实像锺宇这样的问题，这大半年来，李东也听到过不少。

    田钢问过他，刘若传问过他，国外那些老朋友打电话来也问过他。

    他每一回都是劝大家放宽心，时间自然会给出答案。

    可现在看着眼前的这个学生，他突然觉得这话从自己嘴里说出来，多少有点何不食肉糜了。

    他站得太高了，这些年数学只是他钻研的学问里的其中一样而已，AI再怎麽折腾也折腾不到他头上来。

    可是对於锺宇和他老师这样的人来说，时间或许会给出答案，只是在答案给出来之前，他们能不能熬得过去呢？

    想到这里，李东觉得自己有必要好好的开导开导一下这个学生。

    他伸手拍了拍锺宇的肩膀。

    “锺宇啊，准黎曼猜想能被 AI证明出来，其实一点也不奇怪。”

    “你去翻一翻 AI给出的那篇论文的参考文献。”

    “里面用了大筛法、零点密度估计、自守形式上的积分公式……”

    “它用的每一样工具，都是前人一点一点试出来的，其实 20多年前就已经有人快要证明准黎曼猜想了。”

    “只是这些工具实在太零散了，它分布在几百篇论文里，到底该把哪几样工具拚凑在一起，大家都在试。”

    “可 AI它不怕试呀，几千个估计它可以一组一组的拚，人可能要拚掉一辈子，它几天就拚完了。”

    “而准黎曼猜想就是一个能拚出来的东西，它只要零点离临界带的两边有一段距离就行。”

    “每一步估计丢掉的一点精度，其实没什麽太大的关系，大不了把这段距离算的再窄一些嘛。”

    “可黎曼猜想不同，它要的是零点一个不差的

『加入书签，方便阅读』