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

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

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

中科院以內(nèi)部討論組的形式做了關(guān)于證明黎曼猜想的報(bào)告

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

黎曼猜想被國人證明了?10月13日,82歲北京大學(xué)退休數(shù)學(xué)教授李忠,在中科院以內(nèi)部討論組的形式做了關(guān)于證明黎曼猜想的報(bào)告。此次報(bào)告長(zhǎng)達(dá)2小時(shí),得到了北京大學(xué)數(shù)學(xué)學(xué)院院長(zhǎng)、副院長(zhǎng)等專家十分中肯的評(píng)價(jià),稱“黎曼猜想已被證明”。最終的論文評(píng)估結(jié)果,相信將在不久也會(huì)對(duì)外公布。

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

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

事實(shí)上,“數(shù)學(xué)文化”說的時(shí)間不對(duì),其實(shí)是周六13號(hào)

新智元獲得的最新消息是:北京大學(xué)已經(jīng)退休的李忠教授,10月13日14:30-16:30,在中科院以內(nèi)部討論組的形式做了關(guān)于證明黎曼猜想的報(bào)告。

目前來看報(bào)告已經(jīng)得到了多位數(shù)學(xué)界的大咖的認(rèn)可。

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

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

數(shù)學(xué)家,北京大學(xué)數(shù)學(xué)科學(xué)學(xué)院原副院長(zhǎng),原中國數(shù)學(xué)會(huì)秘書長(zhǎng)彭立中老師評(píng)評(píng)價(jià)說(此評(píng)論后由李忠教授轉(zhuǎn)發(fā)給北大離退休老師群):

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

按照慣例,報(bào)告之后不久,行業(yè)內(nèi)會(huì)對(duì)李忠教授報(bào)告的手稿和論文進(jìn)行評(píng)估,不久之后結(jié)果也會(huì)對(duì)外界公布,期待被載入數(shù)學(xué)史的一刻早點(diǎn)到來。

82歲李忠教授“老將出山”,怕被炒作更換報(bào)告時(shí)間

李忠教授出生于1936年8月,現(xiàn)年82歲,系北京大學(xué)數(shù)學(xué)科學(xué)學(xué)院教授、博士生導(dǎo)師。他在1960年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系,之后一直在北京大學(xué)任教,1987年-1991年擔(dān)任北京大學(xué)數(shù)學(xué)系主任,曾任中國數(shù)學(xué)會(huì)常務(wù)理事兼秘書長(zhǎng)及北京數(shù)學(xué)會(huì)理事長(zhǎng)。他曾獲國家教委科技進(jìn)步獎(jiǎng)一等獎(jiǎng),兩次獲得國家自然科學(xué)獎(jiǎng)三等獎(jiǎng)。被評(píng)為有突出貢獻(xiàn)的中青年專家、國家優(yōu)秀教師。他的主要研究領(lǐng)域?yàn)榛A(chǔ)數(shù)學(xué)復(fù)分析,對(duì)擬共形映射與黎曼曲面的??臻g理論有系統(tǒng)的研究,曾著有《復(fù)分析導(dǎo)引》、《擬共形映射及其在黎曼曲面論中的應(yīng)用》等書。

然而,李忠教授舉行此次黎曼猜想證明報(bào)告會(huì)并非一帆風(fēng)順。

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

微博大V“數(shù)學(xué)文化”發(fā)布李忠教授黎曼猜想證明報(bào)告會(huì)消息

消息一出,便在網(wǎng)絡(luò)引起了不小的轟動(dòng),受到了來自學(xué)術(shù)界、媒體界等各方面的關(guān)注。

然而,事與愿違,10月11日,李忠教授取消了這場(chǎng)討論會(huì)。

中科院數(shù)學(xué)院南樓一樓大廳通告

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

新智元當(dāng)天到現(xiàn)場(chǎng)的N913室,教室本應(yīng)坐滿慕名前來想要見證歷史性時(shí)刻的“觀眾”,但在下午2:40仍只有幾個(gè)學(xué)生坐在那里自習(xí)。

根據(jù)接待老師的說法,本次所謂的黎曼猜想證明報(bào)告會(huì),并非網(wǎng)絡(luò)中所傳播的那般正式,只是李忠教授想要與幾位學(xué)者坐下來共同探討一下這個(gè)問題。而經(jīng)網(wǎng)絡(luò)宣傳,卻被傳播成了像前幾日阿蒂亞爵士那樣的證明報(bào)告會(huì)。

然而,在場(chǎng)的一位不愿透露姓名的教授,在表達(dá)了他失望的同時(shí)也表示非常憤怒,“不論是誰的責(zé)任,都不應(yīng)該拿科學(xué)開玩笑”。

就在群眾以為又是一次烏龍事件時(shí),劇情開始反轉(zhuǎn):李忠教授還是舉辦了這次證明報(bào)告會(huì),只是更改了報(bào)告時(shí)間。

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

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

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

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

