时候:2021年11月27号晚10点。
“是以,想要让证明事情持续停止下去的话,我们只好从尾到头的排查一遍。”
俄然,他的目光舒展在一行算式上。
等程诺的心神从数学陆地游回岸边的时候,一昂首,发明窗外已经落日西下。
不就是爆肝嘛……他程诺不怕!
实在,悲观上讲,他们能够及时的发明证明中存在的弊端,总归是一件功德。
方传授:“……”
PS:一个字:热!!!
固然早就晓得当初在建模大赛上研发的那套法度很流弊,直视没想到还能轰动最高群众法院。
仿佛不知倦怠般,程诺从尾到头的逐页翻看。
程诺淡淡笑了笑,在办公室内一旁的柜子中找了一张毛毯给方传授盖上,然后,便是持续的拿着写满公式的纸张持续埋头搜索着弊端点。
以后一个月的光阴,程诺除了每天的课程以外,便是把残剩的时候全数倾泻在弱BSD猜想的证明事情上。
时候,一分一秒的流逝。
无误!
但获得的服从……并不成喜!
这里,这里……为甚么操纵GL2的部分离艺性证明前提去的得出下一部分证明事情的关头性前提。
垂垂的,方传授和程诺认识到,两人的研讨方向,能够呈现了弊端。
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】
“算了。”方传授点头一笑,“既然你都来这了,我们就趁便会商一下BSD猜想的证明事情吧。”
下一部分证明过程。
程诺放动手中的一页草稿纸,扭了扭脖子,一昂首,发明劈面的方传授已经趴在桌子上睡着。
总比那些一错到底,把猜想证明建立最后却发明证明过程存在严峻弊端的环境要好很多。
毕竟,那套法度的全数心血,都归属于程诺一人。
既然没法抵挡,那就悲观面对。
在办公室内又聊了一会儿以后,柳清主动提出告别。
程诺苦笑一下,“传授,我也不想如许的,但是没体例啊!”
【那么就有L(E,1)=0,~L'(E,1)\not=0≥ r(E)=1.由Kolyvagin定理,得……】
无误!
【……在p≥11的前提下,设椭圆曲线是semi-stable的,便有ord(L(E,1)/c)=ord(Sha(E),GL2为……】
顾菲菲也差未几,双手抵鄙人巴上,满眼桃心。
见林主任拜别,柳清如释重负,一双美眸异彩连连的望着程诺,出声赞叹。
…………
程诺面色一肃,搬过一把椅子坐在方传授办公桌劈面。“嗯。传授,确切比来我在证明过程中碰到了一些题目,趁便就教您一下。”
…………
大神公然是大神啊,竟然连最高群众法院的人都专门跑到这买专利,她们两姐妹算是跟对人了!
不对,不该该是如许!
说你胖,你还真喘上了。
方传授说出了一个最费事,但对现在的环境最为有效的处理计划。
方传授淡淡一笑,语气中带着一丝调侃,“本觉得让你插手此次建模大赛,能拿个国一就算能够了,没想到你弄出的阵仗倒挺大!”
程诺目光一行行扫视。