精品国产人成在线_亚洲高清无码在线观看_国产在线视频国产永久2021_国产AV综合第一页一个的一区免费影院黑人_最近中文字幕MV高清在线视频

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

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

3天內不再提示

中科院以內部討論組的形式做了關于證明黎曼猜想的報告

DPVg_AI_era ? 來源:未知 ? 作者:李倩 ? 2018-10-18 10:33 ? 次閱讀

黎曼猜想被國人證明了?10月13日,82歲北京大學退休數學教授李忠,在中科院以內部討論組的形式做了關于證明黎曼猜想的報告。此次報告長達2小時,得到了北京大學數學學院院長、副院長等專家十分中肯的評價,稱“黎曼猜想已被證明”。最終的論文評估結果,相信將在不久也會對外公布。

黎曼猜想被中國人證明了?!

上周六,名為“數學文化”(微博認證為:數學文化主編、南方科技大學數學教授湯濤院士)的微博發布消息:據說李鐘教授已經在中科院數學所南樓做了用Reich定理證明黎曼猜想的報告,希望結果正確!

事實上,“數學文化”說的時間不對,其實是周六13號

新智元獲得的最新消息是:北京大學已經退休的李忠教授,10月13日14:30-16:30,在中科院以內部討論組的形式做了關于證明黎曼猜想的報告。

目前來看報告已經得到了多位數學界的大咖的認可。

數學家、北京大學數學科學學院教授鄭忠國表示黎曼猜想已被證明。鄭教授寫道:

李忠利用Riech度量嚴格證明了黎曼假設。他的證明與數學家Atiyah(阿蒂亞老爵爺,此前曾做過黎曼猜想證明的報告)證明的關系可以簡述如下:兩人的思路相同,但Atiyah用一個量不合適,嚴格意義上證明是不完全的。李忠利用Riech度量以后證明就嚴格了。

數學家,北京大學數學科學學院原副院長,原中國數學會秘書長彭立中老師評評價說(此評論后由李忠教授轉發給北大離退休老師群):

定義Riech度量(李-度量),證明Atiyah常數在該度量下是有限的數學常數,從而完成了RH之證明。李早于Atiyah證明了黎曼函數在李-度量下有界,從而RH成立。

按照慣例,報告之后不久,行業內會對李忠教授報告的手稿和論文進行評估,不久之后結果也會對外界公布,期待被載入數學史的一刻早點到來。

82歲李忠教授“老將出山”,怕被炒作更換報告時間

李忠教授出生于1936年8月,現年82歲,系北京大學數學科學學院教授、博士生導師。他在1960年畢業于北京大學數學力學系,之后一直在北京大學任教,1987年-1991年擔任北京大學數學系主任,曾任中國數學會常務理事兼秘書長及北京數學會理事長。他曾獲國家教委科技進步獎一等獎,兩次獲得國家自然科學獎三等獎。被評為有突出貢獻的中青年專家、國家優秀教師。他的主要研究領域為基礎數學復分析,對擬共形映射與黎曼曲面的??臻g理論有系統的研究,曾著有《復分析導引》、《擬共形映射及其在黎曼曲面論中的應用》等書。

然而,李忠教授舉行此次黎曼猜想證明報告會并非一帆風順。

上周二(10月9日)上午,“數學文化”也發布一則信息稱,李忠教授將于10月11日下午2點半在中科院數學院南樓N913室,進行為期2小時的黎曼猜想全新證明。

微博大V“數學文化”發布李忠教授黎曼猜想證明報告會消息

消息一出,便在網絡引起了不小的轟動,受到了來自學術界、媒體界等各方面的關注。

然而,事與愿違,10月11日,李忠教授取消了這場討論會。

中科院數學院南樓一樓大廳通告

N913室門口公告:討論班取消

新智元當天到現場的N913室,教室本應坐滿慕名前來想要見證歷史性時刻的“觀眾”,但在下午2:40仍只有幾個學生坐在那里自習。

根據接待老師的說法,本次所謂的黎曼猜想證明報告會,并非網絡中所傳播的那般正式,只是李忠教授想要與幾位學者坐下來共同探討一下這個問題。而經網絡宣傳,卻被傳播成了像前幾日阿蒂亞爵士那樣的證明報告會。

然而,在場的一位不愿透露姓名的教授,在表達了他失望的同時也表示非常憤怒,“不論是誰的責任,都不應該拿科學開玩笑”。

就在群眾以為又是一次烏龍事件時,劇情開始反轉:李忠教授還是舉辦了這次證明報告會,只是更改了報告時間。

而李忠教授本人表示:“不愿意炒作,才更改了報告的時間”。

李忠教授要“證明”黎曼猜想,為何引起如此波瀾?

“黎曼猜想” 是數學界迄今最重要的猜想之一,被克雷數學研究所列為 “有待解決的七大千禧問題”。而黎曼猜想為何如此難證,主要原因如下:

