还不赶快来体验！！！

        三个月的时间过去，西蒙取得了一系列相当喜人的成果。

        预定计划中，截止到当前，西蒙需要达成60%的进度。

        但西蒙实现了超额完成，目前，西蒙的整体研究进度达到了65%。

        比预想中的进度还要快上5%。

        与顾律不同的是，顾律是利用极小模型纲领为切入点，进行BAB猜想的证明工作。

        但西蒙是利用另一套证明法，攻克BAB猜想。

        就像是一道题目，顾律和西蒙分别用了两种不同的解法。

        其实，由于解法的不同，在整体进度上，顾律是比西蒙要快。

        但西蒙是在顾律之前，证明出三维BAB猜想，也就是弱BAB猜想的。

        弱BAB猜想，简单来说就是BAB猜想的简化版本。

        内容未完，下一页继续阅读