粉笔在他手里断成两截，他弯腰捡起掉在地上的那一小截，放进粉笔槽里，退后一步，四块黑板被密密麻麻的推导公式铺得几乎没有空隙。他转过身拍了拍手上的粉笔灰。

眼神平静的转身，看向台下眾人，直接说到。

“主要步骤都在这里了。现在哪一部分有问题，都可以问。”

讲堂里沉默了好几秒。然后一只枯瘦的手从第一排缓缓举起来。是法尔廷斯。

“正特徵域平坦態射构造的部分，当你把特徵零域上的结论通过跡映射拉回正特徵域时，这里处理素特徵可能出现的分歧你声称新约束条件可以自动排除所有退化路径。能否请你把这一小节的排除逻辑展开再推一遍？”

“这一小节需要再拆两层：素特徵分成平凡分歧和深分歧两种情况。平凡分歧用正规锥维数估计可以直接排除，深分歧则需要跡映射在边界上的单射性单射性的保持条件正好被新约束条件的参数区间完整覆盖。”

赵阳转过身在那一片区域旁边又补画了一组交换图，將深分歧的分支结构逐条標註出来，然后逐一说明在每一条分支上新约束条件是如何关闭退化窗口的。

法尔廷斯盯著那几行字看了很久，然后將那份薄薄的会议手册压在膝盖上，用指尖轻轻敲了一下纸面。

“我没更多疑问了。”

有了法尔廷斯开头，那些白髮苍苍的面孔们纷纷开始举手。费弗曼问了一个关於多项式理想维数下界估计的细节。

威腾又问如果不用跡映射改用étale上同调会不会更直接。

剑桥一位做代数几何的老教授追问在正特徵域上消元定理的失效是否可以通过引入额外对称性来补救。

赵阳逐一作答。有时候他不需要补充公式，只简单指出某一步的推导与论文中某条引理的关係就够了，偶尔遇到真正刁钻的问题，他便转过身在黑板上画上一两行推演，再侧过身指给台下的人看。

最后一只手放下了。整个讲堂里顿时鸦雀无声。

所有人目光都在思索，也有人眼神之中充满了恍然，能来现场的，基本上都是高手。

而且在来之前，都对论文进行过深入的探究。

在赵阳这样事无巨细的疏导思路之下，哪怕是千禧年问题，基本上也都弄明白了。

赵阳站在讲台上等了几秒，目光扫过前排一张张白髮苍苍的面孔。“还有人有问题吗？”

台下一片安静。

就在赵阳准备宣布报告会结束的时候，系统提示音他脑中突兀响起。

“叮！检测到用户独立完成的p vs np问题完整证明已通过全球顶级数学家现场质询。钻石级任务完成！”

“获得隨机抽奖次数+3！”

“获得数学等级提升至lv7!“

“叮！检测到用户数学等级提升至lv7!,获得智力+8。获得隨机抽奖次数+4。”