難點一:如果黎曼猜想(RH)被證否,并不會有特別嚴重的后果。

難點二:關于zeta函數,目前的結論集中在function equation,即modularity,即Langlands層面。但RH是一個更高層面的結論。

難點三:很難說出RH在模形式那邊的對應物。

難點四:我們會證某些RH的類似物,但不知道怎么把結果轉化到數域上。

90歲高齡的英國數學家阿蒂亞爵士于9月20日宣稱證明出黎曼猜想,數學界為之一震。而9月24日,當阿蒂亞爵士僅用5頁論文對其論證過后,外界反響并沒有想象中的那般轟動。許多專家對他的證明結果選擇緘默不言。而目前看來,外界普遍的觀點還是不嚴整。

而就在此事余溫尚存之際,同樣是高齡的著名數學家,并且還是國人,就必然會引起一番熱潮,盡管這份期待可能會非常謹慎。而更重要的是,這張網絡瘋傳的報告預告中赫然寫著“全新證明”、“所有步驟有嚴格詳細解釋與證明”,這些描述從讀者角度看來,正是比阿蒂亞爵士更勝一籌。

無論哪一方面,都會引起人們莫大的興趣。

探索精神永存,可以讓“被證明了”再多一點

真正從事學術研究的或許只是極少一部分,但對真理的好奇與探求卻不只是學者的專利。

此前,阿蒂亞爵士公布黎曼猜想的證明過程不僅僅引發了一場數學界的地震,更吸引了更多平時與數學看似毫無關系的人的注意。如今李忠教授試圖證明黎曼猜想這一消息所引起的熱度也印證了這一點。

與現年90歲的阿蒂亞爵士相似,李忠也是高齡學者。在公布要挑戰證明黎曼猜想時,不乏有唱衰者。

事實上,對于學術,無論成敗,探索精神都是前提。在探索真理的道路中,失敗的經驗并非毫無價值。若失敗,也能讓后來者在探索的道路上避開這些障礙。

自1859年黎曼猜想誕生以來,無數數學巨匠為之付出了心血。但這條破解之路上,雖然沒人完全取得成功,但在這一過程中數學家們也為破解這一難題提供了很多思路與方法,例如:

1981年,荷蘭三位數學家J.van de Lune、H.J.Riele te以及D.T.Winter用電子計算機來檢驗黎曼的假設,他們對最初的2億個齊打函數的零點檢驗,證明黎曼的假設是對的;

1982年,前蘇聯數學家馬帝葉雪維奇在前蘇聯雜志《Kibernetika》宣布,他利用電腦檢驗一個與黎曼猜想有關的數學問題,可以證明該問題是正確的,從而反過來可以支持黎曼的猜想很可能是正確的;

……

2018年,鈕鵬程,西北工業大學應用數學系教授,討論了Riemann zeta函數的非平凡零點的性質。

159年間,無數國內外數學家前赴后繼地前去探索而后倒下,阿蒂亞爵士和李忠教授都不會是最后一位,還會有后來人。

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 函數
    +關注

    關注

    3

    文章

    4308

    瀏覽量

    62442
  • 數學
    +關注

    關注

    0

    文章

    99

    瀏覽量

    19225

原文標題:黎曼猜想被中國人證明?!82歲北大退休教授李忠做報告,但先別定論

