利用計算機,人類能發現「萬物理論」嗎?

2020-12-23 全色猜想

曾經,阿爾伯特·愛因斯坦把科學理論描述為「人類思想的自由發明」。但在1980年,著名的劍橋大學宇宙學家史蒂芬·霍金有另一種想法。在那年的一次演講中,他提出,所謂的「萬物理論」可能是可以實現的,但它的最後實現可能要靠計算機來完成。

萬物理論還沒有出現,但計算機已經開始接管生活中的一些許多瑣事了,比如翻譯語言、識別人臉、駕駛汽車、推薦約會對象等等。這樣看來,想像它們接管世界上的一切也就不那麼瘋狂了。

圖片來源:Alex Eben Meyer/《紐約時報》

像DeepMind的「AlphaGo」這樣的電腦程式,不斷發現在圍棋和西洋棋等遊戲中擊敗人類的新方法,而這些遊戲已經被人類研究了幾個世紀。為什麼這些了不起的學習機器,就不能釋放出由大型強子對撞機編譯的千萬億字節級別數據,分辨出一組新的基本粒子,或是發現太陽系外另一個星系的蟲洞,就像電影《星際穿越》裡的那個星系呢?

至少這是可以想像的。如果不這麼想,就會陷入物理學家馬克斯·泰格馬克(Max Tegmark)所說的「碳沙文主義」。11月,泰格馬克擔任教授的麻省理工學院(Massachusetts Institute of Technology)兌現了美國國家科學基金會(National Science Foundation)的一張支票,並開啟了人工智慧與基礎交互作用研究所(Institute for Artificial Intelligence and Fundamental Interactions)的大門。

該研究所是該基金會和美國農業部建立的七個研究所之一,作為全國範圍內推動人工智慧工作的一部分。每個所在五年內會獲得2000萬美元的資助。

這個位於麻省理工學院的研究所由粒子物理學家傑西·塞勒(Jesse Thaler)領導,是唯一一個專門從事物理學研究的研究所。它包括來自物理各個領域的20多位科學家,他們來自麻省理工學院、哈佛大學、東北大學和塔夫茨大學。

塞勒在一次Zoom電話會議上表示:「我希望創建一個平臺,讓來自不同物理領域的研究人員,以及計算機科學、機器學習或人工智慧領域的研究人員可以聚集在一起,進行對話,互相傳授知識。最終,我希望能製造出像物理學家一樣思考的機器。」

重新發現基本定律

他們在這方面的工具是神經網絡。不同於所謂的專家系統,如IBM的沃森,它承載著人類和科學知識,神經網絡被設計成就像人類的大腦一樣。通過分析大量數據以尋找隱藏的模式,它們能很快就學會如何區分狗和貓、識別人臉、複製人類語言、識別財務不當行為等等。

泰格馬克說:「我們希望能發現各種新的物理定律。我們已經證明,它可以重新發現物理定律。」

去年,泰格馬克博士和一名學生西爾維烏-瑪麗安烏德雷斯庫從一本著名教科書(理察·費曼、羅伯特·萊頓和馬修·桑茲的《費曼物理學講義》)中提取了100個物理方程,並利用它們生成數據,然後將這些數據輸入神經網絡,系統通過篩選數據以尋找規律。

「就像人類科學家一樣,它會依次嘗試許多不同的策略,」研究人員在去年發表在《科學進展》(Science Advances)上的一篇論文中寫道。「如果它不能一下子解決全部問題,就會嘗試將問題轉化成可以單獨解決的更簡單的部分,遞歸地在每個部分上重新啟動完整的算法。」

在另一項更具挑戰性的實驗中,泰格馬克和他的同事向網絡展示了一段火箭四處飛行的視頻,並要求它預測從一幀到下一幀會發生什麼,而別管背景裡的棕櫚樹。最終,計算機能夠發現基本的運動方程。

泰格馬克說,在歐洲核子研究中心的大型強子對撞機這樣的地方找到新粒子將是輕而易舉的事。人工智慧喜歡大數據,對撞機的數據每秒可達數千兆字節。自2012年發現希格斯玻色子以來,儘管多年來人們對數據流中的每一個波峰都進行了瘋狂的檢查,但歐洲核子研究中心的數據中就沒有出現過一種新粒子。

「這些都是人類關注的曲線,」泰格馬克說。「在未來10年裡,對於研究物理,機器學習的重要性將不亞於掌握數學。」

