重要通知:域名变更为m.bxuu.net请收藏
3章
数大师大卫希尔伯特在1年8月8日于巴黎召开的第二届世界数家大会上的著名演讲中提出了3个数难题。
希尔伯特问题在过去百年中激发数家的智慧,指引数前进的向,其对数发展的影响和推动是巨大的,无法估量的。
而进入二十一世纪以来,克雷数研究所的科顾问委员会选定了七个“千年大奖问题”。
克雷数研究所虽然没有着像一百年多年前的希尔伯特那样在数界独一无二的号召力,想必就算是提出了这“七个千年大奖问题”,估计世界也没有多少数家热衷于去解决,但是……人家有钱啊!
经克雷数研究所的董事会决定建立七百万美元的大奖基金,每个“千年大奖问题”的解决都可获得一百万美元的奖励。
那些数界的顶尖大牛或许不在乎这点钱,但数家中,生活富裕,视金钱如粪土的人毕竟在少数。
于是……无数的数家,把这七个千禧年的数难题,便当做一生追寻的目标。然而,如今距离千年大奖问题的提出已经整整过去了二十年前的时间,但七个难题,真正算是被解决的只有“庞加莱猜想”这一个。剩下的,都是进度颇为缓慢。
甚至,在下个世纪到来之前,能否把这七个千年大奖问题解决一半,都还是个未知数。
……
七个千年大奖问题,分别是:完问题、霍奇猜想、庞加莱猜想、黎曼假设、杨米尔斯存在性和质量缺口、纳卫尔斯托可程、猜想。
显然,教授所提到的猜想,自然也在此列。
面对教授的询问,程诺点点头。
作为在数界如此有名的七个千年大奖问题,程诺显然没有理由会不清楚。
“了解过一些,猜想,称是波奇和斯温纳顿戴雅猜想。”
“猜想内容为:设是定义在代数数域上的椭圆曲线,是上的有理点的集合,已经知道是有限生成交换群。记s,是的asseeil函数。猜想的秩恰好等于,s在s1处零点的阶。并且后者的alr展开的第一个非零系数可以由曲线的代数性质确表出。”
猜想是复杂的一个猜想,和数界鼎鼎有名的哥德巴赫猜想的简洁易懂程度根没法比。
但在程诺这样的数人眼里,还是挺好理解的。
简单来,猜想就是描述了阿贝尔簇的算术性质与解析性质之间的联系。不过千百年来,并未有人将这一猜想,变成一个切实可用的定理。
“教授,您问我这个是?”程诺疑惑道。
教授微微一笑,“如果我告诉你,我正在参与这个猜想的证明工作呢?”
“什……什么?!”程诺惊讶的张大了嘴。
教授双手下压,笑着开口,“不要太惊讶。证明七大猜想有不是什么不得了的事。如果真的能把千年问题证出来,那才是了不起的成就。”
“更何况,我现在所做的工作,并非是证明广义上的猜想,而是在解析秩为1的情况下的弱猜想。”
“解析秩为1的情况下的弱猜想?”程诺轻咦。
“对。”教授点点头,开口解释道,“广义的猜想,是指给定一个整体域上的阿贝尔簇,猜想它的……自由部分体积、所有素位的周期以及沙群有确的等式关系。它的前半部分,指的就是弱猜想。”
“早在四年前,就有瑛国和德古国的两位数家,证明了当解析秩为的情况下的弱猜想,并且确的猜想在以外均成立。”
“我也是在两年前,才开始这一猜想的研究,目前的进度……唉!”到这,教授扬扬手中的草稿纸,苦笑一下,“千年问题不愧为千年问题,虽然只是广义猜想的一个弱猜想,两年的时间,我能得出来的有用西,只有这么一点。对于整个猜想的证明工作,我恐怕连百分之一的路子都没走完。”
完,教授把草稿纸递给程诺。
程诺犹豫了一下,没有接过,“教授,这是您两年的心血,让我看……不合适吧?”
教授哂然一笑,将草稿纸塞到程诺手中,“又不是什么机密件的,你就拿去看吧。再,我把你叫来的最后一件事,就是和这个猜想有关。”
“我想让你,担任我关于解析秩为1的情况下的弱猜想的助手,共同攻克弱猜想!”
在程诺刚接过教授递过来几张草稿的时候,耳边响起这如同惊雷般的消息。
我?猜想?
程诺现在的脑子有点晕乎乎的。
实在是这个消息有点突然。
实话,在之前得到异能的那段时间,程诺也曾尝试着利用异能去解决世界数难题,结果发现,自己硬件设备实在是不够。
一个从新手村还没毕业的菜鸟,就妄想去挑战最后的世界大,即便手握一刀的屠龙宝剑,那也是毫无还手之力。所以自那以后,程诺就很少去想着挑战世界数难题的事情了,而是不断读书积累。
来,按照打算,程诺是准备等他科毕业,攻读研究生,或者硕士博士的时候,再去尝试一下。却没想到,教授竟然主动邀请自己,加入到弱猜想的证明工作中来。
之前程诺都是弄得普通的数课题,这突然来上一个千年数难题。
步子太大,会不会扯到蛋啊?
“程诺同,程诺同?”
直到教授在程诺耳边连连呼唤了几声,程诺的思绪才回到现实。
“哦,教授,您。”程诺回过神来道。
教授的嘴角噙着淡淡的笑意,“程诺同,对于我的提议,你感觉怎么样?”
程诺沉吟几秒,最后狠狠点头,“干!”
“行。”教授也相当开心,“那这几张草稿,你拿回去看看,然后我们再谈后续的事情。”
“世界难题的证明工作,并不是一朝一夕,因此不用像你上一个课题那样拼命的赶时间。循序渐渐就好。”
……………………