正文
今天，看到一個爆炸性的消息：黎曼猜想被證實了。
菲爾茲和阿貝爾獎雙料得主邁克爾·阿蒂亞爵士宣稱自己證明了黎曼猜想，要在9月24日海德堡獲獎者論壇上宣講。
發出證明黎曼猜想之人，是英國著名數學家邁克爾·阿蒂亞（Michael Atiyah， 1929.4.22-）， 主要研究領域為幾何，被譽為當代最偉大的數學家之一。於1966年榮獲菲爾茲獎，在2004年與辛格共同獲得阿貝爾獎。
雖然在知名度上，黎曼猜想不及費爾馬猜想和哥德巴赫猜想，但它在數學上的重要性要遠遠超過後兩者，是當今數學界最重要的數學難題，當今數學文獻中已有超過一千條數學命題以黎曼猜想（或其推廣形式）的成立為前提。
如果真的可以被證明，這是一件值得高興的盛情。
人類有三大數學猜想，費馬猜想，哥德巴赫猜想，黎曼猜想。
費爾馬猜想，歷時300多年，期間經歷（1637-1995,358年）如下：
1637年，費馬在書本空白處提出費馬猜想。
1770年，歐拉證明n=3時定理成立
1823年，勒讓德證明n=5時定理成立。
1832年，狄利克雷試圖證明n=7失敗，但證明 n=14時定理成立。
1839年，拉梅證明n=7時定理成立。
1850年，庫默爾證明2<><>
1955年，範迪維爾以電腦計算證明了 2<><>
1976年，瓦格斯塔夫以電腦計算證明 2<><>
1985年，羅瑟以電腦計算證明2<><>
1987年，格朗維爾以電腦計算證明了 2<><>1800000時定理成立。
1995年，懷爾斯證明 n>2時定理成立。
再來看看哥德巴赫猜想，從1742年產生開始，許多數學家都躍躍欲試，甚至一生都致力於證明哥德巴赫猜想。可是直到19世紀末，哥德巴赫猜想的證明也沒有任何進展。證明哥德巴赫猜想的難度，遠遠超出了人們的想象。有的數學家把哥德巴赫猜想比喻為“數學王冠上的明珠”。
1900年，20世紀最偉大的數學家希爾伯特，在國際數學會議上把“哥德巴赫猜想”列為23個數學難題之一。此後，20世紀的數學家們在世界範圍內“聯手”進攻“哥德巴赫猜想”堡壘，終於取得了輝煌的成果。
1920年，挪威數學家布朗證明了定理“9+9”，由此劃定了進攻“哥德巴赫猜想”的“大包圍圈”。這個“9+9”是怎麼回事呢？所謂“9+9”，翻譯成數學語言就是：“任何一個足夠大的偶數，都可以表示成其它兩個數之和，而這兩個數中的每個數，都是9個奇質數之積。” 從這個“9+9”開始，全世界的數學家集中力量“縮小包圍圈”，當然最後的目標就是“1+1”了。
1924年，德國數學家雷德馬赫證明了定理“7+7”。很快，“6+6”、“5+5”、“4+4”和“3+3”逐一被攻陷。1957年，中國數學家王元證明了“2+3”。1962年，中國數學家潘承洞證明了“1+5”，同年又和王元合作證明了“1+4”。1965年，蘇聯數學家證明了“1+3”。
1966年，中國著名數學家陳景潤攻克了“1+2”，也就是：“任何一個足夠大的偶數，都可以表示成兩個數之和，而這兩個數中的一個就是奇質數，另一個則是兩個奇質數的積。”這個定理被世界數學界稱為“陳氏定理”。
由於陳景潤的貢獻，人類距離哥德巴赫猜想的最後結果“1+1”僅有一步之遙了。但為了實現這最後的一步，也許還要歷經一個漫長的探索過程。有許多數學家認為，要想證明“1+1”，必須通過創造新的數學方法，以往的路很可能都是走不通的。
從1742-1966,224年，還沒有徹底完成這個證明過程，還差一步之遙。
黎曼猜想，是黎曼於1859年提出，到2018年，共159年，如果真的能被證明，將是一個了不得的成績。
但這些成績，絕不是一朝一夕取得的，也不是某一個人的功績，而是全人類的數學家共同努力的結果。
題目中說，有一個猜想比黎曼猜想更偉大猜想，文中回答說是共產主義。這是為什麼？
因為數學猜想的證明或者證偽，改變的不過是數學領域的某個知識點。而現實的社會，偉大的未來，整個人類，都需要我們去嘗試、證明，馬克思所提出的“共產主義”是否可行。如果你不去證明，你怎麼知道他是對的？如果你不去證偽，你怎麼知道他是錯的？
數學的驗證是思考和計算；
共產主義的驗證呢？我認為更需要思考和實踐。
很多人說，一個人應該爭取去做出結果。
其實從費爾馬猜想、哥德巴赫猜想、黎曼猜想中可以看出，提出好的猜想，設想，希望，遠比答案更加重要。
共產主義，我們知道他是科學，但即便是猜想，那又如何？你有什麼理由去否定呢？你證明過嗎？
願共產主義早日能夠被證明或者證偽。
閱讀更多 飛翔的小果粒 的文章
