www.久久久久|狼友网站av天堂|精品国产无码a片|一级av色欲av|91在线播放视频|亚洲无码主播在线|国产精品草久在线|明星AV网站在线|污污内射久久一区|婷婷综合视频网站

當(dāng)前位置:首頁(yè) > 公眾號(hào)精選 > AI科技大本營(yíng)
[導(dǎo)讀]整理?|禾木木出品|?AI科技大本營(yíng)(ID:rgznai100)從20世紀(jì)60年代以來(lái),數(shù)學(xué)家們開(kāi)始使用計(jì)算機(jī)幫助發(fā)現(xiàn)規(guī)律和提出猜想,但人工智能系統(tǒng)尚未普遍應(yīng)用于理論數(shù)學(xué)研究領(lǐng)域。近日,人工智能研究實(shí)驗(yàn)室DeepMind公布了與數(shù)學(xué)家合作的最新成果,本次成果也展示了更多的可能性,...



整理 | 禾木木出品 | AI科技大本營(yíng)(ID:rgznai100)從 20 世紀(jì) 60 年代以來(lái),數(shù)學(xué)家們開(kāi)始使用計(jì)算機(jī)幫助發(fā)現(xiàn)規(guī)律和提出猜想,但人工智能系統(tǒng)尚未普遍應(yīng)用于理論數(shù)學(xué)研究領(lǐng)域。近日,人工智能研究實(shí)驗(yàn)室 DeepMind 公布了與數(shù)學(xué)家合作的最新成果,本次成果也展示了更多的可能性,計(jì)算機(jī)科學(xué)家和數(shù)學(xué)家們首次使用人工智能來(lái)幫助證明或提出新的數(shù)學(xué)定理。DeepMind聲稱人工智能技術(shù)有助于為以前未解決的難題提出新的公式,以及通過(guò)研究答案的結(jié)構(gòu)闡明的不同數(shù)學(xué)領(lǐng)域之間的聯(lián)系。DeepMind 的人工智能實(shí)驗(yàn)涵蓋了可以在《星際爭(zhēng)霸 II 》中獲勝的系統(tǒng),以及用于應(yīng)用程序推薦和數(shù)據(jù)中心散熱優(yōu)化的機(jī)器學(xué)習(xí)模型。今年,DeepMind 的聯(lián)合創(chuàng)始人 Demis Hassabis 宣布推出 Isomorphic Labs,該實(shí)驗(yàn)室將使用機(jī)器學(xué)習(xí)來(lái)識(shí)別迄今為止研究人員無(wú)法進(jìn)行的疾病治療。另外,該實(shí)驗(yàn)室將重點(diǎn)關(guān)注在天氣預(yù)報(bào)、材料建模和原子能計(jì)算領(lǐng)域的工作。


DeepMind 機(jī)器學(xué)習(xí)專家 Alex Davies 在一份聲明中表示:“在 DeepMind,我們相信人工智能技術(shù)已經(jīng)足以對(duì)不同種類的學(xué)科的進(jìn)步有基礎(chǔ)性影響?!薄皵?shù)學(xué)這門(mén)學(xué)科就是一個(gè)例子,我們希望可以激勵(lì)其他研究人員將人工智能作為該領(lǐng)域有用的技術(shù)?!?/span>



將人工智能應(yīng)用于數(shù)學(xué)

