當天下午，李青在研究室閉門伏案思索，桌面上放著翻開的書籍和散亂的資料。
白紙不斷被大量公式和文字元號覆蓋，李青寫寫停停，不時看一眼書籍和電腦上查閱的資料。
隨著哥德巴赫猜想論文投稿，李青就處於一種閒置狀態。
這種閒適的生活讓他很不適應，總得找些事做，於是，他開始尋找下一個研究物件。
BSD猜想，就是他找到的下一個研究物件。
全稱Birch and Swinnerton-Dyer猜想，核心是橢圓曲線的代數資訊（有理點的多少），和L函式的解析性質相互對應。
之所以把這個當作研究目標，自然是因為體系適配和興趣濃厚。
數論裡有兩個體系，一個是解析，一是代數。
L函式，是連續平面上的函式，而橢圓上有理點，就是離散的代數物件。
這兩種研究領域本來互不相通，好似兩條平行的線，永遠沒有交點。
但這種猜想卻認為橢圓曲線有理點群的秩，恰好等於它L函式在s=1處的零點階數。
意思就是，這兩種領域能夠相互交融，存在等式，將它們內在統一。
這種跨越解析與代數的對應，才是李青最好奇、也最感興趣的地方。
克雷研究所2000年將其列為七大問題之一，至今懸而未決。
李青把筆擱下，盯著紙上剛剛寫下的一行式子。
【ord_{s=1}L(E,s) {?}{=} rankE(Q)】
左邊，是L函式在 s=1 處的零點階數。一個解析物件，來自複分析的世界，連續、光滑、可微。
可以用模形式理論把它拆解成更小的碎片。
右邊，是有理點群的秩。一個代數物件，來自算術的世界，離散、剛性、不可微。
每一個有理點都是精確的，要麼在曲線上，要麼不在，沒有中間狀態。
有句話這麼說解析和代數之間，隔著一道深淵，BSD猜想就是那道深淵上唯一的橋，但我們至今沒找到橋墩。
現在，他決定親自去找橋墩。
桌角的電腦螢幕上不斷滾動著文字。
李青正在查BSD猜想的驗證進展，截止到2019年，數學家們用計算機對導子小於 36萬的約224萬條橢圓曲線做了數值驗證，全部符合猜想。
兩百多萬條曲線，每一條都精確地落在等式兩邊。
但沒有一條被證明。
這就是數論最折磨人的地方，你可以驗證到天荒地老，但只要沒有證明，就永遠只是猜想。
如同在懷爾斯之前，費馬大定理被驗證到了幾百萬次，卻依然只是猜想。
。鎖頭眉，上背椅在靠青李
。線的行平條兩出現浮中海腦他
。零階二或，零階一或，零為不或1=s在，延帶界臨著沿式函L，線的析解是條一
。2為，1為，0為秩，群點理有的上線曲圓橢，線的數代是條一另
。等相且而，相僅不們它，說想猜DSB但，相不永來本線條兩
。差偏無絕，應對完，幾是就數階點零，幾是秩
？嗎蹟奇是種這
？呢合巧的假虛是還
……道知不他
