经编委会同意，《数学学报》以迅雷不及掩耳之势发行了中英文专刊《强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页的篇幅后，既激动，亦欣慰，还有一点点的失落。
激动是因为，中国数学家最先给出了完整的BSD猜想证明方案。
甭管这份方案是否成立，至少她完成了世界范围内的首发。
欣慰是因为，她不忘师恩，她是个懂事的好学生。
失落是因为，龚长伟年过40岁，他没机会争取菲奖了，除非发生奇迹。
擦干泪，莫要慌，至少我们还有梦。
“龚教授，你怎么哭了？”一位白人博士研究生问到。
“哦，没事，眼睛发炎了，我们继续吧，《强BSD猜想证明》的解释工作相当复杂，其作业量不亚于再写一篇新的BSD猜想。我的思路是……”
……
马萨诸塞州，克雷研究所。
牛津大学阿达马团队对于《强BSD猜想证明》的推翻性验证工作，哥伦比亚大学龚长伟团队对于《强BSD猜想证明》成立性的解释工作，其团队核心或多或少带有一些私人感情去开展工作。
而克雷研究所的人不一样，他们是完全中立的一群人。
BSD猜想由英国数学家伯奇、斯温纳顿-戴尔提出，由一位富有的美国业余数学爱好者克雷先生将其设立为千禧难题之一。
克雷研究所本身就是个数学、物理科研机构，所里拥有不少顶尖学者。
要说感兴趣，恐怕克雷研究所对《强BSD猜想证明》是最感兴趣的。
所里的顶尖学者们自发组织起一支强大的数学团队，他们的工作方式是，先凭直觉判断，《强BSD猜想证明》是否成立。
若成立，则继续开展解释工作。
若不成立，则通知作者欧叶，很遗憾，请继续努力。
十一位来自世界各地的顶尖数学家围坐一圈，坐在老大位置的这个男人，他发如鸟窝，眉若弯月，厚重的眼镜片之后，是一双深邃睿智的黑色眼睛。
这位带头大哥是曼纽尔?巴尔加瓦，他是拥有美国/加拿大双重国籍的印度人。
巴尔加瓦大哥是2014年的菲奖得主，他的获奖理由是，在数的几何领域发展了强有力的新方法，并利用这些方法计算小秩的环数和估计椭圆曲线平均秩的界。
拥有菲奖得主的头衔，专业又特别对口，因此巴尔加瓦大哥众望所归的成为了《强BSD猜想证明》验证/解释小组的组长。
巴尔加瓦说到：“初次直觉是最美妙的，也是准确率最高的，这已经在数学上被证实了。所以各位，觉得《强BSD猜想证明》成立的请举手。”
刷！
刷刷！
有五人举手。
“看来，我们产生了一些分歧。”巴尔加瓦笑了笑，然后举起了他的手臂：“我的直觉告诉我，《强BSD猜想证明》是成立的，所以六票对五票，接下来我们进入《强BSD猜想证明》的解释阶段。”
……
全球各单位各部门的数学家忙碌了起来。
对于《强BSD猜想证明》的验证、解释不是朝夕之功，根据国际惯例，短则几个月，长则好几年。
欧叶、沈奇十分了解数学界的工作流程，对于夫妻俩而言，他们关于BSD猜想的工作已经做完了。
沈奇牵着欧叶的手，在住院楼下的花园内散步。
“感觉你的身体越来越好了。”沈奇用心感受、用手去摸，直觉和客观的临床数据告诉他，他发明的新药在欧叶身上的效果相当不错。
欧叶的心情非常美丽：“嗯，我的身体我自己最清楚，确实好多了。I期临床就要结束了，我终于可以回家了。”
夕阳西下，阳光洒在小两口身上，为他俩镀上一层金色。
“小叶子，你看那个人，他好像一条狗啊。”
“嗯，呵呵，是蛮像的……哎呀，他是我的病友啊！他的情况，看上去很不妙！”
世界范围内，不少数学团队承担起了《强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页的篇幅后，既激动，亦欣慰，还有一点点的失落。
激动是因为，中国数学家最先给出了完整的BSD猜想证明方案。
甭管这份方案是否成立，至少她完成了世界范围内的首发。
欣慰是因为，她不忘师恩，她是个懂事的好学生。
失落是因为，龚长伟年过40岁，他没机会争取菲奖了，除非发生奇迹。
擦干泪，莫要慌，至少我们还有梦。
“龚教授，你怎么哭了？”一位白人博士研究生问到。
“哦，没事，眼睛发炎了，我们继续吧，《强BSD猜想证明》的解释工作相当复杂，其作业量不亚于再写一篇新的BSD猜想。我的思路是……”
……
马萨诸塞州，克雷研究所。
牛津大学阿达马团队对于《强BSD猜想证明》的推翻性验证工作，哥伦比亚大学龚长伟团队对于《强BSD猜想证明》成立性的解释工作，其团队核心或多或少带有一些私人感情去开展工作。
而克雷研究所的人不一样，他们是完全中立的一群人。
BSD猜想由英国数学家伯奇、斯温纳顿-戴尔提出，由一位富有的美国业余数学爱好者克雷先生将其设立为千禧难题之一。
克雷研究所本身就是个数学、物理科研机构，所里拥有不少顶尖学者。
要说感兴趣，恐怕克雷研究所对《强BSD猜想证明》是最感兴趣的。
所里的顶尖学者们自发组织起一支强大的数学团队，他们的工作方式是，先凭直觉判断，《强BSD猜想证明》是否成立。
若成立，则继续开展解释工作。
若不成立，则通知作者欧叶，很遗憾，请继续努力。
十一位来自世界各地的顶尖数学家围坐一圈，坐在老大位置的这个男人，他发如鸟窝，眉若弯月，厚重的眼镜片之后，是一双深邃睿智的黑色眼睛。
这位带头大哥是曼纽尔?巴尔加瓦，他是拥有美国/加拿大双重国籍的印度人。
巴尔加瓦大哥是2014年的菲奖得主，他的获奖理由是，在数的几何领域发展了强有力的新方法，并利用这些方法计算小秩的环数和估计椭圆曲线平均秩的界。
拥有菲奖得主的头衔，专业又特别对口，因此巴尔加瓦大哥众望所归的成为了《强BSD猜想证明》验证/解释小组的组长。
巴尔加瓦说到：“初次直觉是最美妙的，也是准确率最高的，这已经在数学上被证实了。所以各位，觉得《强BSD猜想证明》成立的请举手。”
刷！
刷刷！
有五人举手。
“看来，我们产生了一些分歧。”巴尔加瓦笑了笑，然后举起了他的手臂：“我的直觉告诉我，《强BSD猜想证明》是成立的，所以六票对五票，接下来我们进入《强BSD猜想证明》的解释阶段。”
……
全球各单位各部门的数学家忙碌了起来。
对于《强BSD猜想证明》的验证、解释不是朝夕之功，根据国际惯例，短则几个月，长则好几年。
欧叶、沈奇十分了解数学界的工作流程，对于夫妻俩而言，他们关于BSD猜想的工作已经做完了。
沈奇牵着欧叶的手，在住院楼下的花园内散步。
“感觉你的身体越来越好了。”沈奇用心感受、用手去摸，直觉和客观的临床数据告诉他，他发明的新药在欧叶身上的效果相当不错。
欧叶的心情非常美丽：“嗯，我的身体我自己最清楚，确实好多了。I期临床就要结束了，我终于可以回家了。”
夕阳西下，阳光洒在小两口身上，为他俩镀上一层金色。
“小叶子，你看那个人，他好像一条狗啊。”
“嗯，呵呵，是蛮像的……哎呀，他是我的病友啊！他的情况，看上去很不妙！”