第656章 有限群！（第2/2頁）

“嚶嚶……”歐葉嘴唇動了動，醒了。

“葉子你醒了。”

“嗯……外面好大雨哦。”

“大暴雨，挺猛的，等雨停了，我們再回家。”

“好的。”歐葉睡醒後第一件事是摸手機，她劃動手機屏幕，查收新郵件、新信息。

信息發件人趙天：“葉子姐，我們的方案在沈奇科研中心計算機房驗證完畢，Shafarevich-Tate群是有限群，analytic rank等於0、1的橢圓曲線符合我們的猜測！analytic rank或algebraic rank大於等於2的情況有待於進一步驗證，你快看看曾寒發給你的新郵件吧！如果你能來計算機房，就更好了！祝你早日康復！”

“呀！”歐葉輕呼一聲，蠻開心的樣子。

沈奇無意中瞅到歐葉的手機屏幕，他大概猜到歐葉開心的具體原因了。

“rank0、1搞定了，Shafarevich-Tate群確實是有限群，兩位前輩的直覺很敏銳呢。”歐葉晃了晃手機，向沈奇傳達喜訊。

“那太好了，老婆你真棒，強無敵。”沈奇由衷的為歐葉感到高興，心情好壞對於病患是有影響的，他當然樂意看到老婆天天都快樂。

歐葉點開新郵件，郵件發件人是曾寒：“葉子姐，請查收附件。祝你早日康復。”

附件裏全是圖形、表格數據，歐葉仔細查閱。

看完之後，歐葉忽然沒那麽開心了，她把手機遞給沈奇：“rank大於等於2的情況，沒有一個字節的驗證數據，我想，我應該忽略了某個重要環節。”

沈奇接過手機，他快速的計算分析，說到：“按照你的設定，初次的計算機驗證，對於rank大於等於2的情況，至少應該得到泰勒展開後的驗證數據。你確實有可能忽略了某個關鍵環節，不過你已經做的很好了。喲，雨停了，咱們回家吧，回家後慢慢研究。”