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

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

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

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

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

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

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

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

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

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

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

    英國，牛津大學。

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

    這期《數學學報》上只有一篇文章《強bsd猜想證明》，作者是ouye、zhaotian、yunyimiao、zenghan。

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

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

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

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

    歐葉列出的參考文獻是:

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

    【2】grossb.，zagierd，《gross-zagier方程》……

    【3】rubink.，《kolyvagin的歐拉系統的補充證明》……

    ……

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

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

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

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

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

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

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