我們現(xiàn)在要想用這種方法想解決弱形式，幾乎沒(méi)有可能。

    所以我們需要引入一些新的工具，尤其是要在次要弧線上進(jìn)行優(yōu)化，需要對(duì)大篩法進(jìn)行改進(jìn)，移除掉它的額外因子，使得它的估計(jì)更加精確。

    更重要的是，我們不能僅僅使用分析數(shù)論中的內(nèi)容，我們要將代數(shù)幾何的內(nèi)容給加進(jìn)來(lái)，要通過(guò)幾何結(jié)構(gòu)構(gòu)建素?cái)?shù)和，將問(wèn)題嵌入到代數(shù)簇里。”

    臺(tái)下站在后面的數(shù)學(xué)家們都已經(jīng)站起來(lái)了。

    因?yàn)榇鷶?shù)幾何和數(shù)論的結(jié)合，在當(dāng)下無(wú)疑是最前沿的數(shù)學(xué)內(nèi)容，前沿到除了林燃外，沒(méi)有人這么做。

    在前面有提到，弱形式的哥德巴赫猜想被來(lái)自秘魯畢業(yè)于普林斯頓的數(shù)學(xué)家黑爾夫格特給證明了。

    但為什么他的工作不被外界所熟知，弱形式的哥德巴赫猜想也很了不起了。

    一方面因?yàn)檎撐倪€沒(méi)有發(fā)表，他迭代了三個(gè)版本之后，大家認(rèn)為大概是對(duì)的，但還沒(méi)有大佬出來(lái)一錘定音說(shuō)一定是對(duì)的，他的證明需要用到計(jì)算機(jī)輔助證明。

    二來(lái)是因?yàn)橐寥f(wàn)·維諾格拉多夫在1937年就證明了所有足夠大的奇數(shù)都是三個(gè)素?cái)?shù)之和。而黑爾夫格特的貢獻(xiàn)只停留是抹平了足夠大和所有數(shù)字之間的差距。

    伊萬(wàn)·維諾格拉多夫的證明引入了雙線性形式的全新概念，黑爾夫格特沒(méi)有，他對(duì)解析數(shù)論中與顯式估計(jì)有關(guān)的特定子領(lǐng)域有所貢獻(xiàn)，但它對(duì)更大的領(lǐng)域沒(méi)有貢獻(xiàn)。

    概括一下就是，黑爾夫格特做的工作創(chuàng)新性不夠。

    而林燃絕不是簡(jiǎn)單的搬運(yùn)。

    簡(jiǎn)單搬運(yùn)沒(méi)用，你直接用黑爾夫格特的成果，在這個(gè)時(shí)代，計(jì)算機(jī)壓根沒(méi)辦法給你做驗(yàn)證。

    臺(tái)下都是數(shù)學(xué)家，當(dāng)代頂級(jí)的數(shù)學(xué)家們都在臺(tái)下，黑爾夫格特的結(jié)果大家壓根不會(huì)認(rèn)。

    這是林燃基于黑爾夫格特基礎(chǔ)上做的根本性改進(jìn)，哪怕拿到2020時(shí)空去，如果林燃是普林斯頓出身，那這是能夠得著菲爾茲獎(jiǎng)的成果。

    林燃需要對(duì)黑爾夫格特的結(jié)果進(jìn)行改進(jìn)，改進(jìn)到不需要計(jì)算機(jī)也能夠驗(yàn)證。

    林燃的辦法就是引入代數(shù)幾何的內(nèi)容，用這個(gè)辦法構(gòu)建一條橋梁，來(lái)構(gòu)建起對(duì)素?cái)?shù)的幾何建模。