新智元原創
編輯:白峰,鵬飛
數學界有一個堪稱「禁忌」的問題。
這個問題剛被提出來的時候,曾有不少人嘗試攻堅。最終,幾乎所有人都放棄了。如今,全世界只有極少數頂級數學家仍在苦苦鑽研,而絕大部分的數學家對此都選擇了「避開」。
然而,這個難倒數學界的難題,卻有一個簡單的不能再簡單的名字abc猜想。以至於讓人有一種錯覺:它的真實名字一定是被封印了,所以人們才用了這個聽起來就像是鬧著玩兒的名字。
實際上,迄今為止,只有一個人宣稱解開了這個難題。而他的解題過程看起來就好像是畫魔法陣一樣,大部分數學家表示看不懂;也有不少數學家表示質疑;只有12個人發出了會心的笑容,表示「我懂了」,但「跟你也解釋不清楚」。
這個人就是:日本京都大學數理分析研究所教授望月新一(Shinichi Mochizuki)。
神秘的數學天才,隱藏的鐵道愛好者?
這位數學家,在我們普通人看來簡直就是個只可能出現在日本漫畫中的Nerd數學家角色。他的顏值,甚至連他的名字都能讓你瞬間腦補出漫畫角色:
如果不說,你一定會以為上圖這個人是某個日劇裡的角色吧?
他平時神龍見首不見尾,只是偶爾在京都大學自己的主頁下更新一下論文進度。
他斷絕了與外界的一切聯繫,只保持和幾位專業領域數學家的郵件聯絡。
他寫出的論文就像是外星人使用的語言,就連頂級數學家也少有人能看懂。
他的主頁也透著一股濃濃的民科蒸汽波風,讓人無法直視。來感受一下這辣眼的個人主頁:
很多人可能不知道這個網站的風格為什麼是這樣的。這裡不得不提到日本的一個亞文化:鐵道痴迷。日文「鉄道ファン(てつどうファン)」,中文「鐵道迷」,英文為「Railfan」。
望月新一的網站風格,完全就是Modelnics網站的翻版。Modelnics是一家5英寸軌距鐵路模型製造商。
難道說這個神秘的數學天才,是個狂熱的鐵道愛好者?
就是這樣的一個人,在發表了700多頁的關於遠阿貝爾幾何的論文之後,就像動漫中孤獨的屠龍勇士一樣,獨自一人踏上了徵服abc猜想的「禁忌之路」。因為在這條路上,幾乎無人能與之同行。
這條路一走就是十幾年。這十幾年來無人知曉他在幹什麼,也沒人能想像他是怎樣的一種工作狀態。
直到2012年8月份,他攜帶一份厚達500多頁的論文歸來,震驚了整個數學界!
從500頁到600頁論文多次修訂,歷時8年終被承認
如今,他的論文已經通過了審核,即將正式發表。從他第一次提交到最終發表,歷時8年!
2012年,望月新一提交了一份長達512頁的論文號稱自己解決了abc猜想。該論文由4篇長論文組成,難度逐漸提高。
他在論文中自創了一個讓人不可思議的理論,命名為「宇宙際Teichmüller理論」,簡稱IUTT,即IUT理論。
更讓人不可思議的是,他一發不可收拾,接連創造了好多「鍊金」術語,例如「宇宙暗邊際之極」、「霍奇影院」(Hodge Theater)、「外星算數全純結構」(alien arithmetic holomorphic structures)等。雖然看起來有點中二,但是莫名讓人聽的熱血沸騰是怎麼回事呢?
隨後,望月新一不斷的完善自己的理論,論文也從早期的500多頁,增加到現在的600多頁。
有關望月新一所有的論文,都可以在其充滿古早味蒸汽波的網站找到。不過,為了照顧各位眼睛,這裡貼出他整理的一份論文列表pdf。
http://www.kurims.kyoto-u.ac.jp/~motizuki/ronbun-list.pdf
數學界對望月新一的論文正確性存在巨大爭議
對望月新一的論文,數學界存在巨大的分歧。
包括望月的導師法爾廷斯在內的很多頂級數學家表示完全看不懂。
芝加哥大學的Frank Calegari:「質疑的數學家們拿不出明確證據來證明其中的漏洞。現在我們處於一個尷尬的境地,在京都它是abc定理,在其他地方則是abc猜想。」
表示自己看懂了的數學家僅有10幾位,都和望月新一關係比較近。分別是:諾丁漢大學教授Ivan Fesenko,RIMS講師山下剛、星裕一郎、譚福成,RIMS教授玉川安騎男,東京工大教授加藤文元,廣島大學教授松本眞,普渡大學副教授Chung Pang Mok,巴黎第六大學副教授Emmanuel Lepage,佛蒙特大學客座教授Taylor Dupuy,加州大學聖地牙哥分校教授Kiran Kedlaya,密西根大學教授Jeffery Lagarias。
比較有意思的是日本數學家佔了多數。
而且這些聲稱自己懂了的數學家們,卻同時聲稱自己也沒辦法向別人解釋為什麼他們懂了,總之就是「我懂了,但是我解釋了你也不懂」。
牛津大學Kim Minhyong說:「abc猜想是關於乘法和加法的非常基本的表述。你仿佛在揭示數字系統的某種非常基本卻從未見過的結構」。
看不懂並不代表沒人信。很多數學家對望月新一的數學天賦非常贊同,張壽武有次提到Andrew Wiles證明費馬大定理後,曾對望月新一推崇備至,大意是說「數學界有瞭望月這樣的人,其他人都可以改行了」。
還有一些數學家表示了強烈的質疑,其中就有菲爾茲獎得主舒爾茨。
菲爾茲獎得主舒爾茨:邏輯不通,陶哲軒說論證太長引人質疑
菲爾茲獎得主舒爾茨對望月的證明提出了尖銳的批判。
他說:「我想補充的一點是…在論文發表後不久我就指出,我完全無法認同IUT理論第三部分的推論;此後我一直在向其他專家探討至今沒有任何有用的解釋。事實上,這麼多年來,越來越多的人得出了和我類似的結論」。
「我聽說望月周圍的人也不理解。謹慎起見我等了好幾年,直到有人給出一個更好的(或任何)解釋,我才公開發言。」
舒爾茨相關論文連結:http://www.kurims.kyoto-u.ac.jp/~motizuki/SS2018-08.pdf
舒爾茨對所有關於計算機驗證的內容感到非常惱火,他認為計算機不能用來驗證理論的對錯,只能作為一個補充。
而陶哲軒的評論就相對溫和一些。
陶哲軒謙虛的承認自己並不是IUT領域的專家,無法對望月的作品給出第一手的見解。
不過陶哲軒舉了一個例子,他用更熟悉的佩雷爾曼和張益唐的作品做比較。相比望月新一600多頁的論文,佩雷爾曼和張益唐的論文給出了簡短的「概念證明」陳述,能夠讓領域專家很快就能看出論文中的突破性和正確性。
陶哲軒憑著自己對數學的高度敏感性,認為如果望月新一能夠將300多頁的論證,縮短概念證明(例如100頁)將有助於消除對論點的懷疑。
不過陶哲軒也認為,一個完整的自足的理論,其唯一的外部應用是支撐abc猜想的300頁論證就顯得有點怪。
到底結果如何,讓我們拭目以待吧!