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