臺上，林燃已經簡單介紹完了哥德巴赫猜想強弱形式的區別。

    1742年，哥德巴赫在寫給歐拉信中提出了以下的猜想：

    “任一大于2的整數都可以寫成三個質數之和。”

    上述與現今表述有出入，因為當時的哥德巴赫遵照的是“1也是素數”的約定。而現在數學界已經不認為1是素數，所以哥德巴赫原初猜想的現代陳述為：

    “任一大于5的整數都可寫成三個質數之和。”

    這也就是哥德巴赫猜想的弱形式。

    歐拉在回信中認為此一猜想可以有另一個等價的版本：

    “任一大于2的偶數都可寫成兩個質數之和。”

    并將這個猜想視為一定理，但歐拉自己無法證明。

    后世大眾所常見的猜想其實是歐拉的版本，這個也是強形式的哥德巴赫猜想。

    強形式的應該叫哥德巴赫-歐拉猜想會更合適一些。

    實際上，這兩個猜想并不等價。

    或者說，也許他們等價，但要等到一個其他的定理被證明之后，才能找到一條把二者對等起來的通路。

    “一直以來，說這個好像時間有點久，我們就具體一些些，從1937年伊萬·維諾格拉多夫的工作以來。

    伊萬·維諾格拉多夫是蘇俄數學家，但不是亞歷山大·維諾格拉多夫也不是阿斯科爾德·維諾格拉多夫，雖然這二者也很出名。

    這些名字確實容易記混，雖然他們不是一個人。

    伊萬主要是提出了一種用于估計素數和的技術，后來圍繞哥德巴赫猜想中大家一直用到的雙線性形式大篩法的原型都是這種方法，數學家們不斷地圍繞這個方法做改進。

    很顯然，前一場陳的工作已經把這種方法用到了極致。