這個程式通過尋找原始數據里的數字然後找出他們之間的關聯性,然後它會提出一系列的一次方程式來描述這些聯繫。牛頓花了幾十年計算出來的東西,Eureqa程式卻只要在一個較好的桌上型電腦上花上幾個小時就能夠得出。
基本介紹
- 中文名:Eureqa程式
- 類別:電腦程式
- 方法:尋找原始數據里的數字找出關聯性
- 描述方式:一次方程式
簡介,套用,影響,
簡介
這個程式通過尋找原始數據里的數字然後找出他們之間的關聯性,然後它會提出一系列的一次方程式來描述這些聯繫。這就是這個程式具體運行的方法。然而,最初得到的一次方程式總是失敗的,但是有些卻比較接近真實。接著,最好的那個方程式會被篩選出來。然後這個方程式將被再次檢驗,Eureqa程式將會通過數據來繼續分析。Eureqa程式會不斷重複這個過程,直到它找到有效和正確的方程式。
牛頓花了幾十年計算出來的東西,Eureqa程式卻只要在一個較好的桌上型電腦上花上幾個小時就能夠得出。利普森和其他研究人員都希望Eureqa程式能夠很好的解開數據的謎團。尤其是那些一直在挑戰著科學家的謎團數據。這對於那些在生物學領域工作的人來說無疑是個好訊息。因為染色體組、蛋白質、細胞單元信號的數據已被證明是相當難以分析的。那些數據就像謎團一樣。他們之間的聯繫似乎遵循著某些規則,然而傳統的分析和統計方法無法輕易就把這個規律揭示出來。
套用
11月的早期,利普森把Eureqa程式放到網上,讓所有科學家都可以在網上下載。因為他已經承受不了如此多的科學家不斷地讓他幫忙分析數據。與此同時,他和來自康奈爾大學的計算生物學家麥可·施密特(Michael Schmidt)一起在為Eureqa程式負責,並且在不斷發展和完善它。
許多令人費解卻有意義的發現來自於Eureqa程式分析得出的結果。它能分析由郭爾·蘇(Gurol Suel)收集的細胞讀數。蘇是來自西南部德克薩斯大學的一名分子微生物學家,他研究細胞如何分化和生長。蘇表示:即使Eureqa程式還不能完全解釋我們找到的數據,但它仍然非常有用。
在過去的幾年時間裡,人們因為他們那些非常瘋狂的設計理念而聯繫我們。施密特(schmidt)說道,這些想法從“預測股票市場”到“對奶牛的叫聲類型進行分類”,各種點子不盡相同。
影響
一個正在發生的挑戰就是Eureqa程式將會讓方程式符合數據,但是它會隨著變數而改變,所以這些方程式不是那么好理解。利普森把這個挑戰比喻為:如果時光倒流,科學家們把能量守恆定律展現給中世紀的數學家,這會發生什麼呢?
大家都知道代數學。你可以加上變數,然後它就可以得出答案。但是能量的概念就不是這樣。他們沒有辭彙讓你更好的理解。他說。在實驗室看到過這些。Eureqa程式能找到一些新的聯繫。這是預言性的,而且非常精確。這可能是對的。但是也可能我們完全不知道這是什麼意思。
利普森和施密特現在還在設計:運算法則可以解釋通過運算法則發現的東西。它可能是通過把未知的概念與更加相似、更加簡單的類別聯繫起來。如何把一些複雜的東西解釋給孩子聽呢?這就是問題的關鍵。這就像是機器在進行教學,而不是機器在學習。
有時,Eureqa程式需要更多的數據來尋找答案。在一些案例里,這個程式可以區分出信息的空白點,然後推薦一些實驗來完善這些信息。利普森的Eureqa程式也在不斷的改善。