科技入侵現(xiàn)代 第134章 林燃的特殊待遇

“哈維·科恩教授一開始讓我做學(xué)術(shù)講座的時候，說的是我想要講什么都可以。

如果最近沒有什么數(shù)學(xué)成果的話，講講給年輕數(shù)學(xué)家們的心得體會也行。

畢竟之前飛鳥和青蛙的理論好像還挺受大家歡迎。

可我說我也不是謙虛，我自己就是年輕數(shù)學(xué)家，經(jīng)驗有限，等到我七十歲要從數(shù)學(xué)界退休的時候，到時候做退休演講的時候再談這個會比較合適。

所以擇日不如撞日，在聽聞陳做出哥德巴赫猜想領(lǐng)域很好的成果后，我就和哈維·科恩說，不如我也來談?wù)勎覍Ω绲掳秃詹孪氲目捶ā?p/> 畢竟二者都是數(shù)論領(lǐng)域素數(shù)這個細(xì)分領(lǐng)域的問題，我多少有一些積累，哪怕臨時上臺也不至于沒有能引起大家思考的內(nèi)容。

但消息很快就變樣了，我本來只是說談?wù)勊伎迹诿襟w和大家傳播過程中變成證明了。

那我說證明就證明吧，我這幾天試著做了一下。

強(qiáng)形式的哥德巴赫猜想有點(diǎn)困難，我在思考的過程中一直卡在了強(qiáng)猜想涉及到兩個素數(shù)的和，次要弧線的貢獻(xiàn)預(yù)計是x除以logx項，而主要弧線的貢獻(xiàn)是要比這個的位階更高，誤差項難以控制，所以我就只好退而求其次，證明一下弱形式。”

（來自陶哲軒博客2012年文章《圓法的啟發(fā)式局限》，里面有詳細(xì)談到：哥德巴赫猜想無法從弱形式的猜想進(jìn)化到強(qiáng)形式的猜想的根本原因）

臺下一片嘩然，你聽聽這是人話嗎？

因為本身弱形式的猜想也是困擾數(shù)學(xué)界兩百多年的頂級數(shù)論難題了。

“不愧是倫道夫，這是他的風(fēng)格。”西格爾感慨道，“他總是這樣輕飄飄把一個很重要的問題如何解決給說出來。”

同樣和西格爾坐在第一排的，左邊是哥倫比亞大學(xué)數(shù)學(xué)系的主任福克斯，右邊是格羅滕迪克。再往邊上延展才是哈維·科恩、安德魯·韋伊這些人。

讓·皮埃爾在巴黎沒有來，不過他派學(xué)生來了，讓學(xué)生務(wù)必要完整記錄下林燃的證明過程，第一時間以傳真的方式發(fā)回巴黎。

他在巴黎高師組織做數(shù)論的教授和博士一起，大家都別放假，等證明來了，我們先開研討班學(xué)習(xí)研究一下。

格羅滕迪克聽完嘴角扯了一下：“西格爾，你不覺得倫道夫說飛鳥和青蛙，他做的都是青蛙的工作嗎？

我的意思是，他同時能夠做飛鳥和青蛙，他做這兩個都是頂級的，但他這些年好像一直都停留在做青蛙，除了倫道夫綱領(lǐng)外，一直都沒有做一些飛鳥一樣的工作。

和解決具體問題本身比起來，我還是更想看到倫道夫能夠把不同的數(shù)學(xué)分支以一種方式給統(tǒng)一起來。

我最近在寫《代數(shù)幾何》的過程中，愈發(fā)覺得這其中奧妙無窮，靠我自己在有生之年能夠按照設(shè)想把代數(shù)和幾何給做一個不錯的統(tǒng)一，我已經(jīng)滿足了。

但倫道夫和我們不一樣，倫道夫他一來還年輕，二來他的大腦看上去也更好用。

倫道夫如果把所有精力都放在數(shù)學(xué)上，我相信我做不到的，他能夠做到。”格羅滕迪克聲音很輕，語速很快，聲音跟隔空傳聲一樣飄進(jìn)了西格爾的耳中。

