第215章 林燃的特殊待遇(4k)
我們現(xiàn)在要想用這種方法想解決弱形式,幾乎沒有可能。
所以我們需要引入一些新的工具,尤其是要在次要弧線上進行優(yōu)化,需要對大篩法進行改進,移除掉它的額外因子,使得它的估計更加精確。
更重要的是,我們不能僅僅使用分析數(shù)論中的內(nèi)容,我們要將代數(shù)幾何的內(nèi)容給加進來,要通過幾何結(jié)構(gòu)構(gòu)建素數(shù)和,將問題嵌入到代數(shù)簇里。”
臺下站在后面的數(shù)學(xué)家們都已經(jīng)站起來了。
因為代數(shù)幾何和數(shù)論的結(jié)合,在當(dāng)下無疑是最前沿的數(shù)學(xué)內(nèi)容,前沿到除了林燃外,沒有人這么做。
在前面有提到,弱形式的哥德巴赫猜想被來自秘魯畢業(yè)于普林斯頓的數(shù)學(xué)家黑爾夫格特給證明了。
但為什么他的工作不被外界所熟知,弱形式的哥德巴赫猜想也很了不起了。
一方面因為論文還沒有發(fā)表,他迭代了三個版本之后,大家認為大概是對的,但還沒有大佬出來一錘定音說一定是對的,他的證明需要用到計算機輔助證明。
二來是因為伊萬·維諾格拉多夫在1937年就證明了所有足夠大的奇數(shù)都是三個素數(shù)之和。而黑爾夫格特的貢獻只停留是抹平了足夠大和所有數(shù)字之間的差距。
伊萬·維諾格拉多夫的證明引入了雙線性形式的全新概念,黑爾夫格特沒有,他對解析數(shù)論中與顯式估計有關(guān)的特定子領(lǐng)域有所貢獻,但它對更大的領(lǐng)域沒有貢獻。
概括一下就是,黑爾夫格特做的工作創(chuàng)新性不夠。
而林燃絕不是簡單的搬運。
簡單搬運沒用,你直接用黑爾夫格特的成果,在這個時代,計算機壓根沒辦法給你做驗證。
臺下都是數(shù)學(xué)家,當(dāng)代頂級的數(shù)學(xué)家們都在臺下,黑爾夫格特的結(jié)果大家壓根不會認。
這是林燃基于黑爾夫格特基礎(chǔ)上做的根本性改進,哪怕拿到2020時空去,如果林燃是普林斯頓出身,那這是能夠得著菲爾茲獎的成果。
林燃需要對黑爾夫格特的結(jié)果進行改進,改進到不需要計算機也能夠驗證。
林燃的辦法就是引入代數(shù)幾何的內(nèi)容,用這個辦法構(gòu)建一條橋梁,來構(gòu)建起對素數(shù)的幾何建模。