難點(diǎn)二:關(guān)于zeta函數(shù),目前的結(jié)論集中在function equation,即modularity,即Langlands層面。但RH是一個(gè)更高層面的結(jié)論。

難點(diǎn)三:很難說出RH在模形式那邊的對(duì)應(yīng)物。

難點(diǎn)四:我們會(huì)證某些RH的類似物,但不知道怎么把結(jié)果轉(zhuǎn)化到數(shù)域上。

90歲高齡的英國數(shù)學(xué)家阿蒂亞爵士于9月20日宣稱證明出黎曼猜想,數(shù)學(xué)界為之一震。而9月24日,當(dāng)阿蒂亞爵士?jī)H用5頁論文對(duì)其論證過后,外界反響并沒有想象中的那般轟動(dòng)。許多專家對(duì)他的證明結(jié)果選擇緘默不言。而目前看來,外界普遍的觀點(diǎn)還是不嚴(yán)整。

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

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

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

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

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

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

事實(shí)上,對(duì)于學(xué)術(shù),無論成敗,探索精神都是前提。在探索真理的道路中,失敗的經(jīng)驗(yàn)并非毫無價(jià)值。若失敗,也能讓后來者在探索的道路上避開這些障礙。

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

1981年,荷蘭三位數(shù)學(xué)家J.van de Lune、H.J.Riele te以及D.T.Winter用電子計(jì)算機(jī)來檢驗(yàn)黎曼的假設(shè),他們對(duì)最初的2億個(gè)齊打函數(shù)的零點(diǎn)檢驗(yàn),證明黎曼的假設(shè)是對(duì)的;

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

……

2018年,鈕鵬程,西北工業(yè)大學(xué)應(yīng)用數(shù)學(xué)系教授,討論了Riemann zeta函數(shù)的非平凡零點(diǎn)的性質(zhì)。

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

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

    關(guān)注

    3

    文章

    4235

    瀏覽量

    61965
  • 數(shù)學(xué)
    +關(guān)注

    關(guān)注

    0

    文章

    99

    瀏覽量

    19171

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

文章出處:【微信號(hào):AI_era,微信公眾號(hào):新智元】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。

