七个千禧难题，沈奇其实都研究过，其中有三个被他解决了，庞加莱猜想被佩雷尔曼证明了。

尚未解决的三个难题是BSD猜想、杨-米尔斯理论和质量缺口假设、P对NP问题。

以沈奇十五级的无敌数学水平，搞定剩下三个千禧难题不在话下。

需要的只是时间。

“BSD猜想rank大于等于2的问题，确实比较麻烦啊。”

沈奇的直觉告诉他，从高斯二次域这个角度切入，应该可以证明rank大于等于2的问题。

对于数学家而言，直觉是非常重要的。

直觉敏锐的数学家，往往能最先洞察到天机。

印度最著名的数学家拉马努金，他的经历完全能够写一本充满传奇色彩的。

拉马努金是直觉界的翘楚，他惯以直觉或者是跳步导出公式，不喜作完整的证明

沈奇蛮佩服拉马努金的，事实证明，拉马努金的直觉准确率为史上最高，甚至超越了费马。

但直觉界的顶尖高手拉马努金、费马在数学界的历史地位，仍无法和四大数学之神相提并论。

这四大数学之神不仅拥有敏锐直觉，而且善于给出逻辑自洽、严谨严密的证明。

高斯是证明界的大佬，以高斯命名的数学/物理公式、定理不计其数，为史上最多，其中大部分是高斯在他活着的时候证明的。

直觉很重要，但仅凭直觉无法形成科学。

形成科学最核心的步骤是证明。

直觉很强烈的告诉沈奇，BSD猜想一定是成立的。欲证明BSD猜想rank大于等于2的情况，高斯二次域了解一下。

其实高斯二次域也是个猜想，是高斯现存于世为数不多未被完全证明的理论构想。

要不怎么说高斯是数学之神呢，他于1855年去世，而BSD猜想提出于一九六几年。高斯的猜想在一百多年后与BSD猜想扯上了联系。

如果沈奇在一两年前就专注于BSD猜想，没准这个猜想已经被他证明了。他可以这么做，但没必要。

此刻，沈奇集中精力于BSD猜想，他必须这么做，很有必要。