第三百四十三章 证毕!

晚上九点,飞机稳稳的停在京都国际机场。

下了飞机,拒绝了洪教练一块吃饭庆祝一下的邀请,随便打了一辆车,程诺赶回学校。

在学校旁边的小餐馆填饱了肚子,程诺便马不停蹄的来到教师公寓方教授的家中。

他之所以这么着急赶回来,并非是因为要准备美赛的事情。

两天后美赛才会开始,他大可不必如此着急。

之所以要急忙回来,是因为有一件非常重要的事情等着他,那就是弱BSD猜想的收尾工作!

没错,经过方教授和程诺两人夜以继日的不懈钻研,这个猜想的证明工作进度已然达到97%,只剩下最后一些并不算复杂的收尾工作。

而长达几乎一年的埋头苦干,似乎也终于守得云开见月明,即将迎来收获的季节。

这个项目,可以说是程诺进入大学以来,难度最大,水平最高的研究项目。

现在马上就要到成功的时刻,程诺怎么会不着急见证这一刻。

咚咚咚~~!

程诺早就提前告知了方教授自己回来的消息,所以见到站在门外微微有些喘息的程诺,方教授倒是没有任何意外。

他笑着招呼进来,给程诺倒了一杯水,“怎么样,这次收获如何?”

程诺和方教授的关系已经日渐熟稔,便当做平常聊天时的语气,“还行吧。反正我们国家的速算实力老师你也是知道。我去的话,只算是锦上添花而已。”

“而且,一群小孩子参加的比赛,赢了也没感到有什么成就感。”程诺补充了一句。

方教授呵呵一笑,摩挲着手中的保温杯,“就算是出国增长增长阅历吧。”

“还有,再过两天,美赛就要开始了,那时候全球各大高校都会派人参加,到时候,你就会赢得有成就感些了。”

方教授起身,“好了。先不聊这些了,我们还是说一下正事吧。”

程诺面色一肃,认真倾听。

“你去米国的这两天时间,我已经把最后那3%进程的证明框架给大概搭建起来了。”说着,方教授看了程诺一眼,“其实,我们这个证明方案最关键的核心部分还是在于你所说的那个Eisenstein series理论。”

“有了Eisenstein series理论当做一个桥梁,实现前后理论的相互衔接,一切过程就相当于是水到渠成。你也发现了,在后面这段时间的研究中,我们几乎没有遇到过什么阻碍。”

程诺深以为然的点点头。

确实,“Eisenstein series理论”在弱BSD猜想的证明过程中所发挥的作用不言而喻。可以说,就是因为它,将原本那死气沉沉的推导公式给彻底盘活!

到现在程诺还有些庆幸,庆幸自己当时灵光一闪,居然能想到这个切入点。否则的话,不知道要把这个漫长枯燥的证明过程推迟到什么时候。

当然,这肯定不全是因为运气的因素。

要让一个普通人代入当时的那个情景,就算是灵光怎么biubiubiu的闪,也不会想到Eisenstein series理论上去。

因为,他们根本不知道“Eisenstein series理论”到底是个什么鬼东西。

所以说,还是和程诺平时坚持不懈的积累有关。

听完方教授的话后,程诺面露喜色,“教授,照你的意思是说,我们马上就要完工了!”

方教授点头,“准确的说,就在这两天。”

“我大概估算过了,如果我们两个都高效率运转的话,剩下3%的进度一天半的时间就能搞定!”

“那还等什么!”程诺满怀激动。

方教授上下打量程诺一下,微微一笑,“来书房吧!”

……

剩下的两天,程诺没有回学校宿舍,而是住在方教授家中。

方教授的公寓是三室一厅,不用担心住不下。而且方教授是孤寡老人一个,让程诺住下也能随时和自己解解闷。

还有,为了加紧进度,两人都算是马力全开,日夜颠倒,一般都是研究累了,直接回到卧室倒头就睡,方教授也不愿程诺宿舍和教师公寓的来回折腾。

终于,在两人的夜以继日下,2月13号的下午,程诺在草稿纸上写下最后一串公式:

“由此,得证,在解析秩为1的情况下,设E是定义在代数数域K上的椭圆曲线,E(K)的秩恰好等于L(E,s)在s=1处零点的阶!”

证毕!!

程诺轻呼一口气,有一种叫做“成就感”的东西填满了他的胸膛。

世界猜想,这可是世界猜想,竟然就这样被我……证明出来了?

程诺望着桌面上那已经堆起一摞的草稿纸,目眩神迷的目光中有着一瞬间短暂的失神。

虽然这只算是世界七大数学猜想的弱化版本,但确确实实是个世界级别的猜想啊!

这和自己之前的那些小打小闹完全不同。

登堂入室!

不知为什么,程诺脑中突然冒出了这个词。