揭示世界本質的「機器科學家」,比深度神經網路還強?

語言: CN / TW / HK

我們正處於“GoPro 物理學”的風口浪尖。無論攝像機聚焦於什麼事件,演算法都可以識別其中潛在的物理方程。

作者 | Charlie Wood

編譯 |  王玥、劉冰一

編輯 | 陳彩嫻

2017 年,西北大學化學與生物工程系的助理教授Roger Guimerà和羅維拉-威爾吉利大學的物理學教授Marta Sales-Pardo發現了細胞分裂的原因。

該研究推動了生物學的進展,但他們並沒有從自己的資料中發現關鍵資訊,反而是他們的一個未曾公開的發明——他們稱之為“機器科學家”的虛擬助理將這些資訊指了出來。

Guimerà 回憶道:“我們只是給機器科學家輸入了一個演算法,然後就得到了答案。雖然這就是事實,但沒有審稿人會信。”

圖注:URV 化學工程系的研究人員 Marta Sales-Pardo(左) 和 Roger Guimerà(右)

兩人與他們的前同學、加泰羅尼亞生物工程研究所的Xavier Trepat進行合作,想要確認哪些因素可能引發細胞分裂。許多生物學家認為細胞超過一定大小就會分裂,而Trepat 覺得這其中仍有探索空間。他的團隊破譯了成群細胞爭奪位置時在柔軟表面留下的奈米級印記並積累了詳盡的資料集,其中記錄了形狀、力量和其他十幾種細胞特徵,單單是測試這些細胞特徵對細胞分裂的影響大概就得花一輩子。

可是, 如果將資料提供給機器科學家,在幾分鐘內機器科學家就能反饋給他們一個簡潔方程。 就預測一個細胞何時分裂而言,該方程比僅使用細胞大小或任何其他單一特徵的方程精確 10 倍。據機器科學家所說,細胞分裂與否,取決於一個細胞的大小乘以它旁邊的細胞擠壓它的力度。

“機器科學家能夠發現一些我們沒有發現的東西。”Trepat說。

由於研究人員沒有公開過「機器科學家」的資訊,因此他們只好進行二次分析。經過數百對變數的測試,他們得出了和「機器科學家」一致的答案,並在2018年將該研究發表在了Nature Cell Biology上。

圖注:西班牙 Rovira i Virgili 大學的 Roger Guimerà 和 Marta Sales-Pardo 主導構建了一個強大的符號迴歸演算法,並稱之為“貝葉斯機器科學家”。

四年後,這種方法迅速成為一種公認的科學發現方法。Sales-Pardo 和 Guimerà 是少數幾位開發最新一代工具的研究人員之一,該工具能夠實現符號迴歸。

符號迴歸演算法不同於深度神經網路。深度神經網路演算法可能會吸收數千個畫素,讓畫素滲透數百萬個節點組成的迷宮,並通過不透明的機制輸出“dog”這個詞。而符號迴歸演算法識別複雜資料集,然後輸出一種人類能很好理解的簡短方程式。這些演算法類似於超級版本的 Excel 曲線擬合函式,但這些演算法不只尋找直線或拋物線擬合一組資料點,還尋找數十億個不同的公式。通過這種方式, 「機器科學家」可以讓人類瞭解細胞分裂的原因,而神經網路只能預測細胞何時分裂。

幾十年來,研究人員一直在與這樣的機器科學家打交道,小心翼翼地誘導機器科學家從簡單的資料集中重新發現教科書式的自然法則,並將其排列起來,從中尋找某種模式。但是近年來,這些演算法已經變得足夠成熟,可以在真實資料中探索出從湍流如何影響大氣層到暗物質如何聚類等此前未被發現的關聯。

“毫無疑問,整個領域都在向前發展。”哥倫比亞大學的機器人專家Hod Lipson說。他在13年前開始了符號迴歸的研究。

圖注:機器人專家 Hod Lipson

1

機器科學家的崛起

物理學家偶爾會單憑推理尋找真理,比如愛因斯坦通過從一束光束的角度想象另一束光束,從而感受空間和時間的柔韌性。

但是更多時候,理論是從馬拉松式的資料處理中誕生的。

16 世紀的天文學家布拉赫去世後,開普勒接觸到了布拉赫筆記本中的天體觀測,花了四年時間才確定火星在天空中描繪的是一個橢圓,而不是他之前認為的蛋形。通過粗暴計算,他又另外發現了兩個關係,遵循了“第一定律”,這些規律便是牛頓指出萬有引力定律的基礎。