對格羅滕迪克這個級別的數(shù)學(xué)家來說，像哥德巴赫猜想這樣的問題當(dāng)然足以讓人驚艷，但他更希望看到的是數(shù)學(xué)界的發(fā)展。

在他看來，一個足以把不同細(xì)分領(lǐng)域的數(shù)學(xué)整合起來的框架性理論，顯然要比單一問題是更值得林燃這個級別的數(shù)學(xué)家做的工作。

西格爾幫林燃辯解道：“亞歷山大，倫道夫不像你我，他只有一小塊一小塊的時間來思考數(shù)學(xué)問題。

如果他能從NASA的工作中脫離出來，安心在哥倫比亞大學(xué)任教的話，我想他一定會做飛鳥的工作。”

福克斯在一旁連忙說道：“所以，西格爾教授，你是否能夠幫忙勸倫道夫，全心做數(shù)學(xué)工作呢？

NASA的工作誰都能做，可統(tǒng)一數(shù)學(xué)不同領(lǐng)域，可只有倫道夫能做。”

西格爾搖頭，內(nèi)心猛猛吐槽，我要是能勸得動，我為什么不勸他來哥廷根，要在你們哥倫比亞大學(xué)呢？

德意志的小城市不比紐約更適合心無旁騖地做研究啊。

普林斯頓在的普林斯頓市同樣是個只有三萬人的小城市，人口比哥廷根所在的哥廷根市人口還要更少呢。

一時間三人沒有再說話，大家都知道，這是現(xiàn)實(shí)和理想之間無法調(diào)和的矛盾。

這不是調(diào)和分析所能解決的問題。

數(shù)學(xué)界可沒有這個能量，能說服白宮放人。

臺上，林燃已經(jīng)簡單介紹完了哥德巴赫猜想強(qiáng)弱形式的區(qū)別。

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

“任一大于2的整數(shù)都可以寫成三個質(zhì)數(shù)之和。”

上述與現(xiàn)今表述有出入，因為當(dāng)時的哥德巴赫遵照的是“1也是素數(shù)”的約定。而現(xiàn)在數(shù)學(xué)界已經(jīng)不認(rèn)為1是素數(shù)，所以哥德巴赫原初猜想的現(xiàn)代陳述為：

“任一大于5的整數(shù)都可寫成三個質(zhì)數(shù)之和。”

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

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

“任一大于2的偶數(shù)都可寫成兩個質(zhì)數(shù)之和。”

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

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

強(qiáng)形式的應(yīng)該叫哥德巴赫歐拉猜想會更合適一些。

實(shí)際上，這兩個猜想并不等價。

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

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

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

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

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

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

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

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

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

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

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

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

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

一方面因為論文還沒有發(fā)表，他迭代了三個版本之后，大家認(rèn)為大概是對的，但還沒有大佬出來一錘定音說一定是對的，他的證明需要用到計算機(jī)輔助證明。

二來是因為伊萬·維諾格拉多夫在1937年就證明了所有足夠大的奇數(shù)都是三個素數(shù)之和。而黑爾夫格特的貢獻(xiàn)只停留是抹平了足夠大和所有數(shù)字之間的差距。

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

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

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

簡單搬運(yùn)沒用，你直接用黑爾夫格特的成果，在這個時代，計算機(jī)壓根沒辦法給你做驗證。

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

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

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

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

這是全新的方法，在當(dāng)下更是對倫道夫綱領(lǐng)的呼應(yīng)。

中午休息的時候，林燃來到第一排，受到數(shù)學(xué)家們的簇?fù)怼?p/> 格羅滕迪克直言道：“倫道夫，我知道航天很偉大，也是偉大事業(yè)。

但和數(shù)學(xué)比起來，它又顯得是那么不值一提。

我不是說它不重要，而是說它沒有重要到值得讓你這樣的大師級人物去干。

