程诺放动手中的一页草稿纸,扭了扭脖子,一昂首,发明劈面的方传授已经趴在桌子上睡着。
他已经要了程诺的银行卡号,判定时候,十五万的专利费便会打到程诺的账户上。
不对,不该该是如许!
“是以,想要让证明事情持续停止下去的话,我们只好从尾到头的排查一遍。”
毕竟,那套法度的全数心血,都归属于程诺一人。
【设L(E,s)是椭圆曲线E对应的Hasse-Weil L-function。究竟上BSD conjecture包含上面两条.函数L(E,s)在处Taylor展开的阶即是椭圆曲线的Mordell-Weil rank……那么就有L(E,1)=0,~L'(E,1)\not=0 Rightarrow r(E)≥ 1】
一刹时,程诺灵光迸裂!
不就是爆肝嘛……他程诺不怕!
仿佛不知倦怠般,程诺从尾到头的逐页翻看。
以后一个月的光阴,程诺除了每天的课程以外,便是把残剩的时候全数倾泻在弱BSD猜想的证明事情上。
无误!
无误!
总比那些一错到底,把猜想证明建立最后却发明证明过程存在严峻弊端的环境要好很多。
方传授推推老花镜,叹口气,“很难说。数学证明,本就是一步错,步步错。我们很难晓得,到底是前面哪个环节呈现题目,导致形成现在这个局面。”
敞亮的灯光下,面色有些蕉萃的程诺开口,“传授,你说到底是哪个步调我们呈现了题目?”
固然早就晓得当初在建模大赛上研发的那套法度很流弊,直视没想到还能轰动最高群众法院。
固然早晓得活着界级的猜想证明过程中会碰到这类环境,但当究竟真的产生在你面前时,还是有些难以接管。
…………
在办公室内又聊了一会儿以后,柳清主动提出告别。
方传授:“……”
程诺苦笑着点点头,暗见晓得。
俄然,他的目光舒展在一行算式上。
时候,已经来到凌晨三点。
期间,程诺倒也提过三人平分那十五万专利费的设法,不过被她们两个判定回绝了。
垂垂的,方传授和程诺认识到,两人的研讨方向,能够呈现了弊端。
【……在p≥11的前提下,设椭圆曲线是semi-stable的,便有ord(L(E,1)/c)=ord(Sha(E),GL2为……】
等程诺的心神从数学陆地游回岸边的时候,一昂首,发明窗外已经落日西下。
但获得的服从……并不成喜!
不过也好,起码证明他十多个小时的点窜法度没有白搭。
一堆堆的公式,字符,在大脑内连络,运算,并产生逻辑成果。
证明进度一向卡在56%这个坎上迈不畴昔。
并且,现在看来,既然最高群众法院都派出人来买程诺的建模法度,那岂不是意味着,他们这个建模小组有非常大的概率拿到国一奖项。
实在,悲观上讲,他们能够及时的发明证明中存在的弊端,总归是一件功德。
商定完专利的事情,林主任便起家告别。
见林主任拜别,柳清如释重负,一双美眸异彩连连的望着程诺,出声赞叹。
能被程诺如许的大神带着双飞已经是她们两个莫大的运气了,至于专利费,两人还真没有那么不识汲引的想和程诺平分。
柳清和顾菲菲已经筹议好,如果他们真的能拿到建模大赛国度一等奖的话,那便各自拿出半个月的糊口费,请程诺大神吃一顿大餐!
…………
程诺面色一肃,搬过一把椅子坐在方传授办公桌劈面。“嗯。传授,确切比来我在证明过程中碰到了一些题目,趁便就教您一下。”