DeepMind 并不是第一個(gè)將人工智能應(yīng)用于數(shù)學(xué)的公司,拋開(kāi)數(shù)學(xué)是所有人工智能系統(tǒng)的基礎(chǔ)這一事實(shí)。2020年,微軟的人工智能研究實(shí)驗(yàn)室 OpenAI 推出了 GPT-f,這是 Metamath 形式化語(yǔ)言的自動(dòng)證明器和證明助手。在數(shù)學(xué)中,「證明」是指試圖證明某個(gè)陳述為真的邏輯論證。GPT-f 的發(fā)現(xiàn)被數(shù)學(xué)界接受,當(dāng)時(shí)的研究人員稱這是一項(xiàng)歷史性的成就。最近,來(lái)自以色列理工學(xué)院和谷歌的一組研究人員提出了一種為 Ramanujan 自動(dòng)推測(cè)系統(tǒng),該系統(tǒng)提出了數(shù)學(xué)中出現(xiàn)的通用常數(shù)的原始公式。機(jī)器創(chuàng)建的其中一個(gè)公式可用于計(jì)算稱為Catalan's 的常數(shù)的值,比任何人類發(fā)現(xiàn)的公式更有效。然而,從表面上看,DeepMind 的工作與眾不同之處在于它通過(guò)監(jiān)督學(xué)習(xí)檢測(cè)數(shù)學(xué)中模式的存在,并通過(guò)人工智能的歸因技術(shù)深入了解這些模式。監(jiān)督學(xué)習(xí)的定義是通過(guò)使用標(biāo)記數(shù)據(jù)集訓(xùn)練算法,來(lái)對(duì)數(shù)據(jù)進(jìn)行分類、預(yù)測(cè)結(jié)果等,并且它已應(yīng)用于欺詐檢測(cè)、銷售預(yù)測(cè)和庫(kù)存優(yōu)化等領(lǐng)域。近日,發(fā)表在著名的科學(xué)雜志Nature上,其論文標(biāo)題為“Advancing mathematics by guiding human intuition with AI”(人類直覺(jué)與AI推動(dòng)數(shù)學(xué)的前進(jìn))。在該論文中,作者團(tuán)隊(duì)提出采用一種機(jī)器學(xué)習(xí)模型,來(lái)發(fā)現(xiàn)數(shù)學(xué)對(duì)象之間的潛在模式和關(guān)聯(lián),用歸因技術(shù)加以輔助理解,并利用這些觀察進(jìn)一步指導(dǎo)直覺(jué)思維和提出猜想的過(guò)程。喬迪·威廉姆森教授(Geordie Williamson)是悉尼大學(xué)數(shù)學(xué)研究所所長(zhǎng),也是世界上最重要的數(shù)學(xué)家之一,他在純數(shù)學(xué)領(lǐng)域有著非凡的成績(jī)。作為該論文的合著者,他成功發(fā)揮Deep Mind的人工智能力量,在其的專業(yè)領(lǐng)域——表象理論中展開(kāi)了大膽的探索猜想。近40年來(lái)進(jìn)展,組合不變性猜想指出,部分有向圖和多項(xiàng)式之間存在關(guān)系。(有向圖是由邊連接的一組頂點(diǎn),每個(gè)節(jié)點(diǎn)都有一個(gè)與之關(guān)聯(lián)的方向。)使用機(jī)器學(xué)習(xí)技術(shù),DeepMind 能夠確信這種關(guān)系確實(shí)存在,并假設(shè)它可能是相關(guān)到“二面角間隔”和“外部反射”的結(jié)構(gòu)。憑借這些知識(shí),Williamson教授創(chuàng)建一種算法來(lái)解決組合不變性猜想,DeepMind 在超過(guò)300萬(wàn)個(gè)例子匯總進(jìn)行了計(jì)算驗(yàn)證。正如 Geordie Williamson 教授所說(shuō):“數(shù)學(xué)問(wèn)題一度被認(rèn)為是最具智力挑戰(zhàn)性的問(wèn)題……雖然數(shù)學(xué)家們已經(jīng)使用ML來(lái)幫助分析復(fù)雜的數(shù)據(jù)集,但這是我們第一次使用計(jì)算機(jī)來(lái)輔助形成猜想,或?yàn)閿?shù)學(xué)中未經(jīng)證實(shí)的想法提出可能的突破路線?!?/span>本文還詳細(xì)介紹了 DeepMind 與牛津大學(xué)的 Marc Lackeby 教授和 András Juhász 教授的合作,則進(jìn)一步研究了這一過(guò)程。他們發(fā)現(xiàn)了紐結(jié)的代數(shù)和幾何不變量之間驚人的關(guān)聯(lián),建立了數(shù)學(xué)中一個(gè)全新的定理。這些不變量有許多不同的推導(dǎo)方式,研究團(tuán)隊(duì)將目標(biāo)主要聚焦在兩大類:雙曲不變量和代數(shù)不變量。兩者來(lái)自完全不同的學(xué)科,增加了研究的挑戰(zhàn)性和趣味性。研究團(tuán)隊(duì)假設(shè),在一個(gè)扭結(jié)的雙曲不變量和代數(shù)不變量之間存在著一種未被發(fā)現(xiàn)的關(guān)系。監(jiān)督學(xué)習(xí)模型能夠檢測(cè)到大量幾何不變量和簽名之間存在的模式。在紐結(jié)理論中,不變量不僅用于解決扭結(jié)之間的區(qū)別問(wèn)題,還可以幫助數(shù)學(xué)家理解紐結(jié)的性質(zhì),以及它是如何與數(shù)學(xué)的其他分支相聯(lián)系的。Lackeby 教授也表示:“使用ML來(lái)發(fā)現(xiàn)數(shù)學(xué)不同領(lǐng)域之間新穎和意想不到的聯(lián)系,一直是一件很有趣的事情。我相信,我們?cè)谂=虼髮W(xué)和悉尼大學(xué)與 DeepMind 聯(lián)合完成的工作中足以證明,ML可以成為數(shù)學(xué)研究中真正有用的工具?!?/span>



結(jié)語(yǔ)

