哥德巴赫猜想
1997年，戴舍尔（Deshouillers）、埃芬格（Effinger）、特里尔（te Riele）与季诺维也夫（Zinoviev）证明，在广义黎曼猜想成立的前提下弱哥德巴赫猜想是完全成立的。这一结果由两部分构成，其一是证明了大于formula_2时弱哥德巴赫猜想成立，而小于此数的情况则由计算机验证得到。