网上对这场即將到来的学术会议热度每天都在攀升。在燕京的网友们像寻宝一样拍到了散布在城市各处的顶尖数学家。
有人在南锣鼓巷拍到了威腾教授举著一串糖葫芦，正在吃。
还有人在颐和园拍到了法尔廷斯拄著拐杖站在昆明湖边看风景，身边跟著几个博士生。
有人在地铁上拍到了牛津大学的一位教授拎著公文包挤在燕京早高峰的人群里。
报告会当天，百年纪念讲堂外面从早上六点就开始排队。
虽然大部分座位是指定给受邀学者的，但燕大还是留了几百个后排位置给数学系和计算机系的博士生。直播团队提前架设好了多机位的摄像机，微博上专门开了一个直播入口，央视科教频道也同步转播。
上午九点，讲堂內座无虚席。近两千人坐在深红色的座椅上，前排是各国数学家，后排是学生和旁听人员。所有目光都集中在讲台上那个年轻人身上。
直播摄像机旁边的红灯亮著，信號已经接入了全球直播。舞台上方是四块可以上下滑动的巨型黑板，旁边摆著几盒全新的粉笔。
赵阳站在讲台上，面前没有演讲稿，没有ppt，没有笔记。
他眼神平静的扫视了一眼台下那些或熟悉，或陌生的面孔，对著麦克风说道：“各位，这篇论文的完整证明长达两百多页。如果从头到尾讲一遍，今天大家都出不了这个门。所以我的计划是先花一段时间把核心推导步骤从头梳理一遍，浓缩在这几块黑板上。听完之后，有问题，到时候大家再出声询问。”
台下一片寂静。然后前排有人倒吸了一口凉气。
没有人会在这类报告会上进行现场全推导，不是怕讲错，而是没有人能在不藉助笔记的情况下把两百页核心证明凭记忆完整復现出来。
赵阳已经转过身拿起了粉笔。
直播间的弹幕瞬间炸了。
“现场全推导？他还是人吗？”
“这种级別的证明，能站在上面讲就已经够可以了。还要现场推全部核心步骤？！”
“前面的，赵神开报告会从来不带稿子。上次在印度讲哥德巴赫猜想也是这样的。”
“赵阳：大家好，今天来给大家表演一个脑袋里装了两百页证明。”
“这就是赵神吗？这也太离谱了吧！”
巴黎那间洒满午后阳光的病房里，格罗滕迪克教授靠在病床上。皮埃尔把笔记本电脑架在床头柜上，屏幕正对著老师的方向。直播画面里，赵阳正站在黑板前飞快地书写。
从布尔函数到代数簇的映射构造开始写起，然后是多项式理想的维数下界估计，接下去是正特徵域上的平坦態射构造，正规锥边界维数估计的新约束条件，最后推导出结论：p≠np。
格罗滕迪克沉默了好一会儿。皮埃尔以为老师睡著了，转头去看，却发现老师正睁著眼睛盯著屏幕，眼神之中带著嘆为观止的光芒。
“这根本就不是人类能够做到的事情。”
格罗滕迪克惊嘆道。
耗费了將近一个小时，赵阳把最后一组公式写完。
粉笔在他手里断成两截，他弯腰捡起掉在地上的那一小截，放进粉笔槽里，退后一步，四块黑板被密密麻麻的推导公式铺得几乎没有空隙。他转过身拍了拍手上的粉笔灰。
眼神平静的转身，看向台下眾人，直接说到。
“主要步骤都在这里了。现在哪一部分有问题，都可以问。”
讲堂里沉默了好几秒。然后一只枯瘦的手从第一排缓缓举起来。是法尔廷斯。
“正特徵域平坦態射构造的部分，当你把特徵零域上的结论通过跡映射拉回正特徵域时，这里处理素特徵可能出现的分歧你声称新约束条件可以自动排除所有退化路径。能否请你把这一小节的排除逻辑展开再推一遍？”
“这一小节需要再拆两层：素特徵分成平凡分歧和深分歧两种情况。平凡分歧用正规锥维数估计可以直接排除，深分歧则需要跡映射在边界上的单射性单射性的保持条件正好被新约束条件的参数区间完整覆盖。”
赵阳转过身在那一片区域旁边又补画了一组交换图，將深分歧的分支结构逐条標註出来，然后逐一说明在每一条分支上新约束条件是如何关闭退化窗口的。
法尔廷斯盯著那几行字看了很久，然后將那份薄薄的会议手册压在膝盖上，用指尖轻轻敲了一下纸面。
“我没更多疑问了。”
有了法尔廷斯开头，那些白髮苍苍的面孔们纷纷开始举手。费弗曼问了一个关於多项式理想维数下界估计的细节。
威腾又问如果不用跡映射改用étale上同调会不会更直接。
剑桥一位做代数几何的老教授追问在正特徵域上消元定理的失效是否可以通过引入额外对称性来补救。
赵阳逐一作答。有时候他不需要补充公式，只简单指出某一步的推导与论文中某条引理的关係就够了，偶尔遇到真正刁钻的问题，他便转过身在黑板上画上一两行推演，再侧过身指给台下的人看。
最后一只手放下了。整个讲堂里顿时鸦雀无声。
所有人目光都在思索，也有人眼神之中充满了恍然，能来现场的，基本上都是高手。
而且在来之前，都对论文进行过深入的探究。
在赵阳这样事无巨细的疏导思路之下，哪怕是千禧年问题，基本上也都弄明白了。
赵阳站在讲台上等了几秒，目光扫过前排一张张白髮苍苍的面孔。“还有人有问题吗？”
台下一片安静。
就在赵阳准备宣布报告会结束的时候，系统提示音他脑中突兀响起。
“叮！检测到用户独立完成的p vs np问题完整证明已通过全球顶级数学家现场质询。钻石级任务完成！”
“获得隨机抽奖次数+3！”
“获得数学等级提升至lv7!“
“叮！检测到用户数学等级提升至lv7!,获得智力+8。获得隨机抽奖次数+4。”
有人在南锣鼓巷拍到了威腾教授举著一串糖葫芦，正在吃。
还有人在颐和园拍到了法尔廷斯拄著拐杖站在昆明湖边看风景，身边跟著几个博士生。
有人在地铁上拍到了牛津大学的一位教授拎著公文包挤在燕京早高峰的人群里。
报告会当天，百年纪念讲堂外面从早上六点就开始排队。
虽然大部分座位是指定给受邀学者的，但燕大还是留了几百个后排位置给数学系和计算机系的博士生。直播团队提前架设好了多机位的摄像机，微博上专门开了一个直播入口，央视科教频道也同步转播。
上午九点，讲堂內座无虚席。近两千人坐在深红色的座椅上，前排是各国数学家，后排是学生和旁听人员。所有目光都集中在讲台上那个年轻人身上。
直播摄像机旁边的红灯亮著，信號已经接入了全球直播。舞台上方是四块可以上下滑动的巨型黑板，旁边摆著几盒全新的粉笔。
赵阳站在讲台上，面前没有演讲稿，没有ppt，没有笔记。
他眼神平静的扫视了一眼台下那些或熟悉，或陌生的面孔，对著麦克风说道：“各位，这篇论文的完整证明长达两百多页。如果从头到尾讲一遍，今天大家都出不了这个门。所以我的计划是先花一段时间把核心推导步骤从头梳理一遍，浓缩在这几块黑板上。听完之后，有问题，到时候大家再出声询问。”
台下一片寂静。然后前排有人倒吸了一口凉气。
没有人会在这类报告会上进行现场全推导，不是怕讲错，而是没有人能在不藉助笔记的情况下把两百页核心证明凭记忆完整復现出来。
赵阳已经转过身拿起了粉笔。
直播间的弹幕瞬间炸了。
“现场全推导？他还是人吗？”
“这种级別的证明，能站在上面讲就已经够可以了。还要现场推全部核心步骤？！”
“前面的，赵神开报告会从来不带稿子。上次在印度讲哥德巴赫猜想也是这样的。”
“赵阳：大家好，今天来给大家表演一个脑袋里装了两百页证明。”
“这就是赵神吗？这也太离谱了吧！”
巴黎那间洒满午后阳光的病房里，格罗滕迪克教授靠在病床上。皮埃尔把笔记本电脑架在床头柜上，屏幕正对著老师的方向。直播画面里，赵阳正站在黑板前飞快地书写。
从布尔函数到代数簇的映射构造开始写起，然后是多项式理想的维数下界估计，接下去是正特徵域上的平坦態射构造，正规锥边界维数估计的新约束条件，最后推导出结论：p≠np。
格罗滕迪克沉默了好一会儿。皮埃尔以为老师睡著了，转头去看，却发现老师正睁著眼睛盯著屏幕，眼神之中带著嘆为观止的光芒。
“这根本就不是人类能够做到的事情。”
格罗滕迪克惊嘆道。
耗费了將近一个小时，赵阳把最后一组公式写完。
粉笔在他手里断成两截，他弯腰捡起掉在地上的那一小截，放进粉笔槽里，退后一步，四块黑板被密密麻麻的推导公式铺得几乎没有空隙。他转过身拍了拍手上的粉笔灰。
眼神平静的转身，看向台下眾人，直接说到。
“主要步骤都在这里了。现在哪一部分有问题，都可以问。”
讲堂里沉默了好几秒。然后一只枯瘦的手从第一排缓缓举起来。是法尔廷斯。
“正特徵域平坦態射构造的部分，当你把特徵零域上的结论通过跡映射拉回正特徵域时，这里处理素特徵可能出现的分歧你声称新约束条件可以自动排除所有退化路径。能否请你把这一小节的排除逻辑展开再推一遍？”
“这一小节需要再拆两层：素特徵分成平凡分歧和深分歧两种情况。平凡分歧用正规锥维数估计可以直接排除，深分歧则需要跡映射在边界上的单射性单射性的保持条件正好被新约束条件的参数区间完整覆盖。”
赵阳转过身在那一片区域旁边又补画了一组交换图，將深分歧的分支结构逐条標註出来，然后逐一说明在每一条分支上新约束条件是如何关闭退化窗口的。
法尔廷斯盯著那几行字看了很久，然后將那份薄薄的会议手册压在膝盖上，用指尖轻轻敲了一下纸面。
“我没更多疑问了。”
有了法尔廷斯开头，那些白髮苍苍的面孔们纷纷开始举手。费弗曼问了一个关於多项式理想维数下界估计的细节。
威腾又问如果不用跡映射改用étale上同调会不会更直接。
剑桥一位做代数几何的老教授追问在正特徵域上消元定理的失效是否可以通过引入额外对称性来补救。
赵阳逐一作答。有时候他不需要补充公式，只简单指出某一步的推导与论文中某条引理的关係就够了，偶尔遇到真正刁钻的问题，他便转过身在黑板上画上一两行推演，再侧过身指给台下的人看。
最后一只手放下了。整个讲堂里顿时鸦雀无声。
所有人目光都在思索，也有人眼神之中充满了恍然，能来现场的，基本上都是高手。
而且在来之前，都对论文进行过深入的探究。
在赵阳这样事无巨细的疏导思路之下，哪怕是千禧年问题，基本上也都弄明白了。
赵阳站在讲台上等了几秒，目光扫过前排一张张白髮苍苍的面孔。“还有人有问题吗？”
台下一片安静。
就在赵阳准备宣布报告会结束的时候，系统提示音他脑中突兀响起。
“叮！检测到用户独立完成的p vs np问题完整证明已通过全球顶级数学家现场质询。钻石级任务完成！”
“获得隨机抽奖次数+3！”
“获得数学等级提升至lv7!“
“叮！检测到用户数学等级提升至lv7!,获得智力+8。获得隨机抽奖次数+4。”