DeepMind 認(rèn)為,Nature 論文以及尚未發(fā)布的每個(gè)結(jié)果的配套論文證明了機(jī)器學(xué)習(xí)作為數(shù)學(xué)研究工具的有用性。該實(shí)驗(yàn)室稱,人工智能擅長(zhǎng)識(shí)別和發(fā)現(xiàn)數(shù)據(jù)模式,甚至超過(guò)了人類數(shù)學(xué)專家的能力。DeepMind 在一篇博客文章中寫(xiě)道“在數(shù)學(xué)中尋找模式變得更加重要,因?yàn)楝F(xiàn)在可以生成比數(shù)學(xué)家一直在研究的合理期望研究的更多數(shù)據(jù)。例如,一些具有數(shù)千個(gè)維度的對(duì)象,或是太深?yuàn)W而無(wú)法直接進(jìn)行推理的數(shù)據(jù)??紤]到這些限制,我們相信人工智能將以全新的方式增強(qiáng)數(shù)學(xué)家的洞察力?!?/span>沒(méi)有參與這項(xiàng)研究的 Queen Mary 大學(xué)的 Simon Colton 表示“這可能是深度學(xué)習(xí)技術(shù)第一次被用于數(shù)學(xué)發(fā)現(xiàn)。但他也在質(zhì)疑數(shù)學(xué)家是否希望機(jī)器學(xué)習(xí)系統(tǒng)在項(xiàng)目中發(fā)揮創(chuàng)造性的領(lǐng)導(dǎo)作用。”“當(dāng)我和數(shù)學(xué)家一起工作時(shí),很明顯的一點(diǎn)是,他們很高興 AI 系統(tǒng)能夠證明例如引理和邊際條件等小事,并根據(jù)計(jì)算機(jī)代數(shù)系統(tǒng)進(jìn)行大量計(jì)算。但是,他們對(duì) AI 系統(tǒng)證明重要結(jié)果(尤其是在他們無(wú)法理解證明的情況下)或概念發(fā)明感到不滿意,因?yàn)檫@是他們工作中的創(chuàng)造性部分,”Colton 表示?!俺嗣黠@的例外,純數(shù)學(xué)中的絕大多數(shù)定理對(duì)社會(huì)都和業(yè)余愛(ài)好者的畫(huà)一樣有用,即只對(duì)一小部分人感興趣。因此,讓 AI 系統(tǒng)參與純數(shù)學(xué)(就像蛋白質(zhì)折疊,DeepMind 的另一個(gè)創(chuàng)新領(lǐng)域)對(duì)于社會(huì)的進(jìn)步或整體來(lái)說(shuō)并不是安全關(guān)鍵的。”盡管如此,Colton預(yù)計(jì)如果在純數(shù)學(xué)中更廣泛地采用人工智能系統(tǒng),將會(huì)有更多“超出人類理解”的有趣發(fā)現(xiàn)?!昂芨吲d DeepMind 正在進(jìn)入這個(gè)領(lǐng)域并與頂級(jí)的數(shù)學(xué)家進(jìn)行合作,我相信在純數(shù)學(xué)之后也會(huì)有更多的突破?!?/span>



本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請(qǐng)及時(shí)聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫?dú)角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

倫敦2024年8月29日 /美通社/ -- 英國(guó)汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認(rèn)證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開(kāi)發(fā)耗時(shí)1.5...

關(guān)鍵字: 汽車 人工智能 智能驅(qū)動(dòng) BSP

北京2024年8月28日 /美通社/ -- 越來(lái)越多用戶希望企業(yè)業(yè)務(wù)能7×24不間斷運(yùn)行,同時(shí)企業(yè)卻面臨越來(lái)越多業(yè)務(wù)中斷的風(fēng)險(xiǎn),如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報(bào)道,騰訊和網(wǎng)易近期正在縮減他們對(duì)日本游戲市場(chǎng)的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)開(kāi)幕式在貴陽(yáng)舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語(yǔ)權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機(jī) 衛(wèi)星通信

要點(diǎn): 有效應(yīng)對(duì)環(huán)境變化,經(jīng)營(yíng)業(yè)績(jī)穩(wěn)中有升 落實(shí)提質(zhì)增效舉措,毛利潤(rùn)率延續(xù)升勢(shì) 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長(zhǎng) 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競(jìng)爭(zhēng)力 堅(jiān)持高質(zhì)量發(fā)展策略,塑強(qiáng)核心競(jìng)爭(zhēng)優(yōu)勢(shì)...

關(guān)鍵字: 通信 BSP 電信運(yùn)營(yíng)商 數(shù)字經(jīng)濟(jì)

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺(tái)與中國(guó)電影電視技術(shù)學(xué)會(huì)聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會(huì)上宣布正式成立。 活動(dòng)現(xiàn)場(chǎng) NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長(zhǎng)三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會(huì)上,軟通動(dòng)力信息技術(shù)(集團(tuán))股份有限公司(以下簡(jiǎn)稱"軟通動(dòng)力")與長(zhǎng)三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