望月新一abc論文 - CSDN

2020-11-22 CSDN技術社區
曉查 發自 凹非寺 
量子位 報導 | 公眾號 QbitAI

abc猜想，數學界懸而未決的重要猜想，它的證明過程經過8年的同行評審，終於要在期刊上發表了。

論文作者是日本的天才數學家望月新一，他33歲起就在京都大學擔任數學教授。

這一次望月新一的證明，全篇超過600頁，2012年就已發表，但足足經過了8年的同行評審才通過，期間開過多次研討會——但依然有很多數學家無法理解。

據說，這篇論文全球只有十幾位數學家深入研究了證明過程。

許多數學家根本無法指出證明過程是對是錯，因為根本看不懂。

4月3日，日本京都大學召開了新聞發布會，宣布望月新一證明了它。包括Nature等在內的權威科學傳媒組織，也這一重要進展進行了報導。

望月新一沒有出席昨天的發布會，他的另外兩位同事說，當他知道自己的論文被接收，終於鬆了一口氣。多年來他從未在公眾場合露面。

但也不是沒有爭議，因為當初接收論文的期刊——日本的PRIMS，主編正是望月新一本人。

如果他的證明是正確的，那麼將徹底改變數論。

同時也正因為如此，才有了學界長達8年的爭論。

什麼是abc猜想？

abc猜想，最初由法國數學家約瑟夫·奧斯特萊和大衛·馬瑟，在1985年提出。

並且一經提出，abc猜想就成為數論領域的重要猜想之一。

只是和哥德巴赫猜想不同的是，向大眾說明abc猜想本身，就是一個複雜的過程。

大概如下：

有三個互質正整數a、b、c，且c=a+b。所謂互質，即它們的最大公約數是1。

因此8 + 9 = 17、5 + 16 = 21是符合條件的一組數字，但是6 + 9 = 15不是。

接著，我們把abc的質因數都提取出來，比如5、16、21的質因數是5、2、3、7，這些質因數相乘的結果為210，這個數比原來的三個數大得多。

又比如5、27、32，它們的質因數是5、3、2，相乘結果為30，就比32小。

但第二種情形極為罕見。如果a和b都是小於100的數，我們能找到3044個符合條件的abc組合，其中只有7組滿足第二種情形。

而abc猜想要證明的，就是符合第二種情形的abc組合，只有有限個。

數學家們把abc的質因數乘積記作rad(abc)。用嚴謹的數學語言來表述就是：

對於任何ε>0，只存在有限個互質正整數的三元組(a, b, c)，c = a + b，使得：

c > rad(abc)1+ε

費馬大定理迎刃而解

在人類短期內沒法證明的abc猜想的情況下，科學家們想到了一個辦法，就是用計算機暴力解決，從小到大依次尋找符合abc猜想第二種情形的組合。

由此衍生出了一個分布式計算項目ABC@Home，就是通過全球各地的電腦窮舉計算符合abc猜想條件的三元數組。到2014年5月，人們已經驗證了2380萬個組合。

雖然有無限個例子或反例不能解決abc猜想，但是數學家希望借著該計劃發現的三元數組的分布模式。

之所以花費大量計算資源去驗證，是因為abc猜想在數學界有著重要意義。

和黎曼猜想一樣，很多數學領域後續的一些假設都依賴於前者。如果前者得到證明，後者就能輕易得出。

abc猜想的形式是a+b=c，著名的費馬大定理形式是xn+yn=zn，二者非常相似，實際上二者也是強關聯。

如果abc猜想為真，那麼費馬大定理也可以輕鬆證明。

當年費馬一句「空白太小寫不下證明」，讓這一問題從1637年一直拖到1995年才得以解決。

而通過abc猜想來證明費馬大定理的方法，真的能讓空白處就能寫下證明過程。

所以望月新一這一次，真的做到了嗎？

證明過程極具爭議

望月新一發表了4篇論文來證明這一猜想，他把自己的研究成果叫做「宇宙際Teichmuller理論」。

按照望月新一的說法，該理論是用於橢圓曲線數字場的Teichmuller理論的算術版本，裡面包含了像霍奇劇院（Hodge theaters）這樣奇怪的名字。

