在座的几个人又简单讨论了一下邀请名单、会议直播的技术方案和安保要求。
赵阳对名单没什么异议,对后续讨论组名单也只调整了两三个人。
所有细节都敲定之后,王校长让校办当晚就向主管部门做了报备,第二天一早,燕大校方在官网上发布了关于p vs np问题专题报告会的正式公告。
公告内容很简短,但信息量极大。
报告会将在燕京大学百年纪念讲堂举行,赵阳将亲自为所有人解决对论文的疑问!
并回答国际专家组及与会学者的提问。会议邀请对象将复盖全球顶尖数学家和相关领域专家。
公告最下方附了一份名单,是目前确认受邀的学者名录。费弗曼、威腾、法尔廷斯、德利涅这些名字自然全都在上面,后面跟着一大串菲尔兹奖得主、各国科学院院士、国际主流高校相关方向带头人,足有近两百人。
消息一出来,国内外都炸开了锅。
国内互联网看到这份豪华名单,网友都疯了。
微博热搜前二十里一下子挤进去三个与报告会相关的词条。
直接登顶,后面跟着一个深红色的“爆”字。
“这名单也太恐怖了吧。费弗曼、威腾、法尔廷斯、德利涅随便拎一个出来都是数学史上留名的人物。
现在他们全都要飞到燕京来听一个龙国年轻人的报告。我这辈子没见过这种场面太牛逼了!。”
“说起来…… p vs np到底是啥意思……最近天天听,但看这个,完全不知道啥意思啊!”
“简单解释一下:p就是‘能快速算出来的问题’,比如你有一堆数字要从小到大排序,不管这堆数字有多少个,计算机都能在合理时间内给你排好。np就是‘能快速检查答案对不对,但算起来可能很慢的问题’。比如一个巨大的拼图,你瞎拼可能拼到天荒地老,但我给你一张成品图,你一眼就能看出我拼对了没有。”
“那p vs np要证明的是什么?”
“就是要证明:那些‘能快速检查答案’的问题,是不是也能‘快速算出来’?,那拼图就不用瞎拼了,一定存在某种聪明的方法能快速拼好。,那就说明有些问题天生就是难的,老老实实拼吧。
“所以他证明了‘难的问题真的很难’?”
“……可以这么理解。”
“这可是千禧年七大难题之一!p vs np什么概念?计算机科学的基石问题。以后所有复杂性理论的教科书都要重写。”
“我导师已经订好机票了。他说哪怕站着听也要去。他今年六十五岁,头发全白了,说这辈子能亲眼见证p vs np被证明,死了也值。”
“你们注意到名单上还有计算机科学方向的人吗?图灵奖得主也来了好几个。这已经不是纯数学圈的事了。”
“燕大这次真是赚大了。全世界最顶尖的数学家和计算机科学家集体飞到燕京来,这种级别的学术盛会,放在任何国家都是能写进校史的大事。”
“有没有人注意到佩雷尔曼的名字也在名单上?虽然打了个问号,但如果他真的来了,那才是真正的世纪同框。一个证明了庞加莱猜想的隐士,一个证明了p vs np的天才,两个人都拒绝过国际大奖,都不愿意离开自己的国家。”
“说起佩雷尔曼……我突然想起,解决千禧年七大难题,是不是有一百万美元的奖金?”
“好象是诶?”
“你们猜,赵阳会不会去现场领取奖金?”
“会吧?那可是一百万美元诶!谁能放弃!?”
“未必哦!赵神之前那些奖项也没怎么出过国,这次应该也不会!”
“那太可惜了!”
网上闹得沸沸扬扬,关于这次报告会的讨论层出不穷。而陶哲轩对这些都不在乎。
他每天都在看赵阳那篇论文,遇到不了解的地方,或者有疑问的地方就会迅速找到赵阳,求教。
“这里,第三章第四小节。”
陶哲轩把论文摊在赵阳书桌上,手指点着其中一段,眼神之中满是好奇的看着赵阳问道。
“你直接用迹映射拉回去,中间跳过了消元定理。这一步在特征为零的代数闭域上没问题,但正特征域上你后来做了平坦态射处理。这很奇怪,我在想,如果不做平坦态射,直接用消元定理硬推,理论上是不是也应该走得通?”
赵阳放下手里的豆浆杯,看了一眼他指的那段。
“走得通,但会多出十几页的推导。消元定理在正特征域上的边界条件太复杂了,每一个素理想上的分歧都要单独处理。我绕开它不是因为走不通,是因为没必要。格罗滕迪克那套平坦态射工具用在这里正好合适,自然就用了起来。”
陶哲轩盯着那几行公式看了半天,然后拿起笔在旁边写了一行小字。他没有继续追问,但也没有把笔放下。赵阳知道他在想什么他不是在质疑,是在跟自己较劲。
随着时间距离会议越来越近,燕京关于这次会议的气氛也变得越来越浓。燕大校园里挂起