第(1/3)頁

    459章

    簡單的來講，谷山志村猜想就是說，有理數域上面的橢圓曲線都可以模式化。

    問題看起來很簡單，讓普通的本科生理解起來也毫無問題。

    但這個猜想，卻已經困擾了全世界的數學家足足五十多年的時間。

    甚至在谷山志村猜想剛被提出的那段時間，證明過程可以說用舉步維艱來形容絲毫不為過。

    直到1993年，懷爾斯宣布證明費馬大定理，谷山志村猜想的證明才往前邁動了一大步。

    但近幾年，隨著將精力傾注在谷山志村猜想的數學家逐漸變少，該猜想探索的路途再次變得一片黑暗。

    其實，每個數學猜想的證明都像是一場長跑。

    一代代人，一位位數學家，奮力奔跑著，將手中的接力棒不斷傳遞下去。

    不知道終點，也不知道方向，同行的人不斷倒下，新的奔跑著不停加入。

    而現在，那個谷山志村猜想的接力棒已經傳到了程諾手中。

    身邊，已經沒有幾位同行者。

    前方，更是看不到絲毫光亮的迷途。

    程諾只能循著前人走過的道路，摸索著前進，尋找那乍破黑暗的光明，試圖沖到比賽的終點。

    …………

    為了交流方便，程諾和組下的另外兩位教授直接把辦公地點放在了克雷數學研究所內的一間辦公室。

    證明工作的大方向由程諾進行把控。

    而丹麥和比利時的兩位數學教授則進行細節的填充。

    對于谷山志村猜想的證明思路，程諾和大部分前輩一樣，把費馬大定理當做其突破口。

    用數學的語言來說，費馬大定理是谷山志村猜想的必要不充分條件。

    也就是說，谷山志村定理再經過一定的推導之后，可以證明費馬大定理。

    然而，費馬大定理的存在，卻不能證明谷山志村猜想的正確。

    在一定意義上，費馬大定理只能說明谷山志村猜想猜想在半穩定的橢圓曲線上成立。
    第(1/3)頁