实际上，关于BSD猜想的思考，杨学斌在证明霍奇猜想后就开始了。
他也早就确定好了策略。
总体来说就是‘分而治之’和‘搭桥’。
一：‘分而治之’
1拆解目标：
BSD猜想包含两个核心断言。
一是秩相等部分，即代数秩=解析秩；
二是更精细的BSD公式部分，精确计算L函数导数和一系列算术不变量。
2：局部突破：
证明精细BSD公式时，采用p进方法。
目标是证明，对于每一个素数p，公式两边的p次幂部分都相等。
如果对所有p都成立，整个公式自然得证。
这就把全局问题拆解成了一个个关于特定素数p的局部问题。
二：‘搭桥’
岩泽理论是目前攻克BSD猜想最强大，最系统的理论工具，它的核心是搭建一座连接算术和解析的桥梁，这座桥就是岩泽理论的主猜想。
1：桥的一边是算术世界：
我们构造一个叫做 Selmer群的算术对象。
它像是一个容器，装满了椭圆曲线在无限层数域扩张中的所有算术信息，包括它的秩、Tate-Shafarevich群（Ш群）等关键数据。
2：桥的另一边是解析世界：
我们构造一个叫做‘p进L函数’的解析对象。它像是一个函数发生器，把所有素数处的L函数信息打包成一个在p进数域上的连续函数。
3：桥梁本身是主猜想：
岩泽理论的主猜想断言，这两个看似风马牛不相及的对象，实际上由同一个代数对象（一个理想）所刻画和控制。
如果能证明这个主猜想，就等于在算术和分析世界之间建立了一条高速公路，信息可以自由流通。
………
“老公！老公！”
郝晓晞连续喊了好几声，杨学斌才猛然回神，下意识地说道：“晞晞，你怎么来了？”
郝晓晞翻了个好看的白眼：“老公，这是我办公室，我现在要下班了。”
“哦，哦！”
杨学斌这才完全回神，他转头看了看，外面的大办公室灯光通明，外面则漆黑一片。
他看了看时间，已经是下午六点多了。
杨学斌嘿嘿笑了笑：“想个问题想入迷了。走，下班吧。对了，你跟周老师说了？”
郝晓晞点头道：“已经说了，他在外面等我们。对了老公，你刚才是在思考BSD猜想么，有头绪么？”
杨学斌意外道：“你怎么知道我是在想这个？”
郝晓晞微微扬了扬白皙的下巴：“能让你如此入迷，需要喊几声才能喊醒的，唯有数学难题了，而且七大世纪难题也就剩下了这最后一个。”
杨学斌笑道：“我老婆最聪明了。”
郝晓晞嘻嘻笑道：“那是当然。你还没说，有没有头绪呢？”
杨学斌牵着她的手往外走：“区区BSD猜想，对我来说，还不是手到擒来之事。我已经有思路了，最多半年就能解决。”