符號迴歸的目標是加速這種開普勒式的試錯,遍歷將變數與基本數學運算聯絡起來的無數方法,從而找到最能準確預測系統行為的方程。

圖注:天體物理學家以兩種方式對太陽系的行為進行建模。他們首先使用了NASA多年資料來訓練一個神經網路。然後使用符號迴歸演算法將該模型提煉成一個方程式。在影片中——顯示真實位置為實體物體,而模型預測為金屬網輪廓——神經網路(左)的表現遠不如比起符號迴歸演算法(右)。

首個取得重大進展的程式叫做BACON。它由當時在卡內基梅隆大學的認知科學家和人工智慧研究員 Patrick Langley 在1970年代末開發。BACON 包含一列軌道週期和一列不同行星的軌道距離,然後以不同的方式系統地組合這些資料:週期除以距離、週期平方乘以距離等。如果 BACON 在各種資料的不同組合中找到一個常數,例如,如果週期的平方除以距離的立方總是給出相同的數字,就說明它找到了開普勒第三定律。一個常數意味著它已經確定了兩個成比例的量,換句話說,當 BACON 找到一個方程時,它就達到了目的,停止計算。

儘管重新發現了開普勒第三定律和其他教科書上的經典內容,但在計算能力有限的時代,BACON仍然是一種奇特的存在。研究人員仍然需要手動分析大多資料集,最終使用類似Excel的軟體,在給定特定類別的方程時找到簡單資料集的最佳擬合。直到2009年,康奈爾大學的機器人專家 Lipson 和 Michael Schmidt 開發了一種名為 Eureqa 的演算法。這個演算法可以找到描述任何資料集的正確模型。在 Eureqa 成功開發以前,這個概念一直處於沉睡狀態。

他們的主要目標是建立一臺機器,能夠將一列又一列的變數的拓展資料集歸納為一個涉及少數實際重要變數的方程。Lipson說:“這個方程最終可能有四個變數,但我們事先不知道是哪些。我們得把所有可能的變數都扔進去。天氣也許很重要,每平方英里牙醫的數量或許也很重要。”

處理眾多變數已經是一個難點。研究人員表示,他們還需要具備一定的靈活性,嘗試各種可能走向死衚衕的方法、並從中走出來。而當演算法可以從直線跳到拋物線,或增加一個正弦波紋時,它掌握儘可能多資料點的能力也可能變得更糟。為了克服這些挑戰,1992年,電腦科學家John Koza提出了 “遺傳演算法”,這種演算法將隨機“突變”引入方程,經過多次試驗,最初無用的功能要麼演變得強大,要麼消亡。

Lipson和Schmidt將這一技術提升到了新的水平。一方面,他們生成了方程式。另一方面,他們隨機選擇了一些資料點來測試方程,“最適合”的點是那些對方程最有挑戰的點。“這就像軍備競賽一樣,我們需要建立兩個不斷髮展的事物,而非一個。”Lipson說。

Eureqa演算法可以壓縮涉及十多個變數的資料集。它可以成功地反饋出高階方程,比如描述一個鐘擺懸掛在另一個鐘擺上的運動。

圖注:機器科學家是如何工作的

與此同時,其他研究人員正在尋找訓練深度神經網路的技巧。到2011年,深度神經網路在學習區分貓和狗以及執行無數其他複雜任務方面取得了巨大成功。但是一個訓練有素的神經網路由數百萬個具有數值價值的“神經元”組成,這些神經元不會明示它們已經學會識別哪些特徵。可Eureqaque卻可以用人類的語言傳達自己的發現。

當 Sales-Pardo 第一次使用 Eureqa 時,她感到很驚訝:“我認為這是不可能的,這些人怎麼做到的?” 她和 Guimerà 很快就開始使用 Eureqa 為他們自己的網路研究建立模型,雖然結果不一致,但他們對 Eureqa 的強大功能印象深刻。該演算法會演化出預測方程,但它也可能會弄巧成拙、然後得出一個過於複雜的方程。只要研究人員稍微調整他們的資料,Eureqa 就會返回一個完全不同的公式。於是Sales-Pardo 和 Guimerà 便從頭開始設計新的機器科學家。

2

壓縮 程度

在他們看來,遺傳演算法的問題在於 過於依賴創造者的口味。 開發人員需要指導演算法,以平衡簡單性和準確性。一個方程總是可以通過附加項來觸碰到資料集中的更多點。但最好忽略有些離題的點。研究者可以把簡單性定義為方程的長度,把準確性定義為曲線與資料集中每個點的接近程度,但這只是眾多選項中的兩個定義。

