第四百八十章 發現了什麼不得了的東西[第1頁/共3頁]

程諾所說的這個無窮階曲線上有理點構建題目，恰是第二塊拚圖中最關頭的阿誰部分，一樣，也是最難的一部分。

看著張明華那正氣凜然的模樣，程諾有些拿不準，那些話，張明華是在舔，還是真的發自肺腑？

研討工具是莫代爾互換群的同餘數，當它與無窮階曲線長停止訂交時，獲得的有理點的表示體例。

張偉以為應當從莫代爾群的模定理停止研討，來由是曆代數學家在研討BSD猜想的這一部分時，便是以次停止深切研討。

程諾和張偉師兄弟二人，除了平常帶研討生的事情外，把殘剩的精力全數撲在這上麵。

既然冇有真正證明出來，那就說前麵的推理計劃一定是精確的。

有了橢圓阿爾貝群定理，BSD猜想的證明事情便又能夠持續停止。

橢圓阿爾貝群的呈現，讓張偉逼真的看到了霸占BSD猜想的但願。

這些靈感是程諾這幾天早上在操場跑步時呈現的。

細心算下來的話，間隔BSD猜想證明項目開題，已經疇昔將近四個月的時候。

這類事情狂的態度，在無形當中，帶給了清華大學內很多傳授如有若無的壓力。

他的嘴角一翹，喃喃自語，“我彷彿，發明瞭一個甚麼了不得的東西。”

程諾到的時候，張偉師兄也剛到。

而在黌舍的科研民風在程諾的影響下漸漸竄改之際，程諾和張偉正在辦公室內狠惡的會商著。

…………

“不不不，間隔傳授您還差的遠！一篇畢業論文，在我們眼中是千難萬難，但在您眼中，隻不過是動動腦筋的事情罷了，這點小事在您們麵前不值一提。”

遵循框架，下一塊需求搞定的拚圖是莫代爾群。

差的兩塊拚圖，彆離是阿貝爾簇，和莫代爾群。

“唉，不，等等！”

480章

“假定D無平方因子，簡樸的初等考量顯現D為同餘數等價於橢圓曲線E_D: y^2=x^3-D^2x上有某個y \neq 0的有理點。能夠證明如許的點不屬於T，因而D為同餘數又等價於r_D>0，決定統統同餘數D，使得r_D>0，然後……，再如許，就能肯定這個有理點是……”

是以，幾近是短短幾天時候，很多傳授在做項目時俄然變得主動起來。

被舔的有些實在是忍耐不了，程諾低著頭一言不發的跑了兩圈，回到公寓洗個澡後，便直奔研討所辦公室。

想起這個門生半年多來帶給本身的印象，程諾隻能用無語兩個字來描述。

證明BSD猜想的終縱目標，進度1/3。

清華北操場的塑膠跑道上，程諾戴著耳機，勻速慢跑。

“程諾，這個……”張偉有些躊躇。