第二百四十二章 开始验证!

    第二百四十二章 开始验证! (第3/3页)

    “BAB猜想的证明?”艾肯教授视线落在屏幕上,语气惊讶。

    “作者是……华国人?”旁边,狄西卡教授眉头一皱。

    “顾律,这个名字,莫名的感觉很熟悉啊。”奥尔德摩挲着下巴,轻声开口。

    对面,马克龙主编为三位教授解释道,“三位,这篇论文,确实是一位华国数学家发给我的,他的名字叫顾律。对,就是去年那个解决极小模型纲领两大难题的华国数学家。”

    在马克龙主编解释的时候,艾肯教授已经操控着鼠标,一段一段的浏览顾律的这篇论文。

    而随着时间的推移,艾肯教授的目光变得越来越凝重。

    突然,艾肯教授抬头,对视上马克龙的视线,“马克龙主编,我们需要一间安静的房间!”

    马克龙主编面色一喜,“我马上去安排。”

    “三位教授,这件事,就拜托你们了!”马克龙对三位浅浅鞠了一躬。

    艾肯教授等三人点点头,接着在马克龙主编的安排下,三人来到一间安静的房间。

    “我们开始吧!”

    三人齐齐对视一眼,开始紧张忙碌的验证环节。

    …………

    长达五十四页的论文,不是短时间内可以验证完的。

    但随着时间的推移,参与验证工作的三位教授面色确实愈发凝重。

    他们愈发的认识到,BAB猜想这个存在二十多年的世界级猜想,或许,真的被成功证明了!

    因为截止到现在,在顾律的这篇论文中,三人还未发现任何的逻辑错误之处。

    晚上十点,三人结束论文中证明弱BAB猜想过程的验证,进入论文的最后一部分的验证工作。