0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

一種“簡單而全新”的方法證明了黎曼猜想,引發(fā)了全世界數(shù)學家們的關(guān)注

dKBf_eetop_1 ? 來源:未知 ? 作者:李倩 ? 2018-09-27 11:30 ? 次閱讀

一頁PPT證明黎曼猜想

據(jù)中國之聲《新聞縱橫》報道,159年前,德國數(shù)學家黎曼在題為《論小于給定數(shù)值的素數(shù)個數(shù)》的論文中提出的“黎曼猜想”,一直以來被視作“純數(shù)學領(lǐng)域最重要的問題之一”。盡管無數(shù)一流數(shù)學家向證明黎曼猜想發(fā)起沖擊,卻無一人能成功——不過就在昨天(9月24號),著名數(shù)學家、菲爾茲獎和阿貝爾獎雙料得主阿蒂亞爵士或?qū)⒊蔀檫@樣一個劃時代的人物。

德國海德堡當?shù)貢r間9月24號上午,阿蒂亞爵士作為海德堡論壇第二位宣講嘉賓,公布了他對黎曼猜想的證明。他表示,自己基于馮·諾依曼、希策布魯赫和狄拉克等人的成果,使用一種“簡單而全新”的方法證明了黎曼猜想,引發(fā)了全世界數(shù)學家們的關(guān)注。

Michael Atiyah 介紹了素數(shù)研究的歷史以及素數(shù)與黎曼猜想的關(guān)系

45分鐘證明演講中,有30分鐘介紹歷史

長期關(guān)注人工智能、機器學習領(lǐng)域的垂直媒體“機器之心”昨天全程記錄了阿蒂亞爵士在論壇上有關(guān)黎曼猜想的宣講直播。機器之心聯(lián)合創(chuàng)始人、副主編李亞洲向中國之聲介紹說,在9月24號的海德堡獲獎?wù)哒搲?,最受關(guān)注的可能就是阿蒂亞爵士黎曼證明的宣講了,也因為看直播的人數(shù)太多,導(dǎo)致官方直播流崩潰,組織方不得不改用手機直播。其實整個45分鐘演講中,阿蒂亞花了近30分鐘的時間介紹歷史:素數(shù)、黎曼猜想的歷史。中間他也開玩笑說,如果你解決了黎曼猜想,你會出名,但如果你已經(jīng)是個名人,(解黎曼猜想)那就會有聲名狼藉的風險”。

因此,可以看出,雖然已經(jīng)89歲高齡,但阿蒂亞爵士一直在自己的領(lǐng)域努力著。也許,這其實也是阿蒂亞爵士今天想傳達的精神。

“這個證明的對與錯現(xiàn)在還不明確”

在介紹完歷史之后,他就開始介紹Todd函數(shù)以及最核心的一頁PPT(也就是Todd函數(shù)如何幫助證明黎曼猜想的PPT)。阿蒂亞爵士對證明思路的介紹并沒有多少,以至于直播間有人調(diào)侃30分鐘歷史介紹,一頁PPT證明。最后,阿蒂亞爵士給后輩們提供了建議:就是最后一張PPT提到的四個建議,包括運用如今最強大的工具;驗證所有著名的猜想(無論是證明過的還是未證明的);判斷出哪些難題可高效計算出;以及決定哪些難題是有時間做的。

整個直播過程中,Twitter上、直播間中的實時討論與評價,這個證明的對與錯現(xiàn)在還不明確,可能經(jīng)過一段時間的發(fā)酵能看的更清楚。

黎曼ζ 函數(shù)

黎曼猜想到底是啥

黎曼猜想是關(guān)于素數(shù),又叫質(zhì)數(shù)的問題,是為了研究素數(shù)分布規(guī)律?!耙粋€大于1的自然數(shù),除了1和它自身外,不能整除其他自然數(shù)的數(shù)叫做素數(shù)”——這個概念相信很多人第一次接觸是在上小學的時候。雖然定義簡單且容易理解,但是數(shù)學家們卻為尋找一個更為精確地表達公式而不斷努力。