收藏 人收藏

    評(píng)論

    相關(guān)推薦

    開啟全新AI時(shí)代 智能嵌入式系統(tǒng)快速發(fā)展——“第六屆國產(chǎn)嵌入式操作系統(tǒng)技術(shù)與產(chǎn)業(yè)發(fā)展論壇”圓滿結(jié)束

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

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

    CPU始于中科院計(jì)算所內(nèi)部的“Godson CPU設(shè)計(jì)與驗(yàn)證系統(tǒng)”科研項(xiàng)目,2000年11月龍芯設(shè)計(jì)工作正式啟動(dòng),2001年5月龍芯課題正式組建成立。2002年8月10日,中國首款通用CPU龍芯1號(hào)
    發(fā)表于 08-12 21:21

    中科院重慶研究在勢(shì)壘可光調(diào)諧新型肖特基紅外探測(cè)器研究獲進(jìn)展

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

    中科院半導(dǎo)體所在高性能電泵浦拓?fù)浼す馄餮邪l(fā)方面獲進(jìn)展

    優(yōu)點(diǎn)成為研究熱點(diǎn),但基于電注入的拓?fù)浼す馄魅蕴幱谘芯科鸩诫A段。因此,發(fā)展出提高電泵浦拓?fù)浼す馄鬏敵龉β实脑O(shè)計(jì)思路和技術(shù)方案至關(guān)重要。 近期,中科院半導(dǎo)體研究所研究員劉峰奇團(tuán)隊(duì)在高性能電泵浦拓?fù)浼す馄餮邪l(fā)方面取得進(jìn)展。該研究創(chuàng)新性
    的頭像 發(fā)表于 06-18 06:33 ?212次閱讀
    <b class='flag-5'>中科院</b>半導(dǎo)體所在高性能電泵浦拓?fù)浼す馄餮邪l(fā)方面獲進(jìn)展

    事關(guān)固態(tài)電池,中科院大消息!解決行業(yè)瓶頸,突破最后一道難關(guān)

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

    中科加禾完成天使輪數(shù)千萬元融資,專注編譯技術(shù),推動(dòng)國產(chǎn)算力和大數(shù)據(jù)發(fā)展

    創(chuàng)辦于2023年的中科加禾,依托中科院計(jì)算所的雄厚科技實(shí)力,傾心于編譯技術(shù),旨在填補(bǔ)國產(chǎn)芯片生態(tài)系統(tǒng)的空缺,助力國產(chǎn)算力和大模型應(yīng)用推廣,推動(dòng)我國人工智能產(chǎn)業(yè)的快速發(fā)展。其主營業(yè)務(wù)涵蓋大模型訓(xùn)練推理加速及算子自動(dòng)生成工具兩大板塊。
    的頭像 發(fā)表于 03-19 16:49 ?878次閱讀

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

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

    湖南大學(xué)校長(zhǎng)、王耀南院士一行赴中科億海微調(diào)研指導(dǎo)

    、企業(yè)文化及發(fā)展概況,雙方就半導(dǎo)體芯片領(lǐng)域國家戰(zhàn)略需求、未來產(chǎn)業(yè)合作等方面開展深入座談交流。中科億海微主要從事可編程芯片及可重構(gòu)系統(tǒng)產(chǎn)品研發(fā)及產(chǎn)業(yè)化,核心團(tuán)隊(duì)來自中科院
    的頭像 發(fā)表于 02-19 12:17 ?596次閱讀
    湖南大學(xué)校長(zhǎng)、王耀南院士一行赴<b class='flag-5'>中科</b>億海微調(diào)研指導(dǎo)

    國產(chǎn)FPGA:湖南大學(xué)段獻(xiàn)忠校長(zhǎng)、王耀南院士一行赴中科億海微調(diào)研指導(dǎo)

    、企業(yè)文化及發(fā)展概況,雙方就半導(dǎo)體芯片領(lǐng)域國家戰(zhàn)略需求、未來產(chǎn)業(yè)合作等方面開展深入座談交流。中科億海微主要從事國產(chǎn)FPGA芯片及可重構(gòu)系統(tǒng)產(chǎn)品研發(fā)及產(chǎn)業(yè)化,核心團(tuán)隊(duì)來自于中科院空天,公司多名高管及技術(shù)骨干均是
    的頭像 發(fā)表于 02-04 10:10 ?807次閱讀

    龍芯中科中科信息簽訂合作框架協(xié)議

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

    產(chǎn)學(xué)研三界頂級(jí)大咖分享:RISC-V場(chǎng)景Show暨開源生態(tài)高級(jí)別論壇定檔12/19

    12月19日,RISC-V場(chǎng)景Show暨開源生態(tài)高級(jí)別論壇即將開幕。本次論壇將邀請(qǐng)來自中科院計(jì)算技術(shù)研究所副所長(zhǎng)包云崗、嘉楠科技AI軟件總監(jiān)張曉晶、阿里巴巴達(dá)摩生態(tài)總監(jiān)陳煒、清華大學(xué)長(zhǎng)聘副教授陳渝
    發(fā)表于 12-15 18:36

    恭喜昊芯,上榜2023中國科學(xué)院科創(chuàng)企業(yè)先鋒榜單

    新聞來源:中科院科技創(chuàng)新投資產(chǎn)業(yè)聯(lián)盟在12月8日舉辦的中科院科技創(chuàng)新投資產(chǎn)業(yè)聯(lián)盟2023年會(huì)上,中科院科技創(chuàng)新投資產(chǎn)業(yè)聯(lián)盟發(fā)布中國科學(xué)院科創(chuàng)企業(yè)先鋒榜單,30強(qiáng)科創(chuàng)先鋒企業(yè)出爐。榜單由中國科學(xué)院控股
    的頭像 發(fā)表于 12-15 08:03 ?1305次閱讀
    恭喜昊芯,上榜2023中國科學(xué)院科創(chuàng)企業(yè)先鋒榜單

    中科億海微榮登中國科學(xué)院優(yōu)秀科創(chuàng)企業(yè)榜

    近日中科院科技創(chuàng)新投資產(chǎn)業(yè)聯(lián)盟2023年會(huì)上,中科院科技創(chuàng)新投資產(chǎn)業(yè)聯(lián)盟發(fā)布中國科學(xué)院科創(chuàng)企業(yè)先鋒榜單,中科億海微電子科技(蘇州)有限公司(簡(jiǎn)稱中科億海微)位列“優(yōu)秀科創(chuàng)企業(yè)”TOP1
    的頭像 發(fā)表于 12-14 08:11 ?552次閱讀
    <b class='flag-5'>中科</b>億海微榮登中國科學(xué)院優(yōu)秀科創(chuàng)企業(yè)榜

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

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

    中科昊芯完成Pre-B輪融資,用于DSP產(chǎn)品研發(fā)等

    作為中科院科技成果的轉(zhuǎn)換企業(yè),中科昊芯以開源指令集risc-v為基礎(chǔ),制造了多系列數(shù)字信號(hào)處理器產(chǎn)品,構(gòu)建了完善的處理器產(chǎn)品生態(tài)系統(tǒng)。產(chǎn)品廣泛應(yīng)用于工業(yè)控制及電機(jī)驅(qū)動(dòng)、數(shù)字電源、光伏、儲(chǔ)能、新能源汽車、消費(fèi)電子、白色家電等領(lǐng)域。
    的頭像 發(fā)表于 12-06 14:39 ?924次閱讀