…………
一堆堆的公式,字符,在大脑内连络,运算,并产生逻辑成果。
柳清和顾菲菲已经筹议好,如果他们真的能拿到建模大赛国度一等奖的话,那便各自拿出半个月的糊口费,请程诺大神吃一顿大餐!
面对两姐妹的吹嘘,程诺淡淡一笑,“根基操纵,根基操纵罢了。”
送走了柳清和顾菲菲,办公室内只剩下程诺,还一向坐在办公桌上笑着望着这边的方传授。
方传授推推老花镜,叹口气,“很难说。数学证明,本就是一步错,步步错。我们很难晓得,到底是前面哪个环节呈现题目,导致形成现在这个局面。”
…………
“哇,大神你好短长!”
敞亮的灯光下,面色有些蕉萃的程诺开口,“传授,你说到底是哪个步调我们呈现了题目?”
证明进度一向卡在56%这个坎上迈不畴昔。
乃至于拿到建模国一奖的动静,都没有冲淡程诺心头的忧愁。
方传授说出了一个最费事,但对现在的环境最为有效的处理计划。
人物:方若愚,程诺。
【那么就有L(E,1)=0,~L'(E,1)\not=0≥ r(E)=1.由Kolyvagin定理,得……】
又是过了三天,环境还是如此。
程诺的大脑仿佛一台高速运转的机器。
这里,这里……为甚么操纵GL2的部分离艺性证明前提去的得出下一部分证明事情的关头性前提。
商定完专利的事情,林主任便起家告别。
一老一少,垂垂进入忘我的境地。
程诺目光一行行扫视。
“那大神,如果没有其他事情的话,我们两个就先走了啊!”
PS:一个字:热!!!
垂垂的,方传授和程诺认识到,两人的研讨方向,能够呈现了弊端。
拿起第一摞的几张草稿,程诺低头便当真看起来。
精确的说,比来一周,研讨过程能够用寸步为艰来描述。
程诺淡淡笑了笑,在办公室内一旁的柜子中找了一张毛毯给方传授盖上,然后,便是持续的拿着写满公式的纸张持续埋头搜索着弊端点。
【……在p≥11的前提下,设椭圆曲线是semi-stable的,便有ord(L(E,1)/c)=ord(Sha(E),GL2为……】
大神公然是大神啊,竟然连最高群众法院的人都专门跑到这买专利,她们两姐妹算是跟对人了!
既然没法抵挡,那就悲观面对。
下一部分证明过程。
固然早晓得活着界级的猜想证明过程中会碰到这类环境,但当究竟真的产生在你面前时,还是有些难以接管。
俄然,他的目光舒展在一行算式上。
方传授:“……”
以后一个月的光阴,程诺除了每天的课程以外,便是把残剩的时候全数倾泻在弱BSD猜想的证明事情上。
但获得的服从……并不成喜!
335章
总比那些一错到底,把猜想证明建立最后却发明证明过程存在严峻弊端的环境要好很多。
仓促告别了方传授,程诺分开数院大楼。
………………
…………
“关于阿贝尔簇的有理点,如果构成一个有限天生互换群,我用结部分点集……”
时候,已经来到凌晨三点。
………………
能被程诺如许的大神带着双飞已经是她们两个莫大的运气了,至于专利费,两人还真没有那么不识汲引的想和程诺平分。
不对,不该该是如许!
不就是爆肝嘛……他程诺不怕!
说你胖,你还真喘上了。
【设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】