德國數(shù)學家黎曼在《論不超過一個給定值的素數(shù)的個數(shù)》中提出:素數(shù)的分布奧秘與一個復(fù)雜的函數(shù)密切相關(guān),他在文中定義了一個被后世成為“Zeta”的無窮極函數(shù)。黎曼猜測,可能所有非平凡零點都全部位于實部等于1/2的直線上,這條線被稱為臨界線。這就是令后世數(shù)學家魂牽夢繞卻輾轉(zhuǎn)反側(cè)的“黎曼猜想”。

物理學博士、科普作家盧昌海這樣解釋:“黎曼當年提出一個猜想,就是黎曼Zeta函數(shù)的所有的非平凡零點都正好排在復(fù)平面上的一條直線上,那么這條直線被稱為臨界線。雖然表面上看只是關(guān)于一個復(fù)平面函數(shù)的猜想,實際上它是跟素數(shù)分布有非常密切的關(guān)系。”

黎曼猜想若被證明將增加一千多條數(shù)學定理

數(shù)學界的知名難題——黎曼猜想到底有多重要?盧昌海告訴中國之聲記者:“現(xiàn)在數(shù)學界有超過一千條數(shù)學命題,它是以黎曼猜想的成立為前提的,也就是說它的表述都是‘假如一旦猜想或者他的某種廣義形式成立,那么我們可以有這樣一個結(jié)果’。黎曼猜想如果被證明,那么數(shù)學上幾乎一夜之間就可以增添一千多條定理——因為那些原來是有條件成立的命題,就全都變成定理了。如果黎曼猜想被證偽的話,那么估計就是一千多條(定理)里面,其中有一些也就不會成立了。所以反方面的影響也是比較大的。那么對現(xiàn)實應(yīng)用來說,目前據(jù)我所知并沒有什么特別的影響,主要是對純數(shù)學?!?/p>

“世紀之謎”黎曼猜想如何證明?核心論點是什么?在宣講現(xiàn)場,阿蒂亞爵士僅僅寥寥數(shù)頁PPT進行了闡釋。此前有很多人猜測,阿蒂亞爵士會使用量子力學來證明黎曼猜想,但在演講中他表示證明黎曼猜想的是一個名為Todd的函數(shù)。那么黎曼猜想被證明后,有何用處?阿蒂亞爵士的回答是,黎曼猜想能推廣到多種情況,并且一步步得到證明,它的證明對年輕的數(shù)學、計算機科學、邏輯學和物理學研究者非常重要。

物理學博士:尚未看到有分量的專家評價

根據(jù)深科技的報道,阿蒂亞爵士稱,他關(guān)于精細結(jié)構(gòu)常數(shù)α(念阿爾法)的相關(guān)論文已投稿至英國皇家學會。介于這篇文章目前還未經(jīng)過同行審議,一些學者對他的推演過程存疑。同樣,也有學者對此次黎曼猜想的證明過程質(zhì)疑。當然,還一些學者認為,阿蒂亞爵士的思路或為后續(xù)黎曼猜想證明提供了一種新思路。

雖然歷史上也有人曾宣稱自己“證明了黎曼猜想”,但是最終都被發(fā)現(xiàn)存在嚴重的漏洞。如何才能真正證明黎曼猜想?盧昌海昨晚文字回復(fù)中國之聲記者稱,雖然具體方法可以千變?nèi)f化。如果是證明黎曼猜想不成立,則相對“簡單”些,舉出一個反例亦可達到目的。