這樣次一級的工作，應(yīng)該讓學(xué)應(yīng)用數(shù)學(xué)的那些數(shù)學(xué)家去干。”

林燃內(nèi)心覺得有些別扭，因為他自己原本是做人工智能的，在這幫頂級數(shù)學(xué)大佬里，鄙視鏈可能還要低應(yīng)用數(shù)學(xué)好幾個檔次呢。

不過好在自己現(xiàn)在也是純數(shù)婆羅門，還是這幫純數(shù)婆羅門里最牛逼的那個。

回到2020時空，自己只需要在Arxiv上掛出這篇對黑爾夫格特的改進(jìn)形式論文，當(dāng)個純數(shù)婆羅門自然也不在話下。

林燃笑道：“數(shù)學(xué)是精神世界的狂歡，而航天是物質(zhì)世界的絢爛煙花，對我而言，我兩者都要。

亞歷山大教授，你知道的，同樣一件事，天才和普通人去做，效果是截然不同的。”

格羅滕迪克默然。

他嘆氣：“唉，倫道夫，如果你做的不是航天，是其他工作，比如在白宮勾心斗角，那我說什么都要勸你別在那干下去。

好吧，老實(shí)講，數(shù)論和代數(shù)幾何的結(jié)合，從最早高斯把齊次多項式方程的整數(shù)解和有理解聯(lián)系到一起，到后來克羅內(nèi)克韋伯定理和除子理論試圖用整數(shù)上的多項式環(huán)商來操作數(shù)論。

到理查德·戴德金和海因里希·韋伯將代數(shù)方法應(yīng)用于黎曼曲面，建立了數(shù)域與函數(shù)域的類比，提供了黎曼羅赫定理的代數(shù)證明。

再到我和安德魯·韋伊、讓·皮埃爾，我們系統(tǒng)性的結(jié)合數(shù)論和代數(shù)幾何，把它拓展到了有理點(diǎn)研究、數(shù)域和函數(shù)域。

而你又幫我們再次拓展了這樣的邊界。

先是費(fèi)馬猜想證明過程中，用模定理連接了橢圓曲線和模形式，然后是倫道夫綱領(lǐng)猜測了伽羅瓦表示和自守形式的聯(lián)系，再到現(xiàn)在，把幾何建模應(yīng)用到了素數(shù)定理中。

我總感覺，我們就差最后那么一點(diǎn)點(diǎn)，一點(diǎn)點(diǎn)的靈感，就能把數(shù)論徹底納入到代數(shù)幾何的框架中來了。

倫道夫，如果你在發(fā)射火箭的過程中有了靈感，你可以隨時給我來信，告訴我你的靈感，我來幫你驗證。”

格羅滕迪克親口這么說，你有了思路，我來沿著你的思路去思考一下，這甚至都有點(diǎn)主動給林燃當(dāng)助手的意思了。

林燃點(diǎn)頭道：“好的，亞歷山大，我有靈感的時候隨時給你寫信。”

西格爾補(bǔ)充道：“倫道夫，前面的部分沒有問題，我甚至都后悔自己年紀(jì)大了，空有很多靈感，卻沒有辦法繼續(xù)進(jìn)行深度的思考。

這些靈感的火花，不得不讓它靜靜的呆在那里慢慢熄滅。

我的筆記留在哥廷根，但你要的話，隨時和多伊林說，多伊林要是也退休了，你可以聯(lián)系哥廷根數(shù)學(xué)系的系主任，無論是誰，他們都會把我的手稿原件給你。

之所以現(xiàn)在不給你，是因為你還在NASA，等你離開NASA之后，我的手稿都是你的。”

西格爾上次就想說來著，只是忘了。

林燃心想，還是得足夠牛啊。

沒有親自教過沒關(guān)系，是華人沒關(guān)系，甚至就算你不在哥廷根也沒關(guān)系。

你足夠牛，大佬自然會主動把手稿留給你，讓你當(dāng)那個衣缽傳人。

請：m.llskw.org