设置

关灯

大

中

小

第二百三十四章 弱BAB猜想 (3 / 9)

《>为了网站长久运营 请在浏览器设置 *关闭广告屏蔽管理* 方可正常阅读 谢谢支持!!!!......》

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

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

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

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

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

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

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

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

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

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

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