阿蒂亞結(jié)束演講后,現(xiàn)場響起了熱烈掌聲,然而論證本身最終能否經(jīng)得起考驗,還得通過專家們的苛刻審核。物理學博士、科普作家盧昌海表示,目前尚未看到有分量的專家評價——但考慮到阿蒂亞爵士的身份,如果專家認為這一報告完全不構(gòu)成證明,出于對爵士的敬重他們或許會保持緘默。

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • 人工智能
    +關(guān)注

    關(guān)注

    1789

    文章

    46348

    瀏覽量

    236505
  • 機器學習
    +關(guān)注

    關(guān)注

    66

    文章

    8323

    瀏覽量

    132165

原文標題:“黎曼猜想”被證明? 這個證明的對與錯現(xiàn)在還不明確,學者:未看到有分量專家評價

文章出處:【微信號:eetop-1,微信公眾號:EETOP】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。

收藏 人收藏

    評論

    相關(guān)推薦

    圖靈測試的內(nèi)容是什么_圖靈測試的作用

    圖靈測試(Turing Test)是由英國數(shù)學家和計算機科學家艾倫·麥席森·圖靈(Alan Turing)在1950年提出的一種測試方法,用以判斷機器是否具有人類智能。圖靈測試的核心內(nèi)
    的頭像 發(fā)表于 09-16 16:11 ?679次閱讀

    神經(jīng)網(wǎng)絡(luò)在數(shù)學建模中的應(yīng)用

    數(shù)學建模是一種利用數(shù)學方法和工具來描述和分析現(xiàn)實世界問題的過程。神經(jīng)網(wǎng)絡(luò)是一種模擬人腦神經(jīng)元結(jié)構(gòu)和功能的計算模型,可以用于解決各種復(fù)雜問題。
    的頭像 發(fā)表于 07-02 11:29 ?692次閱讀

    有動靜!先楫出了顆適用機器人的MCU!

    近期,先楫半導(dǎo)體(HPMicro)推出的新款MCU——HPM6E00,引發(fā)了外界的廣泛關(guān)注。這家成立僅四年的公司,憑借“國內(nèi)首款內(nèi)嵌ESC的高性能MCU”,再次證明了其在MCU領(lǐng)域的創(chuàng)新實力。那么
    的頭像 發(fā)表于 07-02 08:17 ?455次閱讀
    有動靜!先楫出了顆適用機器人的MCU!

    基于助聽器開發(fā)的一種高效的語音增強神經(jīng)網(wǎng)絡(luò)

    受限的微控制器單元(microcontroller units,MCU)上,內(nèi)存和計算能力有限。在這項工作中,我們使用模型壓縮技術(shù)來彌補這差距。我們在HW上對RNN施加約束,并描述了一種方法來滿足它們
    發(fā)表于 06-07 11:29

    基于DE1-SOC的String Art實現(xiàn)

    String Art起源于19世紀的數(shù)學家Mary Everest Boole的設(shè)計,隨后發(fā)展成一種利用釘子和線進行作畫的藝術(shù),主要是通過線的稠密度來表現(xiàn)不同的圖案。
    的頭像 發(fā)表于 04-09 11:02 ?416次閱讀
    基于DE1-SOC的String Art實現(xiàn)

    定積分-黎曼和的極限解析

    定積分如果存在就是個具體的數(shù)值,這個精確的定義是黎曼給出的,所以也叫黎曼積分。
    的頭像 發(fā)表于 03-04 09:47 ?4066次閱讀
    定積分-<b class='flag-5'>黎曼</b>和的極限解析

    一種簡單易行的可編程振蕩器構(gòu)建方法

    本文介紹一種簡單易行的可編程振蕩器構(gòu)建方法,其中振蕩頻率和幅度可以通過使用digiPOT來彼此獨立地調(diào)節(jié)。
    發(fā)表于 01-15 10:05 ?195次閱讀
    <b class='flag-5'>一種</b><b class='flag-5'>簡單</b>易行的可編程振蕩器構(gòu)建<b class='flag-5'>方法</b>

    DeepMind論文登上Nature:困擾數(shù)學家幾十年的難題,大模型發(fā)現(xiàn)全新

    的知識嗎? 由于 LLM 已被證明存在「幻覺」問題,即生成與事實不符的信息,因此利用 LLM 來做可驗證的正確發(fā)現(xiàn)是項挑戰(zhàn)。 現(xiàn)在,來自 Google DeepMind 的研究團隊提出了一種
    的頭像 發(fā)表于 12-18 15:55 ?260次閱讀

    IBM的新型模擬內(nèi)存芯片能否證明AI操作的性能和能源效率呢?

    IBM 的新型模擬內(nèi)存芯片證明了 AI 操作的性能和能源效率都是可能的。
    的頭像 發(fā)表于 12-18 10:09 ?608次閱讀

    韓國研究團隊開發(fā)了一種在石墨烯層上生長柔性GaN LED陣列的方法

    外媒消息,韓國首爾國立大學與成均館大學的研究團隊聯(lián)合開發(fā)了一種在石墨烯層上生長柔性GaN LED陣列的方法,通過該技術(shù)研究團隊生長出了LED微型陣列,并稱作微盤陣列(Microdisks arrays)。
    的頭像 發(fā)表于 12-18 10:07 ?834次閱讀

    韓國開發(fā)了一種在石墨烯層上生長柔性GaN LED陣列的方法

    12月11日,外媒消息,韓國首爾國立大學與成均館大學的研究團隊聯(lián)合開發(fā)了一種在石墨烯層上生長柔性GaN LED陣列的方法,通過該技術(shù)研究團隊生長出了LED微型陣列
    的頭像 發(fā)表于 12-13 16:06 ?689次閱讀
    韓國開<b class='flag-5'>發(fā)了</b><b class='flag-5'>一種</b>在石墨烯層上生長柔性GaN LED陣列的<b class='flag-5'>方法</b>

    陶哲軒用 AI 形式化的證明究竟是什么?文看懂 PFR 猜想的前世今生

    正是包括兩位菲爾茲獎獲得者在內(nèi)四位數(shù)學家的堅持,才得以證明了個堪稱「加性組合學圣杯」的猜想,其中 AI 輔助證明起到了不可磨滅的作用。 1
    的頭像 發(fā)表于 12-10 21:45 ?718次閱讀
    陶哲軒用 AI 形式化的<b class='flag-5'>證明</b>究竟是什么?<b class='flag-5'>一</b>文看懂 PFR <b class='flag-5'>猜想</b>的前世今生

    一種產(chǎn)生激光脈沖新方法

    等離子體中脈沖壓縮的概念 英國和韓國的科學家提出了一種產(chǎn)生激光脈沖的新方法,其功率是現(xiàn)有激光脈沖的1000多倍。 科學家使用計算機模擬聯(lián)合
    的頭像 發(fā)表于 12-07 06:32 ?424次閱讀
    <b class='flag-5'>一種</b>產(chǎn)生激光脈沖新<b class='flag-5'>方法</b>

    一種簡單方法來將振蕩器相位噪聲轉(zhuǎn)換為時間抖動

    電子發(fā)燒友網(wǎng)站提供《一種簡單方法來將振蕩器相位噪聲轉(zhuǎn)換為時間抖動.pdf》資料免費下載
    發(fā)表于 11-23 15:15 ?0次下載
    <b class='flag-5'>一種</b><b class='flag-5'>簡單</b>的<b class='flag-5'>方法</b>來將振蕩器相位噪聲轉(zhuǎn)換為時間抖動

    一種產(chǎn)生激光脈沖的新方法

    英國和韓國的科學家提出了一種產(chǎn)生激光脈沖的新方法,其功率是現(xiàn)有激光脈沖的1000多倍。
    的頭像 發(fā)表于 11-20 16:56 ?504次閱讀
    <b class='flag-5'>一種</b>產(chǎn)生激光脈沖的新<b class='flag-5'>方法</b>