第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页的篇幅后,既激动,亦欣慰,还有一点点的失落。