对啊！很可惜。
本来他还是有可能，在任务期限的最后一个半月时间内，搞定极小模型纲领第二问题的。
但突然来这么一出。
那完成任务的几率就无限接近于零了。
前面一周商讨证明方案的时间，还有四天高师兄用于研究的时间，总共十天时间，全部白白浪费掉。
而后面还不知要用多长时间才能想出新的证明方案。
目前的情况，想要在期限内完成任务，方式只有一个。
那就是……
在一天时间内，找到一种比原来方案更为简单的证明方案！
这……可能吗？
顾律反正觉得有点天方夜谭。
心情低落的顾律和高师兄简单聊了几句后，就关闭了视频聊天。
深吸一口气，顾律调整了一下心情，打开高师兄传来的那个文档。
文档里，是高师兄的推导过程，足足有两页的长度。
顾律用了一个多小时的时间，从头到尾浏览了一遍，然后最后一丝的侥幸被彻底掐灭。
果然，就如同高师兄所说的。
他们原先制定的那套方案一，是根本无法证明出高维代数簇flip操作的终止性的。
在推导一段时间后，就会进入一个逻辑死循环。
顾律尝试过从这个逻辑循环中走出来，但发现完全没可能。
可以说……
这套证明方案可以被完全抛弃掉了。
没有半点进行弥补的必要。
寻找一个全新的证明方案，是唯一具有可行性的计划。
但，寻找新方案，这件事说起来简单，做起来何其难也。
尤其是留给顾律的时间只有一天。
顾律原本都想放弃挣扎了。
不过仔细想了想，顾律还是决定抢救一下。
遇到失败，就放弃。
这是一个不好的心态。
有了第一次，就会有第二次，第三次……