Sales-Pardo 、 Guimerà 與合作者一起,利用物理學和統計學方面的專業知識,根據貝葉斯理論的概率框架來重新定義進化過程。他們首先下載了維基百科中的所有方程式。然後對這些方程進行統計分析,看看哪些型別最常見。這種辦法能讓演算法少走彎路,例如讓演算法嘗試使用比較常見的加法,而不是比較少見的雙曲餘弦。然後該演算法使用隨機抽樣方法生成方程變體,該方法已在數學上被證明可以探索數學領域的每一個角落。

在每個步驟中,該演算法以方程式對資料集的壓縮程度對各類方程式進行評估。例如,隨機散佈的點根本不能被壓縮,我們需要知道每個點的位置。如果1000個點沿著一條直線落下,它們可以被壓縮成兩個數字(直線的斜率和高度)。這對學者發現,壓縮程度為比較各個方程提供了一種獨特且穩定的方法。Guimerà說:“我們可以證明,正確的模型就是壓縮資料最多的那個,這不存在任意性。”

經過多年研究,他們使用自己的演算法找出了觸發細胞分裂的因素,2020年,他們和同事們在《Bayesian machine scientist》中介紹了他們的 “貝葉斯機器科學家”。

3

資料 海洋

從那時起,研究人員用貝葉斯機器科學家來改進預測國家能源消耗的SoTA方程,而另一組則使用該方程來模擬通過網路的滲透。開發人員認為這類演算法將在像 Trepat 那樣的生物學研究中發揮巨大作用,因為在這種研究當中科學家們面對的是海量資料。

機器科學家也幫助物理學家理解跨越多尺度的系統。物理學家通常對原子使用一組方程,對臺球使用一組完全不同的方程,但這種零散的方法不適用於氣候科學等學科研究。

其中一位研究人員是紐約大學的Laure Zanna 。她在模擬海洋湍流的工作中經常發現自己夾在兩個極端之間: 超級計算機可以模擬城市大小的渦流,也可以模擬洲際洋流,但不能同時模擬兩種尺度。 她的工作是幫助計算機生成包含較小漩渦影響的全域性圖片,而無需直接模擬這些圖。最初,她轉向深度神經網路來提取高解析度模擬的整體效果,並相應地更新更粗略的模擬。“深度神經網路太棒了,”她說,“但我是一名氣候物理學家。”她的意思是她想通過壓力和溫度等原理來了解氣候是如何運作的——“但是很難採集到成千上萬的引數,更別說是滿意的引數了。”

然後她發現了由華盛頓大學應用數學家Steven Brunton、Joshua Proctor和 Nathan Kutz設計的演算法。他們的演算法採用了一種被稱為稀疏迴歸(Sparse Regression)的方法,這種方法與符號迴歸的精神類似。這種方法沒有在變異方程中挑起大混戰,而是從一個可能有上千個函式比如 x ^ 2、 x /( x − 1)  和 sin( x )的庫開始。該演算法在庫中搜索給出最準確預測的術語組合,刪除最沒用的術語,並繼續直到庫裡只剩下少數幾個術語。與符號迴歸演算法相比,稀疏迴歸閃電般的過程可以處理更多的資料,其代價是探索的空間更小,因為最終方程必須由庫項構建。

為了瞭解其工作原理,Zanna 從頭開始重寫了稀疏迴歸演算法,然後將修改後的版本應用於海洋模型。當她輸入高解析度影片並要求演算法尋找精確的縮小草圖時,演算法返回了一個與渦度以及流體如何拉伸和剪下有關的簡潔方程。當她將這個方程輸入到她的大規模流體流動模型中時,她看到了以能量的函式形式變化的流體,且看得比以前更真切。

“該演算法使用了額外的術語,”Zanna 說,然後生成了一個“美麗”的方程,“這個方程能夠真正體現洋流的一些十分重要的特性,比如拉伸、剪下和旋轉。”

4

合作更強大

通過將自身優勢與深度神經網路的優勢相結合,其他團隊也為機器科學家提供了助推力。

普林斯頓大學天體物理學研究生Miles Cranmer開發了一種類似於 Eureqa 的開源符號迴歸演算法,稱為 PySR。這個演算法在數字“島嶼”上建立了不同的方程組,並讓最適合資料的方程週期性地“搬家”,然後與其他島嶼上的方程競爭。Cranmer 與 來自 DeepMind 以及紐約大學的電腦科學家,還有 Flatiron 研究所的天體物理學家合作,提出了一種混合方案。他們首先訓練神經網路完成任務,再讓PySR給出一個描述神經網路的特定部分完成了何種任務的方程。

