第二百四十二章 开始验证!
第二百四十二章 开始验证! (第3/3页)
“BAB猜想的证明?”艾肯教授视线落在屏幕上,语气惊讶。
“作者是……华国人?”旁边,狄西卡教授眉头一皱。
“顾律,这个名字,莫名的感觉很熟悉啊。”奥尔德摩挲着下巴,轻声开口。
对面,马克龙主编为三位教授解释道,“三位,这篇论文,确实是一位华国数学家发给我的,他的名字叫顾律。对,就是去年那个解决极小模型纲领两大难题的华国数学家。”
在马克龙主编解释的时候,艾肯教授已经操控着鼠标,一段一段的浏览顾律的这篇论文。
而随着时间的推移,艾肯教授的目光变得越来越凝重。
突然,艾肯教授抬头,对视上马克龙的视线,“马克龙主编,我们需要一间安静的房间!”
马克龙主编面色一喜,“我马上去安排。”
“三位教授,这件事,就拜托你们了!”马克龙对三位浅浅鞠了一躬。
艾肯教授等三人点点头,接着在马克龙主编的安排下,三人来到一间安静的房间。
“我们开始吧!”
三人齐齐对视一眼,开始紧张忙碌的验证环节。
…………
长达五十四页的论文,不是短时间内可以验证完的。
但随着时间的推移,参与验证工作的三位教授面色确实愈发凝重。
他们愈发的认识到,BAB猜想这个存在二十多年的世界级猜想,或许,真的被成功证明了!
因为截止到现在,在顾律的这篇论文中,三人还未发现任何的逻辑错误之处。
晚上十点,三人结束论文中证明弱BAB猜想过程的验证,进入论文的最后一部分的验证工作。