望月新一的理論並未得到學界廣泛認同，600多頁的證明被來自德國波恩大學的兩位德高望重的數學家質疑。

2018年菲爾茲獎得主、馬普所數學研究所所長Peter Scholze說：「我認為abc猜想仍未解決，任何人都有機會證明這一點。」

Scholze和他的同事Jakob Stix還曾發表一篇報告，指出在望月新一第三篇論文中「推論3.12」證明過程從根本上來說是有缺陷的。

而該推論對abc猜想的證明至關重要。

和其他部分引理的證明不同，3.12的證明尤其長，總共有9頁。Scholze認為這9頁證明達到了根本無法遵循邏輯的地步。

Scholze在2018年到京都大學進行了為期一周的訪問，與望月新一探討了這個問題，但雙方誰也說服不了誰。

Scholze說：「我認為，除非望月新一進行一些非常實質性的修改，並更好地解釋這一關鍵步驟，否則不應該將其視為證明。」

「我真的沒有看到一個使我們更接近abc猜想證明的關鍵思想」，Scholze還補充道。

望月新一的論文也引起了陶哲軒的關注，在當年論文發表的第一時間，陶哲軒就在個人博客中談到的自己看法，並給出了另一種啟發式證明方法。

望月新一研究領域並不是陶哲軒的擅長，所以他之後一直迴避對此評論。

這篇論文被期刊接收，並不是abc猜想的終點，也無法讓數學家站到望月新一這一邊，新的爭論還會繼續下去。

關於望月新一

最後，簡單介紹一下這位日本天才數學家。

望月新一，1969年出生於日本東京都，5歲隨父母前往紐約，16歲就進入普林斯頓大學，3年讀完本科，23歲獲得博士學位，33歲成為京都大學教授。

他現在是京都大學數理解析研究所教授。研究數論，包括算術幾何，霍奇理論和遠阿貝爾幾何。

有意思的是，還有人曾猜測，望月新一就是比特幣發明人「中本聰」。

不過這種猜測的疑點很多，因為比特幣用到的密碼學不是望月新一的研究方向，而且他作為一個純粹的數學家，對現實世界的問題也不太關心。

最後的最後，如果你對望月新一這一abc猜想證明有其他看法，也歡迎告訴我們。

參考資料：

https://www.nature.com/articles/d41586-020-00998-2

https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/

https://futurism.com/the-byte/mathematicians-shocked-paper-published

作者系網易新聞·網易號「各有態度」籤約作者

— 完 —

<英偉達NLP公開課> 開始報名啦，4月9號晚8點，英偉達GPU計算專家將分享 FasterTransformer 2.0 的原理與應用，分享如何針對 decoder 和 decoding 進行優化。

戳二維碼，備註「英偉達」即可報名、加交流群，主講老師也會進群與大家交流互動哦~ 

直播報名 | Decoder與Decoding的優化與加速

天文航天親子社群招募，一起來玩吧~

2020年是個天文大年，4月8日有全年最大的超級月亮，6月有橫跨中國的日環食，8月有英仙座流星雨，10月還有兩年一次的火星衝日，12月有雙子座流星雨。

我們邀請「美國國家地理極致中國探享家劉允」和天文愛好者們，組建了一個天文航天親子社群，群裡除了交流天文航天知識，還會組織一系列講座、線下觀星、航天探訪活動。

如果你有寶寶，也熱愛天文航天，一起來玩啊。

量子位 QbitAI · 頭條號籤約作者

վ'ᴗ' ի 追蹤AI技術和產品新動態

喜歡就點「在看」吧 !

