第671章 全球各單位各部門的數學家忙碌了起來

經編委會同意，《數學學報》以迅雷不及掩耳之勢發行了中英文專刊《強BSD猜想證明》。

世界範圍內，不少數學團隊承擔起了《強BSD猜想證明》的解釋工作。

解釋和驗證，有一點點的區別。

解釋團隊，他們首先假設《強BSD猜想證明》成立，基於這個學術動機，他們采用各種數學手段以及計算機方法，去證明《強BSD猜想證明》成立，並給出合理的解釋。他們給出的解釋報告極其詳細，甚至可以形成一篇新的論文。

驗證團隊，他們主要給出結論，成立或不成立。

成立或不成立的依據是什麽，驗證團隊的做法類似於論文審稿人，他們只會給出一兩頁甚至幾句話的決裁依據。

驗證團隊中的成立派，其學術動機和解釋團隊類似，首先承認《強BSD猜想證明》成立，然後去驗證它成立。不同的是，他們最終會給出“驗證結論”，而解釋團隊給出的是“解釋報告”。結論是簡潔的，而報告通常是詳實的。

驗證團隊中的推翻派則反著來，他們首先假設《強BSD猜想證明》不成立，然後嘗試去推翻它。

解釋團隊也好，驗證團隊也罷，他們做解釋、驗證工作，幾乎都是義務勞動，拿不到報酬。

報酬什麽的都是小事情啦，證明《強BSD猜想證明》成立，或者把它推翻，是解釋團隊、驗證團隊最感興趣的。

英國，牛津大學。

阿達馬博士和他的學術夥伴約翰·格林，正在研究英文版的《數學學報》。

這期《數學學報》上只有一篇文章《強BSD猜想證明》，作者是Ou Ye、Zhao Tian、Yun Yimiao、Zeng Han。

除了第一作者歐葉，其他三個作者都是名不見經傳的小角色。

而這篇論文末尾的感謝詞中，全是大人物。

別人看一篇論文，通常從摘要和關鍵詞看起。

阿達馬博士看歐葉的這篇論文，最先看的是參考文獻。

歐葉列出的參考文獻是：

【1】約翰·卡爾·弗裏德裏希·高斯，《高斯筆記Vol.15》（譯者菲利普斯·克萊因）……

【2】Gross B.，Zagier D，《Gross-Zagier方程》……

【3】Rubin K.，《Kolyvagin的歐拉系統的補充證明》……

……

【22】龔長偉，《BSD猜想中橢圓曲線有理點分析》……

一共22條引用，從高斯到龔長偉，歐葉似乎把數學史上的前後兩百年聯系在了一起。

看完文獻引用之後，阿達馬博士快要瘋了。

歐葉並未引用阿達馬博士發表在《數學年刊》上的論文。

約翰·格林陷入沉思，他原以為歐葉會引用阿達馬的論文，從而避開抄襲的指責。

沒曾想，歐葉壓根就不這麽做。

歐葉論文所體現的思想是，我寫這篇論文，跟你們牛津團隊半毛錢的關系都沒有。

“剽竊者，無恥之徒，混蛋！”阿達馬暴怒大吼，沒有我做的學術貢獻，你不可能發表這篇論文！

約翰·格林要理智一些：“阿達馬，冷靜點，或許歐葉在做完rank0、1之前，並沒看過你寫的論文？也就是說，在相同的時間內，歐葉觸發了與你類似的靈感。我看了沈奇的采訪，他是這麽說的。”

阿達馬根本不聽勸：“騙子，他們全家都是騙子！”

“阿達馬，你清醒一點好不好？你有證據證明他們是騙子嗎？”

“他們有證據證明，他們沒抄我的論文嗎？”

“沈奇不是說了嗎，沒抄。”

“他說沒抄就沒抄？”

“廢話，他這種人，怎麽可能說謊？”

“哈哈哈哈，約翰，你腦子壞掉了吧，哈哈哈，約翰，你這個白癡，哈哈哈，約翰，哈哈哈，我哈哈哈……”

“噢，看在上帝的份上，阿達馬你別這樣行嗎？”約翰·格林嘆了口氣，完了，阿達馬瘋了，阿達馬被一個從沒見過面、遠在東方的女人給逼瘋了。

“BSD猜想是我們英國人提出的，我這個英國人都能接受現實，阿達馬，你這個印度人，為何如此不堪？”

“啊哈哈哈哈哈……她一定是抄我的，她不可能證明BSD猜想！我要推翻她的方案！哈啊哈哈哈，推翻，就現在！”

……

美國，紐約，哥倫比亞大學。

歐葉的碩士導師龔長偉帶著他現在的學生，開始做《強BSD猜想證明》的解釋工作。

歐葉在論文中感謝了龔長偉的培養，並直言龔長偉所做的研究成果，對她完成《強BSD猜想證明》帶來了極大幫助。

歐葉引用了龔長偉發表於2014年的論文，她用數學工作者特有的方法，感謝龔長偉對她的栽培。

80後龔長偉過了不惑之年，曾經的追風少年如今已顯老態。

龔長偉看完《強BSD猜想證明》總共405頁的篇幅後，既激動，亦欣慰，還有一點點的失落。