而且他极有头脑,在成立不久后的2000年,参考1900年希尔伯特提出的23个问题,挑选出最难也最有意义的七个数学难题,设定为“七大千禧年难题”,并抛出了合计700万美元的巨额悬赏。
在2000年,700万美元算是笔很大的金额了,要知道数学突破奖尚未设立,当时数学最顶级的菲尔兹奖,奖金也不过是15000加元,所以700万的巨额悬赏顿时在学术界引起了很大的轰动,再加上原本这七个数学难题的名气,使得克雷研究所迅速为数学界乃至普通人所熟知。
现在七大千禧年难题中的庞加莱猜想已被熊国的数学大师格里戈里·佩雷尔曼所证明,黎曼猜想是第二个被证明的千禧年猜想。
克雷研究所的工作人员在第二天早上便给秦克打来了越洋电话:
“恭喜你成功证明了黎曼猜想,秦克教授,我们准备邀请你到我们研究所参观,并参加我们拟在牛津大学举办的‘黎曼猜想专题报告会’,我们将会在现场给你颁发本年度的‘克雷研究奖’,以及100万美元的悬赏奖金。”
克雷研究奖算不得多厉害的大奖,较之拉马努金奖、柯尔数论奖要逊色一筹,但因为是纯学术性质的奖项,较之洪堡研究奖的地位又高上不少。
虽然没法子算入系统的“请继续收获更多的数学大奖吧”任务要求的五个奖项里,但拿到这个奖以及悬赏的奖金,对于秦克来说还是很有好处的,毕竟至今为止,他会是第一个拿到千禧年难题奖金的数学家。
——证明了庞加莱猜想的格里戈里·佩雷尔曼性格很怪,拒绝去拿奖金,连菲尔兹奖也没领,反倒跑深山老林继续研究他自己的数学去了。
秦克问道;“具体是什么时间?”
“这个可以由您来决定,因为这是专门为您举办的学术专题报告会。”
秦克看了看日程表,定了10月中旬。
“好的,具体的邀请函我们会在明天定下场地后通过电子邮件发给您,祝您生活愉快。”
能拿到克雷研究奖无疑锦上添花的好事,但对于秦克来说,无论是克雷研究奖还是一百万美元的奖金,都不如系统的提示音悦耳动听。
“叮咚!您已成功证明黎曼猜想,且最后一组最难的表达式是由您独自完成的,‘成绩使我进步’系统评定为‘成绩’为‘S 级’,‘成绩使我进步’功能生效,您的数学积分 10000!”
秦克心头狂跳,不愧是最难的顶级数论猜想,系统居然奖励了10000点的学术积分!
要知道自己证明哥德巴赫猜想与冰雹猜想,系统也只是合并任务的奖励了,一共给了2000点数学积分——当然,那个任务除了学术积分外,还有份更豪华、价值无法估量的大礼,S级知识《揭秘霍奇猜想》。
伴随着系统的提示音,秦克清晰地看到数学升级进度条刷地向前迈进了一步。
“数学等级:宗师级,下一等级:数学之神级,升级进度:22115/100000。”
距离“数学之神”等级又近了些。
秦克正高兴,耳边又响起了系统的提示音:
“叮!您有新的学神任务!”
“叮咚!学神任务更新‘请继续攻克更多的千禧年数学难题吧’!”
“④请继续攻克更多的千禧年数学难题吧:哥德巴赫猜想只是开胃菜,黎曼猜想更不是终点,人类的数学道路上还有重要的未解难题,请宿主继续努力,攻克霍奇猜想、纳维-斯托克斯方程、NP完全问题、杨-米尔斯存在性和质量缺口、BSD猜想中的任意四个!”
“注意,因为您已获得S级知识《非线性偏微分方程‘纳维-斯托克斯方程’的探究与详解》前篇、中篇、后篇及《揭秘霍奇猜想》,您解决这两个问题可以算入任务中,但无法获得额外积分奖励,其余三个问题,均可获得10000点数学积分。”
“任务奖励:S知识《数学理论大一统的全新纲领》!”
“请您努力,迈向人类数学的最巅峰!”
秦克看到这个任务时都有些傻眼了,要自己解决千禧年七大数学难题余下的任意四个?
好吧,“霍奇猜想”这个代数几何问题,以及“纳维-斯托克斯方程”问题,因为有系统知识在手,还算有把握,但剩下的三个,哪个不是难度不逊于黎曼猜想的?
“NP完全问题”算是数学 计算机算法问题,但依靠现代发达的超算乃至人工智能,都未能解决,只由能数学家的智慧来解决。
“杨-米尔斯存在性和质量缺口”与“纳维-斯托克斯方程”一样,都是物理与数学复合的跨学科难题,都与偏微方程的通解有关,但前者是属于数学 量子力学,后者是数学 流体力学。
“BSD猜想”,即贝赫和斯维纳通-戴尔猜想,这是个数论领域的问题,再往细里说,是丢番图方向的猜想。之前无数数论大师在黎曼猜想上碰壁后都转向BSD猜想,结果又撞了个头破血流,难度之高可想而之。
但秦克认真地想了想后,发现似乎也并非完全没可能解决这些千禧年难题。
他在计算机方面的水平不说世界顶尖,但绝对算是大牛,数学算法方面就更不用提了,“NP完全问题”可以尝试一二。
“杨-米尔斯存在性和质量缺口问题”是求非线性偏微方程的通解,目标是以数学框架描述所有粒子背后的物理规律。而量子力学同样是秦克目前努力的新方向,与得国的科佩特教授合作的课题就是与量子理论有关的。至于非线性偏微方程,在推导了黎曼猜想第五组表达式、证明了哥德后,秦克已算是这方面的顶尖高手了。
数论秦克和宁青筠都非常熟悉和擅长,只是“BSD猜想”所属的丢番图细分领域,两人都没深入钻研过,不过有深厚的数论基础打底,“BSD猜想”也未必就难得上天了。
秦克想了好会儿,终于决定饭还是得一口一口吃,难题得一个一个地解决。>