他承認,目前該算法用遞歸的方法解決問題所能達到的效果有限。雖然這臺機器可以從一大堆數據中檢索出物理學的基本定律,但它還不能得出這些公式背後的深層原理,比如量子力學中的量子不確定性或相對論。

泰格馬克說:「等到人工智慧回來告訴你這一點的時候,我們就已經達到了人工智慧的一般水平,對此你應該會感到非常害怕或非常興奮。老實說,我研究這個的原因是:我發現最危險的是,如果我們構建了超級強大的人工智慧,卻不知道它是如何工作的,這才可怕。」

「人與機器的對話」

塞勒是麻省理工學院新研究所的負責人,他說,他曾經對人工智慧持懷疑態度,但現在成了一名支持者。他意識到,作為一名物理學家,他可以把自己的一些知識編碼到機器中,然後機器就會給出他更容易解釋的答案。

他說,「這將成為人類和機器之間的一種對話,它將變得更加令人興奮,而不僅僅是一個為你做決定而你不理解的黑盒子。」

他還說,「我並不是特別喜歡稱這些技術為『人工智慧』,因為這種說法掩蓋了一個事實,即許多人工智慧技術都有數學、統計學和計算機科學的嚴格基礎。」

最近,塞勒和他的同事在神經網絡中輸入了來自大型強子對撞機(Large Hadron Collider)的大量數據,該對撞機通過對撞質子來尋找新的粒子和力。質子是構成原子物質的基石,本身就是由稱為夸克和膠子的更小粒子組成的。當質子碰撞時,這些較小的粒子會噴射出來。為了更好地理解這個過程,他的團隊要求系統區分對撞機數據中的夸克和膠子。

研究人員不會告訴計算機任何關於量子場論的東西,我不會告訴你誇克或膠子在基本層面上是什麼,有的只是一堆亂七八糟的數據,然後讓計算機把它們分成兩類。而且它能做到。

也就是說,在不知道夸克和膠子是什麼的情況下,該系統成功地識別並區分了夸克和膠子。塞勒說,如果你問系統數據中是否有第三種類型的物體,系統就會開始發現夸克不僅僅是一種實體,而是以不同的類型存在——即所謂的上夸克和下夸克。

「當你給它更多的靈活性去探索時,它就開始學習,」他說。「它還不知道量子場論,但它知道尋找模式。這是我很驚訝機器能做到的事情。他補充說,這項工作將有助於對撞機物理學家理清他們的研究結果。

在一次Zoom談話中,塞勒展示了夸克-膠子項目中使用的神經網絡,他稱之為「一幅愚蠢的漫畫」。它看起來就像一堆五顏六色的橡皮筋,但它實際上代表了幾層處理,涉及大約30,000個節點或「神經元」,信息是在這個過程中收集和傳遞的。

他說:「如果你不嫌運行時間長,在筆記本電腦上也可以訓練這個小型網絡。」

量子的開端

「AI在解決遊戲問題上如此成功的原因之一是,」塞勒說,「遊戲有一個非常明確的獲勝規則。他還說,「如果我們能定義物理定律的獲勝意味著什麼,那將是一個不可思議的突破。」從現在開始的5到10年裡,我將會做你想做的事情,找到可以取代粒子物理學的標準模型,可以取代愛因斯坦廣義相對論的方程。

一些物理學家認為,隨著人工智慧在量子計算機上的出現,下一個重大飛躍將會到來。與經典計算機操作的位元是0或者1不同,量子計算機中所謂的量子位元可以同時是1或0。根據量子物理學,這是基本粒子在自然界最小尺度上的行為方式,它允許量子計算機同時處理大量信息。

麻省理工學院(MIT)機械工程師、量子計算專家賽斯·勞埃德(Seth Lloyd)說,這類機器仍處於起步階段,但前景很好。他不是麻省理工學院新成立的人工智慧研究所的成員。

「基本的觀點是,量子系統能夠產生經典系統難以產生的模式,」勞埃德說。「因此,或許量子系統也可以識別經典系統所識別的模式。」

或者,正如伊利諾斯州巴達維亞費米國家加速器實驗室研究副主任喬·呂肯所說:「借用理察·費曼的話,如果你想用人工智慧來發現量子世界的東西,你應該使用量子人工智慧。」