相關焦點

  • 望月新一的論文快發表了,abc猜想能否獲得證明?
    原文作者：Davide Castelvecchi 有些專家表示，望月新一沒能修正其數學證明中的致命錯誤。 在八年的努力之後，備受爭議的日本數學家望月新一終於獲得了一些認可。他關於abc猜想的600頁證明終於被接收發表了。
  • 數學難題「abc猜想」封印終被開啟|abc猜想|數學|望月新一|京都...
    問道數學|美麗思考4 月 3 日，日媒京都新聞報導，日本京都大學數理分析研究所教授望月新一（Shinichi Mochizuki）對於數論難題「abc 猜想」的證明近日將正式發表。包括Nature等在內的權威科學傳媒組織，也這一重要進展進行了報導。論文作者是日本的天才數學家望月新一，他33歲起就在京都大學擔任數學教授。
  • 望月新一的abc猜想證明可能即將發表
    論文使用的方法是望月新一這20年來自行發展出的一套數學理論，因此證明的實際長度等於500多頁加上20年以來他在這個領域所發表的一系列論文之和，光是長度就已經讓人頭疼。一般來說，數學家讀一篇新論文的時候都會先掃一遍找找「乾貨」，也就是在現有的數學語言下，能讓人一下子就了解到的新穎的想法或者前人沒想過的方向。但是數學家們並沒有在望月新一的論文裡找到這類「乾貨」。
  • 數學界大事發生,京都大學宣布望月新一解決「ABC猜想」
    一時間，所有人都瘋了般，紛紛去下載望月的論文來一探究竟，然而，卻沒有一個人能看得懂，就連華裔天才數學家陶哲軒也表示沒看懂。 1969年，望月新一出生於日本東京，5歲的時候便隨父母移居美國。
  • 望月新一的abc猜想證明可能即將發表| 果殼 科技有意思
    論文使用的方法是望月新一這20年來自行發展出的一套數學理論，因此證明的實際長度等於500多頁加上20年以來他在這個領域所發表的一系列論文之和，光是長度就已經讓人頭疼。一般來說，數學家讀一篇新論文的時候都會先掃一遍找找「乾貨」，也就是在現有的數學語言下，能讓人一下子就了解到的新穎的想法或者前人沒想過的方向。但是數學家們並沒有在望月新一的論文裡找到這類「乾貨」。
  • 數學難題「abc猜想」封印終被開啟,望月新一的8年證明真的有效嗎?
    2012年，望月新一提交了一份長達512頁的論文號稱自己解決了abc猜想。該論文由4篇長論文組成，難度逐漸提高。 他在論文中自創了一個讓人不可思議的理論，命名為「宇宙際Teichmüller理論」，簡稱IUTT，即IUT理論。
  • 日本數學家望月新一將發表abc猜想證明,定稿長達600頁
    8年前，日本數學家望月新一用長達500多頁的4篇論文，聲稱自己解決了abc猜想，引發學界討論，然而很少有數學家能夠理解他的這項工作；如今，望月新一終於得到了肯定。據《自然》報導，最終定稿長達600頁的abc猜想證明終於被認可並即將出版。
  • 數學天才望月新一證明abc猜想,只有十幾個數學家能懂
    曉查 發自 凹非寺 量子位 報導 | 公眾號 QbitAI abc猜想，數學界懸而未決的重要猜想，它的證明過程經過8年的同行評審，終於要在期刊上發表了。 論文作者是日本的天才數學家望月新一，他33歲起就在京都大學擔任數學教授。
  • 數學天才望月新一證明abc猜想,全球只有十幾個數學家讀懂
    abc猜想，數學界懸而未決的重要猜想，它的證明過程經過8年的同行評審，終於要在期刊上發表了。論文作者是日本的天才數學家望月新一，他33歲起就在京都大學擔任數學教授。而通過abc猜想來證明費馬大定理的方法，真的能讓空白處就能寫下證明過程。所以望月新一這一次，真的做到了嗎？證明過程極具爭議望月新一發表了4篇論文來證明這一猜想，他把自己的研究成果叫做「宇宙際Teichmuller理論」。
  • 評審8年終獲發表,數學天才望月新一證明abc猜想,只有十幾人能懂
    論文作者是日本的天才數學家望月新一，他33歲起就在京都大學擔任數學教授。這一次望月新一的證明，全篇超過600頁，2012年就已發表，但足足經過了8年的同行評審才通過，期間開過多次研討會——但依然有很多數學家無法理解。
  • abc猜想被證明?600頁的數學論文,世界上只有幾個人看得懂
    消息：2020年4月3日，京都大學宣布望月新一解決了abc猜想。並且，望月新一的論文通過了京都大學數理解析研究所編輯的國際專業期刊《prims》的審查。abc(2)望月新一是誰？望月新一，京東大學數理解析研究所研究員。1969年出生於日本東京，5歲時隨父母移居美國。大學前的望月新一一直普普通通，直到望月新一進入普林斯頓大學，開始展現出他的天賦異稟和努力。本科畢業後，只花費了三年時間攻讀下了普林斯頓大學的博士學位。導師是著名的德國數學家，代數幾何大師法爾廷斯。
  • 評審8年終獲發表,數學天才望月新一證明abc猜想,全球只有十幾個...
    論文作者是日本的天才數學家望月新一，他33歲起就在京都大學擔任數學教授。這一次望月新一的證明，全篇超過600頁，2012年就已發表，但足足經過了8年的同行評審才通過，期間開過多次研討會——但依然有很多數學家無法理解。據說，這篇論文全球只有十幾位數學家深入研究了證明過程。
  • 數論難題abc猜想被證明?600頁論文僅幾人看懂,仍存巨大爭議
    經過八年的努力，獨自奮戰的日本數學家望月新一（Shinichi Mochizuki）終於得到了一些認可。如今，他長達 600 頁的「abc 猜想」證明論文已經被接收，即將出版。京都大學數理解析研究所期刊（RIMS）評審通過瞭望月新一的論文，而望月新一也是該期刊的編輯。
  • 陶哲軒點評望月新一、張益唐和佩雷爾曼
    向來直言的陶哲軒尖銳點評望月新一，張益唐，和佩雷爾曼！辭舊迎新之際，國際數學界最引人注目的話題，莫過於日本數學家望月新一關於ABC猜想的證明。據稱，這一論文已經通過同行評議，即將發表於日本京都大學數理解析研究所出版的Publications of Research Institute for Mathematical Sciences 期刊上。然而該論文漫長且艱深晦澀，而望月又深居簡出，令數學家們議論紛紛。
  • 京都大學宣佈教授望月新一解決「ABC猜想」
    本文全文轉自日本共同社中文網站《共同網》關注 哆嗒數學網 每天獲得更多數學趣文【共同社4月3日電】京都大學3日宣佈，該校數理解析研究所的教授望月新一望月的論文通過了該研究所編撰的國際專業期刊《PRIMS》的審查並被採用。該研究所評價稱「解決了重要且困難的問題」。刊登在期刊上的是望月新構築的4篇關於「宇宙際Teichmüller理論」的論文，長達600頁，從中得出的結論之一是能證明ABC猜想。據稱還有助於證明關於整數的其他未解問題。
  • 數學難題「abc猜想」封印終被開啟
    Scholze公開撰文表示認為這一論證仍存在關鍵漏洞，他說：「除非望月新一進行一些非常實質性的修改，並更好地解釋這一關鍵步驟，否則不應該將其視為證明。」「我真的沒有看到一個使我們更接近abc猜想證明的關鍵思想。」 望月新一的論文也引起了陶哲軒的關注。
  • c語言abc三個數比大小_歷時8年終獲發表,日本數學家證明abc猜想,將...
    曉查 發自 凹非寺 量子位 報導 | 公眾號 QbitAIabc猜想，數學界懸而未決的重要猜想，它的證明過程經過8年的同行評審，終於要在期刊上發表了。論文作者是日本的天才數學家望月新一，他33歲起就在京都大學擔任數學教授。
  • 望月新一的 ABC 猜想證明將發表在其主編的期刊上
    在八年之後，日本京都大學數學家望月新一的 ABC 猜想證明已被接受將發表在其主編的期刊《Publications of the Research Institute for Mathematical Sciences (RIMS)》上。八年前，望月新一發表了長達五六百頁的論文，宣布證明了 ABC 猜想。
  • abc猜想已證明?
    日本東京大學（Kyoto University）的數學家望月新一（Shinichi Mochizuki）發表了一篇長達500頁的論文來證明abc猜想（abc conjecture）。此猜想提出了一個整數之間的關係式，是一個「丟番圖」問題（'Diophantine' problem）。
  • 文化節|abc猜想介紹
    研究進展　　許多數學家都花費了大量的精力試圖證明這一猜想。在2007年，在法國數學家呂西安·施皮羅（Lucien Szpiro）在1978年的研究工作的基礎之上，首次宣布對abc猜想的證明，但很快就發現證明中存在著缺陷。