該小組將該程式應用於暗物質模擬,並根據相鄰雲的特性生成了一個公式,該公式給出了暗物質雲中心的密度。該方程比現有的人工設計方程更適合資料。

2 月,該小組向系統輸入了30年來太陽系行星和衛星在天空中的真實位置。該演算法完全跳過了開普勒定律,直接推斷出牛頓的萬有引力定律以及行星和衛星的質量。其他小組最近則使用 PySR 發現了描述粒子碰撞特徵的方程、結體積的近似值以及暗物質雲在其中心塑造星系的方式。

對於機器科學家越來越多的情況(另一個值得關注的例子是麻省理工學院的物理學家 Max Tegmark 和 Silviu-Marian Udrescu 建立的“ AI Feynman ”),人類研究人員說,越多越好。“我們真的需要這些技術,”庫茨說,“全都需要,越多越好,因為沒有一個技術是萬能的。”

論文地址:http://www.science.org/doi/10.1126/sciadv.aay2631

Kutz 相信機器科學家正在將該領域帶到他所謂的“GoPro 物理學”的風口浪尖,研究人員只需將相機對準目標,就能得到一個抓住正在發生的事情本質的方程式。(目前的演算法仍然需要人類提供一長串潛在相關變數,比如位置和角度。)

這就是 Lipson 最近一直在做的事情。在12 月的預印本中,他與合作學者描述道,他們首先訓練了一個深度神經網路來接收影片的幾幀,並預測接下來的幾幀。然後,該團隊減少了神經網路允許使用的變數數量,到其預測開始失敗為止。

論文連結:http://arxiv.org/abs/2112.10755

該演算法能夠計算出需要多少變數來模擬像鐘擺那樣的簡單系統,或者像火舌那樣沒有明顯的變數可供跟蹤的複雜系統。

5

(機器)科學的邊

機器科學家不會取代深度神經網路,因為深度神經網路能夠在混亂或極其複雜的系統中大放異彩。

然而,當涉及到圍繞行星執行、流體晃動和細胞分裂時,機器科學家僅利用少量運算得出的簡明方程式卻十分準確,令人費解。諾貝爾獎獲得者 Eugene Wigner 在他 1960 年的論文《自然科學中數學的不合理有效性(The Unreasonable Effectiveness of Mathematics in the Natural Sciences)》中將其稱為“我們既不理解也不配得的美妙禮物” 。正如 Cranmer 所說,“你去看看任何物理考試方程式的小抄,上面都是極其簡單的代數表示式,但這些小抄幫助太大了。”

Cranmer 及其同事推測, 基礎運算之所以如此出色,是因為它們代表了空間中的基本幾何動作,這使得它們成為描述現實的自然語言。 加法將物件向下移動到數軸。乘法將平坦區域變成 3D 體積。出於這個原因,他們懷疑,當我們在猜測方程式時,往簡單了猜是永遠有道理的。

不過,宇宙雖然有潛在的簡單性,卻並不能保證每次這麼猜測都對。

Guimerà 和 Sales-Pardo 最初構建了他們在數學上嚴格的演算法,因為 Eureqa 有時會為相似的輸入找到截然不同的方程。然而,令他們沮喪的是,他們發現, 即使是貝葉斯機器科學家有時也會為給定的資料集返回多個同樣好的模型。

兩人最近表明,原因在於資料本身。他們利用機器科學家探索了各種資料集,發現數據集分為兩類:乾淨的和有噪聲的。在乾淨的資料中,機器科學家總能找到生成資料的方程式。但超過一定的噪聲閾值,就不可能找到了。換句話說,噪聲資料可以很好地(或很差地)匹配任意數量的方程。因為研究人員已經證明了他們的演算法總是能找到最好的方程,他們知道,如果演算法失敗了,那就沒有任何人類或者機器能夠成功。

“我們發現這是一個基本的限制,”吉梅拉說。“所以我們需要機器科學家。”

參考連結:

http://www.quantamagazine.org/machine-scientists-distill-the-laws-of-physics-from-raw-data-20220510/

http://www.icrea.cat/Web/ScientificStaff/roger-guimera-manrique-512

Marta Sales-Pardo (0000-0002-8140-6525)

Hod Lipson

http://www.science.org/doi/10.1126/science.1165893

http://laurezanna.github.io/

雷峰網 (公眾號:雷峰網)

雷峰網版權文章,未經授權禁止轉載。詳情見 轉載須知

「其他文章」