第三百三十五章 遇到麻烦
335章
商定完专利的事情,林主任便起身告辞。
他已经要了程诺的银行卡号,果断时间,十五万的专利费便会打到程诺的账户上。
“哇,大神你好厉害!”
见林主任离去,柳清如释重负,一双美眸异彩连连的望着程诺,出声赞叹。
顾菲菲也差不多,双手抵在下巴上,满眼桃心。
大神果然是大神啊,竟然连最高人民法院的人都专门跑到这买专利,她们两姐妹算是跟对人了!
面对两姐妹的吹捧,程诺淡淡一笑,“基本操作,基本操作而已。”
虽然早就知道当初在建模大赛上研发的那套程序很流弊,直视没想到还能惊动最高人民法院。
不过也好,至少证明他十多个小时的修改程序没有白费。
…………
“那大神,如果没有其他事情的话,我们两个就先走了啊!”
在办公室内又聊了一会儿之后,柳清主动提出告辞。
期间,程诺倒也提过三人平分那十五万专利费的想法,不过被她们两个果断拒绝了。
能被程诺这样的大神带着双飞已经是她们两个莫大的运气了,至于专利费,两人还真没有那么不识抬举的想和程诺平分。
毕竟,那套程序的全部心血,都归属于程诺一人。
并且,现在看来,既然最高人民法院都派出人来买程诺的建模程序,那岂不是意味着,他们这个建模小组有非常大的几率拿到国一奖项。
柳清和顾菲菲已经商量好,要是他们真的能拿到建模大赛国家一等奖的话,那便各自拿出半个月的生活费,请程诺大神吃一顿大餐!
送走了柳清和顾菲菲,办公室内只剩下程诺,还一直坐在办公桌上笑着望着这边的方教授。
方教授淡淡一笑,语气中带着一丝调侃,“本以为让你参加这次建模大赛,能拿个国一就算可以了,没想到你弄出的阵仗倒挺大!”
程诺苦笑一下,“教授,我也不想这样的,可是没办法啊!”
说着,程诺哀叹一句,“要怪,就只怪我太优秀!”
方教授:“……”
说你胖,你还真喘上了。
“算了。”方教授摇头一笑,“既然你都来这了,我们就顺便讨论一下BSD猜想的证明工作吧。”
程诺面色一肃,搬过一把椅子坐在方教授办公桌对面。“嗯。教授,确实最近我在证明过程中遇到了一些问题,顺便请教您一下。”
“说来听听。”
“关于阿贝尔簇的有理点,如果形成一个有限生成交换群,我用了局部点集……”
……
一老一少,渐渐进入忘我的境界。
等程诺的心神从数学海洋游回岸边的时候,一抬头,发现窗外已经夕阳西下。
匆匆告别了方教授,程诺离开数院大楼。
…………
之后一个月的时光,程诺除了每天的课程之外,便是把剩余的时间全部倾注在弱BSD猜想的证明工作上。
但取得的成果……并不可喜!
准确的说,最近一周,研究进程可以用寸步为艰来形容。
证明进度一直卡在56%这个坎上迈不过去。
以至于拿到建模国一奖的消息,都没有冲淡程诺心头的忧虑。
又是过了三天,情况依旧如此。
渐渐的,方教授和程诺意识到,两人的研究方向,可能出现了错误。
…………
地点:数学院方教授办公室。
时间:2021年11月27号晚10点。
人物:方若愚,程诺。
办公桌上,摆着整整三大摞的草纸。这些,便是两人这段时间关于BSD猜想的全部心血。
明亮的灯光下,面色有些憔悴的程诺开口,“教授,你说到底是哪个步骤我们出现了问题?”
方教授推推老花镜,叹口气,“很难说。数学证明,本就是一步错,步步错。我们很难知道,到底是前面哪个环节出现问题,导致造成如今这个局面。”
“因此,想要让证明工作继续进行下去的话,我们只好从尾到头的排查一遍。”
方教授说出了一个最麻烦,但对现在的情况最为有效的解决方案。
程诺苦笑着点点头,表示知晓。
虽然早知道在世界级的猜想证明过程中会遇到这种情况,但当事实真的发生在你面前时,还是有些难以接受。
其实,乐观上讲,他们能够及时的发现证明中存在的错误,总归是一件好事。
总比那些一错到底,把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
既然无法反抗,那就乐观面对。
不就是爆肝嘛……他程诺不怕!
拿起第一摞的几张草稿,程诺低头便认真看起来。
【设L(E,s)是椭圆曲线E对应的Hasse-WeilL-function。事实上BSDconjecture包含下面两条.函数L(E,s)在处Taylor展开的阶等于椭圆曲线的Mordell-Weilrank……那么就有L(E,1)=0,~L'(E,1)
ot=0Rightarrowr(E)≥1】
无误!
下一部分证明过程。
【那么就有L(E,1)=0,~L'(E,1)
ot=0≥r(E)=1.由Kolyvagin定理,得……】
无误!
程诺的大脑宛若一台高速运转的机器。
一堆堆的公式,字符,在大脑内结合,运算,并产生逻辑结果。
仿佛不知疲倦般,程诺从尾到头的逐页翻看。
…………
时间,已经来到凌晨三点。
程诺放下手中的一页草稿纸,扭了扭脖子,一抬头,发现对面的方教授已经趴在桌子上睡着。
程诺淡淡笑了笑,在办公室内一旁的柜子中找了一张毛毯给方教授盖上,然后,便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。
时间,一分一秒的流逝。
程诺目光一行行扫视。
突然,他的目光紧锁在一行算式上。
【……在p≥11的条件下,设椭圆曲线是semi-stable的,便有ord(L(E,1)/c)=ord(Sha(E),GL2为……】
这里,这里……为什么利用GL2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。
不对,不应该是这样!
GL2公式的求解完全没必要,如果想要从逻辑上得到Kolyvaginconjecture的话,应该用……
一瞬间,程诺灵光迸裂!
………………
………………
PS:一个字:热!!!
请收藏本站:https://www.hb99.cc。话本小说手机版:https://m.hb99.cc
商定完专利的事情,林主任便起身告辞。
他已经要了程诺的银行卡号,果断时间,十五万的专利费便会打到程诺的账户上。
“哇,大神你好厉害!”
见林主任离去,柳清如释重负,一双美眸异彩连连的望着程诺,出声赞叹。
顾菲菲也差不多,双手抵在下巴上,满眼桃心。
大神果然是大神啊,竟然连最高人民法院的人都专门跑到这买专利,她们两姐妹算是跟对人了!
面对两姐妹的吹捧,程诺淡淡一笑,“基本操作,基本操作而已。”
虽然早就知道当初在建模大赛上研发的那套程序很流弊,直视没想到还能惊动最高人民法院。
不过也好,至少证明他十多个小时的修改程序没有白费。
…………
“那大神,如果没有其他事情的话,我们两个就先走了啊!”
在办公室内又聊了一会儿之后,柳清主动提出告辞。
期间,程诺倒也提过三人平分那十五万专利费的想法,不过被她们两个果断拒绝了。
能被程诺这样的大神带着双飞已经是她们两个莫大的运气了,至于专利费,两人还真没有那么不识抬举的想和程诺平分。
毕竟,那套程序的全部心血,都归属于程诺一人。
并且,现在看来,既然最高人民法院都派出人来买程诺的建模程序,那岂不是意味着,他们这个建模小组有非常大的几率拿到国一奖项。
柳清和顾菲菲已经商量好,要是他们真的能拿到建模大赛国家一等奖的话,那便各自拿出半个月的生活费,请程诺大神吃一顿大餐!
送走了柳清和顾菲菲,办公室内只剩下程诺,还一直坐在办公桌上笑着望着这边的方教授。
方教授淡淡一笑,语气中带着一丝调侃,“本以为让你参加这次建模大赛,能拿个国一就算可以了,没想到你弄出的阵仗倒挺大!”
程诺苦笑一下,“教授,我也不想这样的,可是没办法啊!”
说着,程诺哀叹一句,“要怪,就只怪我太优秀!”
方教授:“……”
说你胖,你还真喘上了。
“算了。”方教授摇头一笑,“既然你都来这了,我们就顺便讨论一下BSD猜想的证明工作吧。”
程诺面色一肃,搬过一把椅子坐在方教授办公桌对面。“嗯。教授,确实最近我在证明过程中遇到了一些问题,顺便请教您一下。”
“说来听听。”
“关于阿贝尔簇的有理点,如果形成一个有限生成交换群,我用了局部点集……”
……
一老一少,渐渐进入忘我的境界。
等程诺的心神从数学海洋游回岸边的时候,一抬头,发现窗外已经夕阳西下。
匆匆告别了方教授,程诺离开数院大楼。
…………
之后一个月的时光,程诺除了每天的课程之外,便是把剩余的时间全部倾注在弱BSD猜想的证明工作上。
但取得的成果……并不可喜!
准确的说,最近一周,研究进程可以用寸步为艰来形容。
证明进度一直卡在56%这个坎上迈不过去。
以至于拿到建模国一奖的消息,都没有冲淡程诺心头的忧虑。
又是过了三天,情况依旧如此。
渐渐的,方教授和程诺意识到,两人的研究方向,可能出现了错误。
…………
地点:数学院方教授办公室。
时间:2021年11月27号晚10点。
人物:方若愚,程诺。
办公桌上,摆着整整三大摞的草纸。这些,便是两人这段时间关于BSD猜想的全部心血。
明亮的灯光下,面色有些憔悴的程诺开口,“教授,你说到底是哪个步骤我们出现了问题?”
方教授推推老花镜,叹口气,“很难说。数学证明,本就是一步错,步步错。我们很难知道,到底是前面哪个环节出现问题,导致造成如今这个局面。”
“因此,想要让证明工作继续进行下去的话,我们只好从尾到头的排查一遍。”
方教授说出了一个最麻烦,但对现在的情况最为有效的解决方案。
程诺苦笑着点点头,表示知晓。
虽然早知道在世界级的猜想证明过程中会遇到这种情况,但当事实真的发生在你面前时,还是有些难以接受。
其实,乐观上讲,他们能够及时的发现证明中存在的错误,总归是一件好事。
总比那些一错到底,把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
既然无法反抗,那就乐观面对。
不就是爆肝嘛……他程诺不怕!
拿起第一摞的几张草稿,程诺低头便认真看起来。
【设L(E,s)是椭圆曲线E对应的Hasse-WeilL-function。事实上BSDconjecture包含下面两条.函数L(E,s)在处Taylor展开的阶等于椭圆曲线的Mordell-Weilrank……那么就有L(E,1)=0,~L'(E,1)
ot=0Rightarrowr(E)≥1】
无误!
下一部分证明过程。
【那么就有L(E,1)=0,~L'(E,1)
ot=0≥r(E)=1.由Kolyvagin定理,得……】
无误!
程诺的大脑宛若一台高速运转的机器。
一堆堆的公式,字符,在大脑内结合,运算,并产生逻辑结果。
仿佛不知疲倦般,程诺从尾到头的逐页翻看。
…………
时间,已经来到凌晨三点。
程诺放下手中的一页草稿纸,扭了扭脖子,一抬头,发现对面的方教授已经趴在桌子上睡着。
程诺淡淡笑了笑,在办公室内一旁的柜子中找了一张毛毯给方教授盖上,然后,便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。
时间,一分一秒的流逝。
程诺目光一行行扫视。
突然,他的目光紧锁在一行算式上。
【……在p≥11的条件下,设椭圆曲线是semi-stable的,便有ord(L(E,1)/c)=ord(Sha(E),GL2为……】
这里,这里……为什么利用GL2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。
不对,不应该是这样!
GL2公式的求解完全没必要,如果想要从逻辑上得到Kolyvaginconjecture的话,应该用……
一瞬间,程诺灵光迸裂!
………………
………………
PS:一个字:热!!!
请收藏本站:https://www.hb99.cc。话本小说手机版:https://m.hb99.cc