第(2/3)页 “可是……” 可是,这特么才一天时间啊! 高师兄觉得自己的认知在一点点崩塌。 因为顾律的表现,越来越不在高师兄的认知范围内了。 上一次顾律的逆天表现依旧历历在目,这一次,顾律再次将之前的场景重演。 同样是一个人,用一天时间,完成预计两个人用半个月时间搞定的任务。 而且这一次任务的难度,比上次还要高许多。 上一次,顾律只是将原本需要通过复杂计算才能得出结果的一套公式,通过引入抽象-K簇这个概念,将步骤进行简化而已。 而这次,顾律是从无到有,在极短时间内,重新制定一套全新的证明方案。 无论是难度,亦或是复杂程度,后者都要比前者高一些。 其实,高师兄还不知道的一点是。 顾律在制定新方案的时候,不仅仅是要让证明方案具有可行性,并且,还需要新方案的证明步骤要比原方案简单。 只有这样,顾律才能保证,在六个月的任务时限结束前,解决极小模型纲领第二问题。 顾律在电脑上操作一番后,对高师兄说道,“高师兄,新方案我通过邮件发给你了,你检查一下,有没有问题。” 高师兄打开邮箱中顾律发来的文件,粗略的游览一遍。 接着,高师兄露出一副古怪的表情,“顾师弟,你这证明方案……” “很奇怪是吧。”顾律为高师兄补充了后半句,不在意的笑笑,“其实在我制定这个方案的时候,也是这种感觉。” “但事实,它就是对的!”顾律嘴角上扬,语气自信。 顾律提出的新方案,说简单也简单,说复杂也复杂。 其核心只有五个字:数学归纳法! 数学归纳法,没有人会陌生。 众所周知,数学归纳法是我们在高中就接触的一种证明方法,可以说是最基础的证明法之一。 但顾律的方案可不是我们高中学的最普通的数学归纳法。 而是……史诗级加强难度的数学归纳法! 为了证明高维代数簇flip操作在有限次后终止这个主定理,需要证明六个看似毫无联系的辅助定理。 我们将这六个定理分别命名为:A、B、C、D、E、F! 第(2/3)页