下，“1+6”成立。1948年，利用林尼克创造的“大筛法”，证明了“1+"b"”的结果。1956年，王元与维诺格拉多夫则证明了在同样的假定之下，“1+4”成立。1961年，苏联数学家巴尔巴恩证明了一个可以用来代替广义黎曼猜想的公式的弱化版。1962年，潘承洞也独立证明了此公式的另一个弱化版本，并得到“1+5”。而王元则指出潘承洞的结果其实可以推出“1+4”。潘承洞在同年用加强的结论得到了“1+4”的简化的证明，1963年巴尔巴恩也得到了同样的结果。1965年布赫希塔布则用同样的版本证明了“1+3”。与此同时