第三百三十五章 遇到麻煩（2/2）

漸漸的，方教授和程諾意識到，兩人的研究方向，可能出現了錯誤。

…………

地點：數學院方教授辦公室。

時間：2021年11月27號晚10點。

人物：方若愚，程諾。

辦公桌上，擺著整整三大摞的草紙。這些，便是兩人這段時間關於BSD猜想的全部心血。

明亮的燈光下，面色有些憔悴的程諾開口，「教授，你說到底是哪個步驟我們出現了問題？」

方教授推推老花鏡，嘆口氣，「很難說。數學證明，本就是一步錯，步步錯。我們很難知道，到底是前面哪個環節出現問題，導致造成如今這個局面。」

「因此，想要讓證明工作繼續進行下去的話，我們只好從尾到頭的排查一遍。」

方教授說出了一個最麻煩，但對現在的情況最為有效的解決方案。

程諾苦笑著點點頭，表示知曉。

雖然早知道在世界級的猜想證明過程中會遇到這種情況，但當事實真的發生在你面前時，還是有些難以接受。

其實，樂觀上講，他們能夠及時的發現證明中存在的錯誤，總歸是一件好事。

總比那些一錯到底，把猜想證明成立最後卻發現證明過程存在重大錯誤的情況要好很多。

既然無法反抗，那就樂觀面對。

不就是爆肝嘛……他程諾不怕！

拿起第一摞的幾張草稿，程諾低頭便認真看起來。

【設L（E，s）是橢圓曲線E對應的Hasse-Weil L-function。事實上BSD conjecture包含下面兩條.函數L（E，s）在處Taylor展開的階等於橢圓曲線的Mordell-Weil rank……那麼就有L（E，1）=0，~L「（E，1）ot=0 Rightarrow r（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公式的求解完全沒必要，如果想要從邏輯上得到Kolyvagin conjecture的話，應該用……

一瞬間，程諾靈光迸裂！

………………

………………