第347章 炎夏成功突破:對黎曼假設的證明!
盤點十大科技盛世，榜首種花家！ 作者：豌豆開花 投票推薦 加入書簽 留言反饋
素數，也就是質數，一直是古今中外數學家們最關注的課題之一。
從基礎層麵說來，素數就像是物理世界中用於構築萬物地原子，所有整數都能被分解成一組獨一無二的素數相乘。
基於素數在數學中的核心地位，研究素數如何沿實數直線分布，或者說每個素數之間的距離有多遠,正是數學家們的興趣所在。
到十九世紀的時候，數學家們已經發現了許多可以給出素數之間近似平均距離的公式。
但是,素數的確切分布與這個平均值相距多遠，卻仍然處於未知狀態。
也就是說，在那些平均值公式成立的前提之下，數軸——也就是整數軸線上是否還存在著一些素數“太多”或“太少”的部分？
黎曼假設，通過根據素數的分布離均值的距離建立範圍來限製了這些存在。
它是關於一個叫“黎曼函數”的數學構造的零點分布的猜想。
黎曼函數是在複平麵上的一條特殊曲線，它早已成為了數學領域中需獨立研究的課題.
這使得黎曼假設和與之相關的問題顯得都更加重要。
就像其他幾個藍星數學界未解之謎一樣,許多證據都在暗示黎曼假設是真的，但是完整詳盡的證明卻一直沒有出現。
在今天之前，種花家的數學家們已經通過計算機方法找到了約百萬億個黎曼函數的解，至今都還沒有出現一個反例。
過去，黎曼假設的證明也有過許多以失敗告終的嚐試，其中最著名的錯誤是由律國極具聲望的數學家——一九八二年的菲爾茲獎得主艾倫坎尼斯鑄就的。
他發展了一套叫非交換幾何的理論，並想用這個理論來證明黎曼假設。
一九九七年時，當他自認為已經成功證明黎曼假設後，便第一時間飛到普林斯頓去報告這一成果。
可惜，很快他就被人指出過程存在錯誤，而這個錯誤他後來用盡了一身——甚至，直到今天之前都還沒能糾正過來。
還有一個著名的“無人問津”案例，來自普渡大學的教授布朗吉斯。
他二零零四年宣布自己證明了黎曼假設，但一直沒人理會。
事實上，他還是為證明黎曼假設發展出了一些新理論的，可惜他的學術名聲並不太好，所以所有人都認為他的證明不可能正確……
當然了，從數學的角度來說，一個假設有百萬億個為真的例子，依然不能等於擁有一個完整的證明。
正因如此，才讓黎曼假設到今天之前為止都仍然位列藍星數學界的未解難題行列當中。
但，也就到今天為止了。
因為，淩雲剛剛已經聽到了，有人喊出了那句話：他知道應該怎麽證明了
淩雲迴過頭去看：南北朝數學家祖衝之。
……
祖衝之一開始並不知道黎曼假設當中提到的“素數”是什麽意思。
直到幾位種花家數學家講解了之後，他才恍然大悟。
“原來你們管這玩意兒叫做素數啊！”
“這不就是我們常說的數根嘛……數字的根本，因為所有整數都能分解成數根乘積。”
這些天，他一直致力於證明黎曼假設。
他對素數——也就是數根本身有所研究，再加上種花家的數學家們告訴他的種種更先進的現代數學知識，他很快就找到了一些證明的模糊思路。
但，始終還是差那關鍵的一步無法突破。
好在，在這第一周的最後一天，如此關鍵時刻，他終於靈光一現，找到了那個突破口！
“你們看，我們可以利用三角不等式還有非減階梯函數來輔助證明……”
“我們可以先這樣，在那樣，最後在變成這樣……”
前麵的話淩雲還能夠聽懂幾個詞，但是到後麵淩雲就完全不知道祖衝之在說什麽了。
全是他沒有聽說過的數學專業術語。
但是淩雲看得到，和祖衝之同一桌的數學天才們，臉色從一開始的嚴肅、凝重，慢慢地變成驚訝、驚奇、驚喜，最後近乎狂喜！
尤其，是這個研究小組的負責人——來自種花家的數學家丘成桐教授，更是狂喜不已！
“太有道理了……太有道理了！”
“天啊，我以前怎麽沒考慮到這角度？”
……
此時此刻，是下午五點鍾。
距離今天的混沌之地開放時間結束，還有最後一個小時。
聽到負責研究黎曼假設的小組取得了突破性進展，不止是機動組的八十個人聞訊而來，研究其他問題的小組也都紛紛放下自己手上的難題，過去一同見證這神奇的一刻。
找到問題突破的關鍵點，跟徹底完成對於黎曼假設的完整證明過程，中間還是有不小的一段差距。
但，這顯然並不能難倒炎夏數學界的一眾英雄好漢。
隻要關鍵問題被突破了，完成剩下的證明過程，也隻不過是時間問題而已！
更何況，整個炎夏古今有那麽多數學天才此刻匯聚在此。
眾人群策群力、分工合作，也就半個小時出頭的功夫，黎曼假設的大致證明過程就已經新鮮出爐！
“來來來，大家快一起看一下，這個過程有沒有出現什麽問題。”
“另外就是，還要那些地方的細節還需要再進行進一步優化。”
黎曼假設難題的負責人丘成桐此刻高興得差點就跳起舞來了——他從來沒有想過，自己有生之年竟然真的能夠見到黎曼假設被證明，甚至他自己也算得上是參與了證明的過程！
其他人很多也都麵露喜色——尤其是來自種花家的數學家們，他們可太清楚成功證明出黎曼假設的含金量了。
就這樣，在剩下的十幾分鍾裏頭，炎夏的數學天才們在一片喜悅的氣氛之中，相互協作著完善了黎曼假設的證明過程。
最終，整個過程經過所有人檢查，被確認為沒有任何錯誤。
也就是說，炎夏古今的數學天才們，真的成功完成了對黎曼假設的證明。
而且，還僅僅隻用了七天的時間！
從基礎層麵說來，素數就像是物理世界中用於構築萬物地原子，所有整數都能被分解成一組獨一無二的素數相乘。
基於素數在數學中的核心地位，研究素數如何沿實數直線分布，或者說每個素數之間的距離有多遠,正是數學家們的興趣所在。
到十九世紀的時候，數學家們已經發現了許多可以給出素數之間近似平均距離的公式。
但是,素數的確切分布與這個平均值相距多遠，卻仍然處於未知狀態。
也就是說，在那些平均值公式成立的前提之下，數軸——也就是整數軸線上是否還存在著一些素數“太多”或“太少”的部分？
黎曼假設，通過根據素數的分布離均值的距離建立範圍來限製了這些存在。
它是關於一個叫“黎曼函數”的數學構造的零點分布的猜想。
黎曼函數是在複平麵上的一條特殊曲線，它早已成為了數學領域中需獨立研究的課題.
這使得黎曼假設和與之相關的問題顯得都更加重要。
就像其他幾個藍星數學界未解之謎一樣,許多證據都在暗示黎曼假設是真的，但是完整詳盡的證明卻一直沒有出現。
在今天之前，種花家的數學家們已經通過計算機方法找到了約百萬億個黎曼函數的解，至今都還沒有出現一個反例。
過去，黎曼假設的證明也有過許多以失敗告終的嚐試，其中最著名的錯誤是由律國極具聲望的數學家——一九八二年的菲爾茲獎得主艾倫坎尼斯鑄就的。
他發展了一套叫非交換幾何的理論，並想用這個理論來證明黎曼假設。
一九九七年時，當他自認為已經成功證明黎曼假設後，便第一時間飛到普林斯頓去報告這一成果。
可惜，很快他就被人指出過程存在錯誤，而這個錯誤他後來用盡了一身——甚至，直到今天之前都還沒能糾正過來。
還有一個著名的“無人問津”案例，來自普渡大學的教授布朗吉斯。
他二零零四年宣布自己證明了黎曼假設，但一直沒人理會。
事實上，他還是為證明黎曼假設發展出了一些新理論的，可惜他的學術名聲並不太好，所以所有人都認為他的證明不可能正確……
當然了，從數學的角度來說，一個假設有百萬億個為真的例子，依然不能等於擁有一個完整的證明。
正因如此，才讓黎曼假設到今天之前為止都仍然位列藍星數學界的未解難題行列當中。
但，也就到今天為止了。
因為，淩雲剛剛已經聽到了，有人喊出了那句話：他知道應該怎麽證明了
淩雲迴過頭去看：南北朝數學家祖衝之。
……
祖衝之一開始並不知道黎曼假設當中提到的“素數”是什麽意思。
直到幾位種花家數學家講解了之後，他才恍然大悟。
“原來你們管這玩意兒叫做素數啊！”
“這不就是我們常說的數根嘛……數字的根本，因為所有整數都能分解成數根乘積。”
這些天，他一直致力於證明黎曼假設。
他對素數——也就是數根本身有所研究，再加上種花家的數學家們告訴他的種種更先進的現代數學知識，他很快就找到了一些證明的模糊思路。
但，始終還是差那關鍵的一步無法突破。
好在，在這第一周的最後一天，如此關鍵時刻，他終於靈光一現，找到了那個突破口！
“你們看，我們可以利用三角不等式還有非減階梯函數來輔助證明……”
“我們可以先這樣，在那樣，最後在變成這樣……”
前麵的話淩雲還能夠聽懂幾個詞，但是到後麵淩雲就完全不知道祖衝之在說什麽了。
全是他沒有聽說過的數學專業術語。
但是淩雲看得到，和祖衝之同一桌的數學天才們，臉色從一開始的嚴肅、凝重，慢慢地變成驚訝、驚奇、驚喜，最後近乎狂喜！
尤其，是這個研究小組的負責人——來自種花家的數學家丘成桐教授，更是狂喜不已！
“太有道理了……太有道理了！”
“天啊，我以前怎麽沒考慮到這角度？”
……
此時此刻，是下午五點鍾。
距離今天的混沌之地開放時間結束，還有最後一個小時。
聽到負責研究黎曼假設的小組取得了突破性進展，不止是機動組的八十個人聞訊而來，研究其他問題的小組也都紛紛放下自己手上的難題，過去一同見證這神奇的一刻。
找到問題突破的關鍵點，跟徹底完成對於黎曼假設的完整證明過程，中間還是有不小的一段差距。
但，這顯然並不能難倒炎夏數學界的一眾英雄好漢。
隻要關鍵問題被突破了，完成剩下的證明過程，也隻不過是時間問題而已！
更何況，整個炎夏古今有那麽多數學天才此刻匯聚在此。
眾人群策群力、分工合作，也就半個小時出頭的功夫，黎曼假設的大致證明過程就已經新鮮出爐！
“來來來，大家快一起看一下，這個過程有沒有出現什麽問題。”
“另外就是，還要那些地方的細節還需要再進行進一步優化。”
黎曼假設難題的負責人丘成桐此刻高興得差點就跳起舞來了——他從來沒有想過，自己有生之年竟然真的能夠見到黎曼假設被證明，甚至他自己也算得上是參與了證明的過程！
其他人很多也都麵露喜色——尤其是來自種花家的數學家們，他們可太清楚成功證明出黎曼假設的含金量了。
就這樣，在剩下的十幾分鍾裏頭，炎夏的數學天才們在一片喜悅的氣氛之中，相互協作著完善了黎曼假設的證明過程。
最終，整個過程經過所有人檢查，被確認為沒有任何錯誤。
也就是說，炎夏古今的數學天才們，真的成功完成了對黎曼假設的證明。
而且，還僅僅隻用了七天的時間！