加州理工學院(California Institute of Technology)的物理學家瑪麗亞·斯皮羅普魯(Maria Spiropulu)指出,「關於量子人工智慧和量子算法的文獻越來越多,它們可以解決我們以前認為無法解決的問題。」

「它只是一個運行中的算法」

這件事能走多遠取決於你問的是誰。一臺機器能產生量子理論中深奧而不直觀的原理,或者愛因斯坦的相對論原理嗎?它會產生一種我們人類無法理解的理論嗎?我們會不會像《終結者》系列那樣,以黑客帝國的世界收場?

我隨機調研了一些理論物理學家,問他們是否準備好被取代。現在為微軟工作的計算機工程師杰倫·拉尼爾(Jaron Lanier)說,「你問問題的方式更讓人困惑。」他說,計算機科學領域充斥著對超級智能機器的力量和威脅的誇張說法。「我們應該從計算的角度來提問題,而不是文學角度。算法不是像貓一樣的生物,它只是一個運行中的算法。」

諾貝爾獎得主、德克薩斯大學奧斯汀分校(University of Texas at Austin)教授史蒂文·溫伯格(Steven Weinberg)認為,人類可能不夠聰明,無法理解萬物的最終理論,這是一種「令人不安的想法」。但我懷疑,在那種情況下,」他在一封電子郵件中寫道,「我們也不會聰明到設計出一臺能夠找到最終理論的電腦。」

哈佛大學物理學家麗莎蘭德爾(Lisa Randall)寫道:「我很容易想像計算機找到我們不知道如何解釋的方程式。但這與許多我們無法解釋的測量結果並沒有什麼不同。」

阿卡尼·哈梅德(Arkani-Hamed)是新澤西州普林斯頓高等研究院的一位理論家,他不同意計算機會發現一些人類無法理解的深奧東西的觀點,「這並沒有反映出我們所看到的自然法則的特性,幾個世紀以來,我們所看到的自然法則是建立在更抽象、更簡單、更深刻的數學思想之上的。」

例如,如果艾薩克·牛頓起死回生,阿肯尼·哈米德說,他將毫不費力地趕上當代物理學的進度。

洛杉磯卡弗裡基金會(Kavli Foundation)的宇宙學家麥可·特納(Michael Turner)說,我們的想法從何而來最終並不重要,只要這些想法在我們依賴它們之前經過了考驗。

「那麼我們從哪裡得到這些理論或範式呢?」它可能來自深層的原則——對稱、美、簡單——哲學原則或宗教,」他說。「隨著機器變得越來越智能,我們可以把它們添加到資源列表中。」

同樣來自普林斯頓高等研究院(Institute for Advanced Study)的愛德華·威滕(Edward Witten)指出,儘管萬物理論機器目前還不存在,但可能在下個世紀就會出現。「如果有一臺機器表現出對物理感興趣和好奇,我肯定會有興趣和它交談。」