文章出處:【微信號:AI_era,微信公眾號:新智元】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏

    評論

    相關推薦

    開啟全新AI時代 智能嵌入式系統快速發展——“第六屆國產嵌入式操作系統技術與產業發展論壇”圓滿結束

    計算機學院牛建偉教授主持。 中科院軟件所副所長、總工程師,武延軍研究員做了“AI大模型時代下的操作系統發展思考”主題演講。 武延軍介紹了操作系統的發展歷程,指出應用的高速發展給操作系統帶來的算力和數
    發表于 08-30 17:24

    【龍芯2K0300蜂鳥板試用】1 龍芯中科必知3件事

    CPU始于中科院計算所內部的“Godson CPU設計與驗證系統”科研項目,2000年11月龍芯設計工作正式啟動,2001年5月龍芯課題正式組建成立。2002年8月10日,中國首款通用CPU龍芯1號
    發表于 08-12 21:21

    中科院重慶研究在勢壘可光調諧新型肖特基紅外探測器研究獲進展

    傳統肖特基探測器和勢壘可光調諧的肖特基紅外探測器的對比 近日,中科院重慶綠色智能技術研究微納制造與系統集成研究中心在《創新》(The Innovation)上發表了題為Schottky
    的頭像 發表于 06-25 06:27 ?269次閱讀
    <b class='flag-5'>中科院</b>重慶研究<b class='flag-5'>院</b>在勢壘可光調諧新型肖特基紅外探測器研究獲進展

    中科院半導體所在高性能電泵浦拓撲激光器研發方面獲進展

    優點成為研究熱點,但基于電注入的拓撲激光器仍處于研究起步階段。因此,發展出提高電泵浦拓撲激光器輸出功率的設計思路和技術方案至關重要。 近期,中科院半導體研究所研究員劉峰奇團隊在高性能電泵浦拓撲激光器研發方面取得進展。該研究創新性
    的頭像 發表于 06-18 06:33 ?330次閱讀
    <b class='flag-5'>中科院</b>半導體所在高性能電泵浦拓撲激光器研發方面獲進展

    事關固態電池,中科院大消息!解決行業瓶頸,突破最后一道難關

    行業芯事行業資訊
    北京中科同志科技股份有限公司
    發布于 :2024年04月12日 09:03:24

    中科加禾完成天使輪數千萬元融資,專注編譯技術,推動國產算力和大數據發展

    創辦于2023年的中科加禾,依托中科院計算所的雄厚科技實力,傾心于編譯技術,旨在填補國產芯片生態系統的空缺,助力國產算力和大模型應用推廣,推動我國人工智能產業的快速發展。其主營業務涵蓋大模型訓練推理加速及算子自動生成工具兩大板塊。
    的頭像 發表于 03-19 16:49 ?1057次閱讀

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

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

    湖南大學校長、王耀南院士一行赴中科億海微調研指導

    、企業文化及發展概況,雙方就半導體芯片領域國家戰略需求、未來產業合作等方面開展深入座談交流。中科億海微主要從事可編程芯片及可重構系統產品研發及產業化,核心團隊來自中科院
    的頭像 發表于 02-19 12:17 ?798次閱讀
    湖南大學校長、王耀南院士一行赴<b class='flag-5'>中科</b>億海微調研指導

    國產FPGA:湖南大學段獻忠校長、王耀南院士一行赴中科億海微調研指導

    、企業文化及發展概況,雙方就半導體芯片領域國家戰略需求、未來產業合作等方面開展深入座談交流。中科億海微主要從事國產FPGA芯片及可重構系統產品研發及產業化,核心團隊來自于中科院空天,公司多名高管及技術骨干均是
    的頭像 發表于 02-04 10:10 ?906次閱讀

    龍芯中科中科信息簽訂合作框架協議

    1月24日,龍芯中科技術股份有限公司與中科院成都信息技術股份有限公司(以下簡稱“中科信息”)合作框架簽約儀式在成都興隆湖畔科學城園區舉行。
    的頭像 發表于 01-26 11:44 ?798次閱讀

    產學研三界頂級大咖分享:RISC-V場景Show暨開源生態高級別論壇定檔12/19

    12月19日,RISC-V場景Show暨開源生態高級別論壇即將開幕。本次論壇將邀請來自中科院計算技術研究所副所長包云崗、嘉楠科技AI軟件總監張曉晶、阿里巴巴達摩生態總監陳煒、清華大學長聘副教授陳渝
    發表于 12-15 18:36

    恭喜昊芯,上榜2023中國科學院科創企業先鋒榜單

    新聞來源:中科院科技創新投資產業聯盟在12月8日舉辦的中科院科技創新投資產業聯盟2023年會上,中科院科技創新投資產業聯盟發布中國科學院科創企業先鋒榜單,30強科創先鋒企業出爐。榜單由中國科學院控股
    的頭像 發表于 12-15 08:03 ?1486次閱讀
    恭喜昊芯,上榜2023中國科學院科創企業先鋒榜單

    中科億海微榮登中國科學院優秀科創企業榜

    近日中科院科技創新投資產業聯盟2023年會上,中科院科技創新投資產業聯盟發布中國科學院科創企業先鋒榜單,中科億海微電子科技(蘇州)有限公司(簡稱中科億海微)位列“優秀科創企業”TOP1
    的頭像 發表于 12-14 08:11 ?680次閱讀
    <b class='flag-5'>中科</b>億海微榮登中國科學院優秀科創企業榜

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

    宣布:對多項式 Freiman-Ruzsa 猜想(PFR)的證明進行形式化的 Lean4 項目成功完成,并且耗時僅三周時間,其依賴圖的全部節點都帶上了「可愛的綠色陰影」。 Lean 編譯器也
    的頭像 發表于 12-10 21:45 ?755次閱讀
    陶哲軒用 AI <b class='flag-5'>形式</b>化的<b class='flag-5'>證明</b>究竟是什么?一文看懂 PFR <b class='flag-5'>猜想</b>的前世今生

    中科昊芯完成Pre-B輪融資,用于DSP產品研發等

    作為中科院科技成果的轉換企業,中科昊芯以開源指令集risc-v為基礎,制造了多系列數字信號處理器產品,構建了完善的處理器產品生態系統。產品廣泛應用于工業控制及電機驅動、數字電源、光伏、儲能、新能源汽車、消費電子、白色家電等領域。
    的頭像 發表于 12-06 14:39 ?1276次閱讀