他的注意力,很快就集中到了那个新出现的奖励上。
【主线奖励宝箱?】
徐辰打开系统物品栏,查看宝箱的介绍。
【卧槽!
一想到上次那个让他怨念颇深的“升级宝箱”,他的嘴角就忍不住抽了抽。的概率开出“纪念品”,而他,就非常“幸运”地,成了那个倒楣蛋。
开出了一支除了外观有点科技感之外,和楼下文具店两块钱一支的晨光中性笔毫无区别的笔。
徐辰当时还傻乎乎地以为这支笔有什么“下笔如有神”之类的隐藏buff,特意用它刷完了整整一本高数习题集。结果,除了墨水用得飞快,屁用没有。要不是看在是系统出品的份上,他早就把它扔进宿舍楼下的分类垃圾桶了。
而现在,这个主线奖励宝箱,不仅100中奖,而且保底都是有实际作用的1级物品!
【不愧是耗费了一年多时间才完成的主线任务,这奖励,就是不一样!】
他搓了搓手,感觉自己象一个即将刮开彩票的彩民,心中充满了紧张与期待。
不行,得有点仪式感。
他特意去洗手间,用香皂仔仔细细地洗了三遍手,嘴里还念念有词:“玄不救非,氪不改命,但洗手说不定能增加点欧气……”
做完这一切“仪式”后,他深吸一口气,心中默念。
【来吧!让我看看,我到底是欧皇还是非酋!】
“开启!”
系统空间里,那只金色的宝箱,缓缓地打开。
没有惊天动地的特效,也没有五光十色的霞光。
一道柔和的、如同月光般姣洁的光芒,从宝箱中升起,最终,凝聚成了一本薄薄的、仿佛由光构成的虚拟书籍。
书籍的封面上,一行古朴而又庄严的标题,缓缓浮现。
【恭喜宿主,获得3级物品:《关于一类特殊偶数满足哥德巴赫猜想的证明》】
“!!!”
“卧槽?!”
饶是徐辰心性沉稳,在看到“哥德巴赫猜想”这五个字时,也忍不住在心里爆了一句粗口。
哥德巴赫猜想!
那可是与“黎曼猜想”、“费马大定理”齐名的,数学皇冠上最璀灿的明珠之一!是困扰了人类数百年,让无数顶尖数学家都为之折腰的终极难题!
它的表述,简单到连小学生都能看懂:“任何一个大于2的偶数,都可以表示为两个素数之和。”
【我记得……咱们国家最接近这个顶峰的,是陈景润院士的“1+2”证明,也就是“任何一个充分大的偶数,都可以表示为一个素数与一个不超过两个素数乘积之和”……】
【系统……直接给了我一个证明?!】
徐辰感觉自己的心脏在胸腔里疯狂擂鼓,血液冲上头顶,脸颊都开始发烫。
【卧槽!这次……是真正的欧皇附体了啊!】
【这何止是欧了?这简直是祖坟冒青烟,出门踩狗屎,买彩票中头奖级别的运气啊!】
【这要是真的,别说一篇一区顶刊了,这成果,直接拿去发《数学年刊》,对方编辑都得连夜坐飞机过来,求着我把稿子给他们!菲尔兹奖,似乎都在向我招手!】
【这书的作者这是刚开始就来哥猜吗?后面还怎么写啊?】
……
他感觉自己的心脏,在胸腔里疯狂地跳动。
他迫不及待地,将自己的意识,沉浸到那本光之书中。
那是一篇完整的、逻辑无懈可击的学术论文。
从引言,到引理,再到最终的证明,每一个步骤,都清淅无比。
然而,当他仔仔细细地,将整篇论文从头到尾“阅读”了一遍后,他心中那股冲天的狂喜,却如同被浇了一盆冷水,渐渐地……冷静了下来。
【等等……好象……没我想象的那么逆天?】
他发现,这篇论文证明的,确实是哥德巴赫猜想,也就是“任何一个大于2的偶数,都可以表示为两个素数之和(简称1+1)”。
但它的前面,有一个极其苛刻的限定条件。
徐辰的眉头,紧紧地皱了起来。
作为一个准数学研究者,他立刻就意识到了问题的关键。
也就是说,这份证明是证明了一个非常特殊情况下,哥德巴赫猜想是成立的。
这个证明的“成果价值”,到底有多大?
这取决于,它所证明的这个“特殊偶数集合”,在所有偶数中,是“稀疏集”,还是“正密度集”。
虽然他目前对这两个概念的理解还不够深入,但凭借着超凡的数学直觉,他立刻就构建出了一个生活化的模型来帮助自己理解。
【稀疏集】:就象一片广袤的沙漠里,零星散布的几片绿洲。的偶数”,这类集合中的数,随着n的增大,会变得越来越稀少,它们在所有偶数中所占的比例,趋近于零。”,虽然在技巧上可能很有价值,但对于解决整个哥德巴赫猜想来说,意义有限。
这就好比,你想证明“全天下所有的苹果都是甜的”,结果你皓首穷经,最终用极其复杂的方法,雄辩地证明了——“我家冰箱里那三个从楼下超市买的红富士苹果,是甜的”。
你的证明过程可能无懈可击,但这个结论,对于证明“所有苹果都是甜的”这个宏大目标,贡献几乎为零。
【正密度集】:比如“所有尾数是2的偶数”,这类集合在所有偶数中,始终占有着一个固定的、非零的比例。因为偶数一定是以0、2、4、6、8结尾的数,所以尾数是2的偶数占比就是1/5。如果能证明某个正密度集中的所有偶数都满足“1+1”,那将是里程碑式的巨大突破!因为它相当于,一下子解决了“相当大一部分”的问题!
这就好比,你证明了“所有产自山东的红富士苹果,都是甜的”。这个结论,虽然没有解决全部问题,但已经极大地推进了研究的边界!后续只要再证明其他省份的苹果也是甜的,那么最终将各个省份的结论拼凑起来就能完整证明所有苹果是不是都是甜的。
而系统给出的这个证明,所针对的“费马数+2”集合,毫无疑问,是一个密度为零的、比沙漠里的绿洲还要稀少的“稀疏集”。
【成果价值……有,但不多……】
徐辰得出了第一个结论。
那么,第二个关键点:这篇论文的“工具价值”,又有多大?