相關焦點

  • 頂級物理學家正在討論,利用計算機能找到萬物理論的可能性
    曾幾何時,阿爾伯特·愛因斯坦將科學理論描述為「人類心靈的自由發明」。但是在1980年,著名的劍橋大學宇宙學家史蒂芬·霍金有了另一個想法。在那年的一次演講中,他認為所謂的「萬物理論」是可以實現的,但它最後的實現很可能是由計算機完成的。
  • 誰發現和選擇了「二進位」這個開啟人類社會數位化信息化大門的金...
    二進位因每位數字的二值性,四則運算可以簡化為加法和移位兩種運算,以及與邏輯判斷的可對應性,在現代數字電路和計算機中廣泛應用。人類在探索和發明新計算工具過程中,通過各種探索最終選擇了二進位,使電子計算機的發明化繁為簡,開闢了人類數位化和信息化新時代。可以說二進位是開啟這個新時代大門的金鑰匙。誰最早發現和提出二進位?
  • 「夏娃理論」受質疑,通過古人類化石發現,非洲不是人類起源地?
    「夏娃理論」受質疑,通過古人類化石發現,非洲不是人類起源地?進化論被提出之後,並沒有得到所有人的認可,因為它的出現打破了神創論,讓很多人原有的信仰被打破。多數科學家認為人類是起源於非洲大陸的,而並不是亞洲。
  • 莊子:萬物本齊一,人類何苦畫地為牢?
    但莊子認為,可悲的是,人類的認識在倒退,人類在主觀上分割了這個世界,人類看到了世界萬物多姿多彩的表象,繼而認為人與人之間的不同,從此之後,這個「人間世」有了高低貴賤之分,有了貧富榮辱之別,有了此是與彼非,自此,世界陷入了無窮無盡的是非爭論之中,由此而產生了戰爭、屠殺,產生了人與人之間的傾軋。這在莊子看來,是文明的異化,人類畫地為牢為自己營造牢籠而不自知,這正是人類「物於物」的悲哀。
  • 50億年後太陽滅亡,人類能發展到什麼地步?文明能延續嗎?
    50億年後太陽滅亡,人類能發展到什麼地步?文明能延續嗎?人類一直希望可以擁有永恆的生命,這樣我們就可以一直生活在地球上。但是現實卻不容我們人類樂觀,如果我們地球不會出現問題,也不會發生遭受襲擊,留給地球的時間也是非常少的。
  • 發現宇宙中最強大的能量「海嘯」,人類未來能夠利用這些能量嗎?
    在2020年3月份的《天體物理學雜誌補充》上刊登了一篇論文,一個國際天文學家小組利用美國宇航局哈勃太空望遠鏡的強大而獨特的能力,發現了宇宙中有史以來最巨大的能量外流現象。這種駭人的巨大能量流從類星體中發出,它們像海嘯一樣撕裂星際空間,對類星體自身所處的星系造成了嚴重的破壞。
  • 「九章」量子計算機糾纏了嗎?
    根據「九章」論文和團隊主要成員自述,研製「九章」的核心基礎和理論根據是量子糾纏,也就是我們常聽到的「鬼魅般」的超距相互作用,但是,「九章」真糾纏了嗎?「九章」真計算了嗎?質疑一:「九章」光子,經典還是量子? 關於光子,物理學界有兩種水火不相容的矛盾解讀,一種是經典無糾纏粒子、另一種是量子糾纏波。
  • 理論計算機研究的都是些什麼內容?
    (2)計算機技術、信息技術及其他應用的發展會產生新的基礎性問題,如機器學習理論、編碼理論等。(3)理論計算機處在計算機科學與其他基礎學科交又的前沿,如自然科學中的物理學、生物學,社會科學中的經濟學、社會學等。
  • 蟲洞被發現了嗎?科學家利用探路者望遠鏡,發現奇怪星團!
    蟲洞被發現了嗎?科學家利用探路者望遠鏡,發現奇怪星團!蟲洞確實是科學家腦洞大開的一個猜想,它是由奧地利的物理學家在1916年的時候提出的,隨後在愛因斯坦和物理學家內森羅森的研究下不斷完善,那麼蟲洞究竟是什麼呢?
  • 萬物理論,比宇宙還難懂的愛情
    但我想,能讓小學生和門衛大爺都知道他的理由,一定不是他提出的「黑洞蒸發理論」和「無邊界的霍金宇宙模型」,我猜他簡短易記的兩個字的中文名,以及全身癱瘓坐在特殊輪椅上靠電腦與世人溝通的形象,才是他婦孺皆知的關鍵所在。
  • 即使做出了量子計算機,量子力學對人類來說仍是巨大的「黑箱」
    在新的理論面前,光的波動說與微粒說之爭以「光具有波粒二象性」的結論落下了帷幕。而後人們發現,不單單能量和光存在這種量子性,包括電子等其他微觀粒子,也存在這種「量子性」。量子力學最早就是研究為什麼微觀粒子會呈現這種「既是波,又是粒子」的神奇現象。
  • 愛的萬物理論中,陪伴是最美的過程
    於是我想到《萬有理論》,是的,這部是要用讀的,有時讀到的是霍金的物理學說,有時讀到的簡眼中霍金的一生,有時又像是同時讀霍金的理論學和簡的故事書,感覺很神奇。最近重讀《萬物理論》不過是因上一年看過的兩部新片《神奇動物在哪裡》和《俠盜一號》,主演分別是霍金和簡。
  • 理論計算機有哪些特別的算法,它們的算法複雜性很高嗎?
    理論計算機作為現代計算機體系結構的一個分支,其算法與複雜性是理論計算機中最核心、最基礎的主題。下面是小編關於一些關於理論計算機算法的資料心得,與大家分享。1.算法算法的出現遠遠早於計算機的出現,比如我們在小學時學過的通過列豎式的方法來計算兩個整數乘積,再比如,用著名的歐幾裡得的輾轉相除法來求兩個整數的最大公約數。很多好的算法,比如快速排序算法、高斯消元法快速傅立葉變換等,是計算機如今能在生產和生活中有如此廣泛應用的基礎。雖然算法因問題而異,但一些設計算法的方法,總會在不同的場景出現。比如貪心法、分治法、動態規劃、最大流和線性規劃等。
  • 工程結構分析狀態空間理論的計算機仿真
    結構工程中的計算機仿真技術,一般包括數值仿真和圖形仿真兩部分。數值仿真是基礎和核心,它基於結構系統的數學模型(數學描述),並利用數字計算機和仿真程序進行。  數學模型是計算機仿真的基礎。在結構工程中,數學模型可以根據已有的且成熟的結構分析和計算機理論,經分析和演繹導出。若使數學模型(數學表達式)做到科學合理性,應使建立的數學模型具有結構清晰性、切題真實性、精密和集合性。
  • 人類是被設計出來的?科學家在人類DNA中,發現「造物者」痕跡!
    文/貓行人類是被設計出來的?科學家在人類DNA中,發現「造物者」痕跡!隨著人類科技不斷的發展,人類對於自身的起源問題,便越發地有一些疑問產生了,雖然目前人類對於自身起源的解答,是達爾文進化論中所闡述的,人類是由單細胞生物到多細胞生活進化的一個過程,但是一個科學家短短幾十年總結出來的一些關於人類物種起源的解釋,真的可以涵蓋人類和地球46億年時間的發展歷程嗎?很顯然這是不可能的。
  • 馬斯克:人類可能生活在計算機代碼裡,都是虛擬世界裡的一部分
    他認為人類文明很可能與遊戲一樣,都是虛擬世界裡的一部分,人類很可能生活在計算機代碼裡面,就像《西部世界》一樣,都是計算機設定好的。說實話如果說這句話的是別人,我可能認為這個人他是個假想的瘋子,對他嗤之以鼻,但是說這句話的人是馬斯克,一個可以上天的男人。
  • 計算機處理圍棋複雜的能力壓倒了人類||視頻
    對計算機有所了解的棋手認為,計算機可能在局部計算上利用窮舉死算的威力佔得上風,但在更高級的全局思維與棋理上弱於人類,從而因「境界」的差距而毫無機會。應該如何下圍棋,人類有很多知識與教育傳承體系。網絡出現後,高手們互相對局的機會極大增加,成長為頂尖高手需要的時間縮短,少年高手層出不窮。與前輩相比,棋手們的整體實力和頂尖選手的絕對棋力都有上升。
  • 計算機原理:理論基礎(圖靈機)與(馮諾伊曼)體系結構!
    相信在這個時代,工作工程中使用最多的莫過於計算機,那麼你知道計算機的原理是什麼嗎?近期在V2EX論壇就有這樣一個類似問題引起大家的討論,就是計算機的原理是圖靈機嗎?但是一定要明白一點:圖靈機只是一種計算模型,而計算機模型不止圖靈機一種,還有 lambda 演算等等,然而所有的計算模型都能證明與圖靈機等價,或者計算能力不超過圖靈機。圖靈機是這些計算模型裡面最直觀的最簡單的。大家普遍相信圖靈機不可計算的,就是不可計算的定義。圖靈機用一種直觀的方式定義了什麼是計算。
  • 曲率引擎能利用物理定律漏洞實現「超光速」,人類有可能實現嗎?
    在這裡還有一個有趣的事情,理論上認為飛船處於時空彎曲的「泡泡」中時候,或許不需要自身的動力,「泡泡」就會將飛船以極高的速度推動前進,好比人們在衝浪時候,浪頭推動著人前行。要實現這樣的引擎,目前從理論上看是有可能的。科學家們在實驗室中利用一套名為「「懷特-朱迪曲率場幹涉儀」的雷射裝置,已經實現了百萬分一尺度的時空擾動。
  • 高一被清華姚班錄取,一個網癮少年到理論計算機科學家的蛻變
    大家都勸他放棄,可自己的路只有自己能走出來。他在人生的十字路口徘徊,躊躇。我們能想像到他的掙扎,眼前的和未來的一切在他的眼中交錯,最終,他還是執著的選擇了自己的熱愛。初露頭角除了編程,陳立傑放下了一切。從計算機老師那獲得了學校機房的鑰匙,陳立傑整日泡在那裡刷題,編程。