關於這一點,陳舟就記得陶哲軒好像就說過。
研究弱哥德巴赫猜想的一個基本技術,也就是HardyLittleradov的方法。
是不太可能可以用到強哥德巴赫猜想中的。
強哥德巴赫猜想的研究,基本限定在解析數論這個範疇內。
陳舟也研究過弱哥德巴赫猜想證明的方法,包括那一個基本技術。
他還是蠻贊成陶哲軒的觀點的。
這也是強哥德巴赫猜想難的原因。
一方面是大家似乎找不到,任何新的工具。
另一方面是,目前看起來,它好像和其它數學領域的連結,十分微弱。
很難做到借力打力。
相對的,對於黎曼猜想,差不多每過幾年,就有些新的發現。
而且,這些發現,有的是從運算元理論出發的,有些是基於非交換幾何的,有些倒也還是基於解析數論的。
並且,時不時的還有一些數學家,會興奮的宣告自己證明了黎曼猜想。
這樣對比之下,其實,就造成了一個哥德巴赫猜想研究的困境。
那就是,真的致力於做它的數學家,真的不多。
數學研究,包括物理研究,其實也都是吃青春飯的。
大多的數學成果和物理成果,都是在研究者年輕時,提出來的。
所以,對於哥猜這樣一個難出成果的數學猜想。
大部分數學家,是不願意走這條孤獨的,耗費青春的修羅之路的。
說起來,還有一個很尷尬的原因是。
研究哥猜的人,在逐漸減少之後。
出去參加一個學術會議,你都會發現,沒有人可以和你討論想法的那種。
當然,陳舟是敢於去走這樣一條孤獨的修羅之路的。
對於他而言,先前的克拉梅爾猜想,不也被稱為“沒有人能接近證明”嗎?
可最後,不還是被他變成了克拉梅爾定理?
那個號稱素數間隔問題裡,最重要的兩大猜想之一的傑波夫猜想,不也同樣被他證明了?
而兩大猜想的另一個,孿生素數猜想,雖然不是他證明的。