第(1/3)页 经编委会同意,《数学学报》以迅雷不及掩耳之势发行了中英文专刊《强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条引用,从高斯到龚长伟,欧叶似乎把数学史上的前后两百年联系在了一起。 看完文献引用之后,阿达马博士快要疯了。 欧叶并未引用阿达马博士发表在《数学年刊》上的论文。 约翰-格林陷入沉思,他原以为欧叶会引用阿达马的论文,从而避开抄袭的指责。 没曾想,欧叶压根就不这么做。 欧叶论文所体现的思想是,我写这篇论文,跟你们牛津团队半毛钱的关系都没有。 第(1/3)页