第826章（2 / 4）
当然了，如果你先承认BSD猜想，那么Shafarevich-Tate群则必然是有限群。
赵天、小云、曾寒三人非常激动，计算机验算结果很有信服力的显示：基于欧叶算法，Shafarevich-Tate群是有限群！
这无疑是证明BSD猜想的一个有力证据，是一个重要的前置步骤！
“这是我们的一小步，这是人类的一大步！”
“叶子姐牛批！”
“啊哈哈哈，真的牛批！”
赵天和小云相拥庆祝，一向沉默寡言的曾寒亦热血沸腾。
他们为啥这么激动，因为在他们看来，他们团队此刻所取得的研究成果，非常接近于安德鲁·怀尔斯在证明费马大定理之前，先证明了谷山·志村猜想。
“沙法列维奇、约翰·泰特两位大神没有搞定的问题，被我们搞定了！叶子姐万岁！小曾弟弟，把验算结果保存一下，然后发给叶子姐。”赵天迫不及待想把这个好消息告诉欧叶。
沙法列维奇，前苏联著名数学家，他编写的代数几何、代数数论、代数学教材，是新中国成立后最早被引入国内的高校数学专业的数学教材之一。欧叶本科阶段的老师，都是学的沙法列维奇版教材。
约翰·泰特，美国数学家，此人也是沈奇、欧叶、周雨安的普林斯顿校友。约翰·泰特是沃尔夫奖、阿贝尔奖的双料得主，他是代数数论领域的大师级人物，他缺的只是一枚菲奖奖章。
沙法列维奇、约翰·泰特两位大神前辈没有论证明白的Shafarevich-Tate群问题，被欧叶的几张手稿论证的清清楚楚。
但是，伯奇、斯温纳顿·戴尔没能证明的问题，欧叶暂时也没能彻底证明。
“有些遗憾啊，计算机无法验证analytic rank大于等于2的情况，无效条件，这是啥意思……不过我们彻底证明了analytic rank等于0、1的椭圆曲线满足BSD猜想，小曾，数据保存好了吗？赶紧发给叶子姐！”
……
↑返回顶部↑
赵天、小云、曾寒三人非常激动，计算机验算结果很有信服力的显示：基于欧叶算法，Shafarevich-Tate群是有限群！
这无疑是证明BSD猜想的一个有力证据，是一个重要的前置步骤！
“这是我们的一小步，这是人类的一大步！”
“叶子姐牛批！”
“啊哈哈哈，真的牛批！”
赵天和小云相拥庆祝，一向沉默寡言的曾寒亦热血沸腾。
他们为啥这么激动，因为在他们看来，他们团队此刻所取得的研究成果，非常接近于安德鲁·怀尔斯在证明费马大定理之前，先证明了谷山·志村猜想。
“沙法列维奇、约翰·泰特两位大神没有搞定的问题，被我们搞定了！叶子姐万岁！小曾弟弟，把验算结果保存一下，然后发给叶子姐。”赵天迫不及待想把这个好消息告诉欧叶。
沙法列维奇，前苏联著名数学家，他编写的代数几何、代数数论、代数学教材，是新中国成立后最早被引入国内的高校数学专业的数学教材之一。欧叶本科阶段的老师，都是学的沙法列维奇版教材。
约翰·泰特，美国数学家，此人也是沈奇、欧叶、周雨安的普林斯顿校友。约翰·泰特是沃尔夫奖、阿贝尔奖的双料得主，他是代数数论领域的大师级人物，他缺的只是一枚菲奖奖章。
沙法列维奇、约翰·泰特两位大神前辈没有论证明白的Shafarevich-Tate群问题，被欧叶的几张手稿论证的清清楚楚。
但是，伯奇、斯温纳顿·戴尔没能证明的问题，欧叶暂时也没能彻底证明。
“有些遗憾啊，计算机无法验证analytic rank大于等于2的情况，无效条件，这是啥意思……不过我们彻底证明了analytic rank等于0、1的椭圆曲线满足BSD猜想，小曾，数据保存好了吗？赶紧发给叶子姐！”
……
↑返回顶部↑