第402章 ICM報告會 九 提問2
隨著一個又一個尖銳的技術問題被徐辰從容化解，主廳里的氣氛逐漸從緊張的「審判「轉變為了某種近乎釋然的「確認「。
那些提問的大佬們，臉上的表情也從最初的審慎，慢慢變成了認同，最後變成了一種無法掩飾的嘆服。
他們嘆服的，不僅僅是這個證明本身的正確性。在論文掛出arXiv的那天起，他們中的大多數就已經傾向於相信這一點了。
真正讓他們感到震撼的，是台上這個二十歲的年輕人，在面對來自六七個不同方向的刁鑽提問時，展現出的那種「全知全能「般的從容。
他似乎不是在「回憶「自己寫過的論文來作答，他是在以一種俯瞰整個數學版圖的視角，隨手拈出任何一個領域的工具來化解難題。
這種跨學科的統治力，已經不是「天才「二字能夠形容的了。
……
到了這個時候，在場的數學家們基本已經認可了這篇證明的正確性。
雖然絕對嚴格的同行評審還需要數月時間，但在場的所有人都心知肚明：經過今天這場由全球最頂尖的數學家群體進行的、長達數小時的公開質詢，這篇論文的核心邏輯已經經受住了最嚴苛的考驗。剩下的，不過是時間問題。
可以預見，在這場報告會結束後，哥德巴赫猜想的證明將很快被學術界正式確認。
徐辰在台上謙遜地將其稱為「哥德巴赫定理「，但在場的所有頂尖學者心裡卻都跟明鏡似的：從今天起，這個困擾人類兩百多年的命題，在未來的教科書上大概率會被重命名為「哥德巴赫-徐定理「。
這不是猜測，而是數學界一個不成文的慣例——當一個猜想被證明後，證明者的名字往往會被永久地嵌入定理的名稱之中。
至於第二作者洛朗·拉福格……數學史的聚光燈向來是殘酷且吝嗇的。
就像當年理察·泰勒在最絕望的時刻幫安德魯·懷爾斯補全了費馬大定理的致命漏洞，兩人聯合署名發表了那篇至關重要的補漏論文，但世人永遠只會記住「懷爾斯證明了費馬大定理「。拉福格那精妙的跡公式展開，註定將和泰勒的環論性質一樣，成為這段傳奇中一個受人尊敬、卻終將被大眾遺忘的註腳。
不過，此刻坐在台下第二排的拉福格本人，對此似乎毫不在意。他只是安靜地坐在那裡，看著台上的徐辰，嘴角掛著一絲淡淡的、滿足的微笑。對於一個六十一歲的菲爾茲獎得主來說，名字是否被刻在定理上，早已不重要了。重要的是，他親手參與了這件事。
……
就在所有人都以為提問環節即將圓滿結束時。
一隻手從中間偏後的位置舉了起來。
站起來的人，是詹姆斯·梅納德。
2022年菲爾茲獎得主，牛津大學數論教授。
這位年僅三十多歲的英國數學家，以其在孿生素數猜想上的突破性工作而聞名。
正是他，在張益唐2013年證明了「存在無窮多對間距不超過七千萬的素數對「之後，將那個巨大的「七千萬「上界，以驚人的速度壓縮到了「246「。
可以說，在「素數間距「這個領域，梅納德是當今最具權威的活躍學者之一。
……
「徐博士。」
梅納德的聲音不大，帶著牛津人特有的那種冷靜而矜持的腔調。
「首先，請允許我表達我個人對您這項成就的最高敬意。這是一次數論史上的里程碑事件。」
「但我的問題，不關乎過去，而關乎未來。」
他微微停頓了一下。
「您的'徐氏譜變換'，優美地解決了p+q=N的問題——也就是將偶數分解為兩個素數之和。」
「那麼，我想問的是——」
梅納德的目光直視著台上的徐辰，語氣中透著一種發自內心的熱切與期待：
「如果把中間的加號，換成減號呢？」
「它能處理p-q=2k的問題嗎？」
……
這個問題一出，整個主廳瞬間安靜了下來。
因為在場的所有數論學者都明白，梅納德問的，不是一個隨意的假設性問題。
他問的，是數論中另一座與哥德巴赫猜想齊名的、至今屹立不倒的終極高峰——
孿生素數猜想。
……
「任意一個大於等於4的偶數N，都可以表示為兩個素數之和」。這是哥德巴赫猜想，剛剛被徐辰證明。
它研究的是素數的「加法「性質：兩個素數加起來，能湊出什麼。
而孿生素數猜想則完全反過來，它研究的是兩個素數之間的「距離「——存在無窮多對素數，它們之間的間距恰好為2。
比如（3，5）、（5，7）、（11，13）、（17，19）……這些成雙成對出現的素數「雙胞胎「，是否會一直延伸到無窮遠處，永遠不會斷絕？
在數學的語言裡，「加法「和「距離「看似完全不同，但在加性數論的框架下，它們本質上是同一類問題的不同面向：
p + q = N，是在問「兩個素數加起來等於一個固定值「——這是加性約束。
p - q = 2k，是在問「兩個素數之間的差等於一個固定值「——這依然是加性約束，只不過符號變了。
因為減法，不過是加上一個負數。
……
所以，梅納德的這個問題，其實是在問一件深刻的事情：
徐辰發明的那套「將加性問題翻譯為譜正定性問題「的框架，是不是一種具有普適性的方法論？
如果答案是肯定的，那麼孿生素數猜想、波利尼亞克猜想（任意偶數間距的素數對是否無窮多）、甚至更多困擾人類數百年的加性數論難題，都將在「徐氏譜變換「的射程之內！
……
主廳里的空氣，在梅納德拋出那個問題之後，瞬間凝固到了極點。
一千兩百雙眼睛，齊刷刷地從梅納德身上轉向了台上的徐辰。
要知道，在1900年的巴黎國際數學家大會上，偉大的大衛·希爾伯特提出了著名的23個數學問題，為二十世紀的數學指明了方向。其中第八問題，就將哥德巴赫猜想、孿生素數猜想以及黎曼猜想並列在一起。
這三座大山，被公認為數論領域的終極神明。
所有人都屏住了呼吸，等待著他的回答。
……
徐辰看著台下那位年輕的菲爾茲獎得主，沉默了大約兩秒鐘。
然後，他笑了。
那是一種輕鬆的、甚至帶著一絲頑皮的笑容。
「梅納德教授，實不相瞞。」
徐辰的語氣如同在聊天氣般隨意。
「在從巴黎前往蘇黎世的火車上，大概四個多小時的航程，時間比較無聊，我剛好推演過這個問題。」
……
那些提問的大佬們，臉上的表情也從最初的審慎，慢慢變成了認同，最後變成了一種無法掩飾的嘆服。
他們嘆服的，不僅僅是這個證明本身的正確性。在論文掛出arXiv的那天起，他們中的大多數就已經傾向於相信這一點了。
真正讓他們感到震撼的，是台上這個二十歲的年輕人，在面對來自六七個不同方向的刁鑽提問時，展現出的那種「全知全能「般的從容。
他似乎不是在「回憶「自己寫過的論文來作答，他是在以一種俯瞰整個數學版圖的視角，隨手拈出任何一個領域的工具來化解難題。
這種跨學科的統治力，已經不是「天才「二字能夠形容的了。
……
到了這個時候，在場的數學家們基本已經認可了這篇證明的正確性。
雖然絕對嚴格的同行評審還需要數月時間，但在場的所有人都心知肚明：經過今天這場由全球最頂尖的數學家群體進行的、長達數小時的公開質詢，這篇論文的核心邏輯已經經受住了最嚴苛的考驗。剩下的，不過是時間問題。
可以預見，在這場報告會結束後，哥德巴赫猜想的證明將很快被學術界正式確認。
徐辰在台上謙遜地將其稱為「哥德巴赫定理「，但在場的所有頂尖學者心裡卻都跟明鏡似的：從今天起，這個困擾人類兩百多年的命題，在未來的教科書上大概率會被重命名為「哥德巴赫-徐定理「。
這不是猜測，而是數學界一個不成文的慣例——當一個猜想被證明後，證明者的名字往往會被永久地嵌入定理的名稱之中。
至於第二作者洛朗·拉福格……數學史的聚光燈向來是殘酷且吝嗇的。
就像當年理察·泰勒在最絕望的時刻幫安德魯·懷爾斯補全了費馬大定理的致命漏洞，兩人聯合署名發表了那篇至關重要的補漏論文，但世人永遠只會記住「懷爾斯證明了費馬大定理「。拉福格那精妙的跡公式展開，註定將和泰勒的環論性質一樣，成為這段傳奇中一個受人尊敬、卻終將被大眾遺忘的註腳。
不過，此刻坐在台下第二排的拉福格本人，對此似乎毫不在意。他只是安靜地坐在那裡，看著台上的徐辰，嘴角掛著一絲淡淡的、滿足的微笑。對於一個六十一歲的菲爾茲獎得主來說，名字是否被刻在定理上，早已不重要了。重要的是，他親手參與了這件事。
……
就在所有人都以為提問環節即將圓滿結束時。
一隻手從中間偏後的位置舉了起來。
站起來的人，是詹姆斯·梅納德。
2022年菲爾茲獎得主，牛津大學數論教授。
這位年僅三十多歲的英國數學家，以其在孿生素數猜想上的突破性工作而聞名。
正是他，在張益唐2013年證明了「存在無窮多對間距不超過七千萬的素數對「之後，將那個巨大的「七千萬「上界，以驚人的速度壓縮到了「246「。
可以說，在「素數間距「這個領域，梅納德是當今最具權威的活躍學者之一。
……
「徐博士。」
梅納德的聲音不大，帶著牛津人特有的那種冷靜而矜持的腔調。
「首先，請允許我表達我個人對您這項成就的最高敬意。這是一次數論史上的里程碑事件。」
「但我的問題，不關乎過去，而關乎未來。」
他微微停頓了一下。
「您的'徐氏譜變換'，優美地解決了p+q=N的問題——也就是將偶數分解為兩個素數之和。」
「那麼，我想問的是——」
梅納德的目光直視著台上的徐辰，語氣中透著一種發自內心的熱切與期待：
「如果把中間的加號，換成減號呢？」
「它能處理p-q=2k的問題嗎？」
……
這個問題一出，整個主廳瞬間安靜了下來。
因為在場的所有數論學者都明白，梅納德問的，不是一個隨意的假設性問題。
他問的，是數論中另一座與哥德巴赫猜想齊名的、至今屹立不倒的終極高峰——
孿生素數猜想。
……
「任意一個大於等於4的偶數N，都可以表示為兩個素數之和」。這是哥德巴赫猜想，剛剛被徐辰證明。
它研究的是素數的「加法「性質：兩個素數加起來，能湊出什麼。
而孿生素數猜想則完全反過來，它研究的是兩個素數之間的「距離「——存在無窮多對素數，它們之間的間距恰好為2。
比如（3，5）、（5，7）、（11，13）、（17，19）……這些成雙成對出現的素數「雙胞胎「，是否會一直延伸到無窮遠處，永遠不會斷絕？
在數學的語言裡，「加法「和「距離「看似完全不同，但在加性數論的框架下，它們本質上是同一類問題的不同面向：
p + q = N，是在問「兩個素數加起來等於一個固定值「——這是加性約束。
p - q = 2k，是在問「兩個素數之間的差等於一個固定值「——這依然是加性約束，只不過符號變了。
因為減法，不過是加上一個負數。
……
所以，梅納德的這個問題，其實是在問一件深刻的事情：
徐辰發明的那套「將加性問題翻譯為譜正定性問題「的框架，是不是一種具有普適性的方法論？
如果答案是肯定的，那麼孿生素數猜想、波利尼亞克猜想（任意偶數間距的素數對是否無窮多）、甚至更多困擾人類數百年的加性數論難題，都將在「徐氏譜變換「的射程之內！
……
主廳里的空氣，在梅納德拋出那個問題之後，瞬間凝固到了極點。
一千兩百雙眼睛，齊刷刷地從梅納德身上轉向了台上的徐辰。
要知道，在1900年的巴黎國際數學家大會上，偉大的大衛·希爾伯特提出了著名的23個數學問題，為二十世紀的數學指明了方向。其中第八問題，就將哥德巴赫猜想、孿生素數猜想以及黎曼猜想並列在一起。
這三座大山，被公認為數論領域的終極神明。
所有人都屏住了呼吸，等待著他的回答。
……
徐辰看著台下那位年輕的菲爾茲獎得主，沉默了大約兩秒鐘。
然後，他笑了。
那是一種輕鬆的、甚至帶著一絲頑皮的笑容。
「梅納德教授，實不相瞞。」
徐辰的語氣如同在聊天氣般隨意。
「在從巴黎前往蘇黎世的火車上，大概四個多小時的航程，時間比較無聊，我剛好推演過這個問題。」
……