當(dāng)Hod Lipson介紹他的創(chuàng)意機(jī)器實驗室（Creative Machines Lab）時，我們不難發(fā)現(xiàn)他的雄心壯志?！拔覀冎铝τ趧?chuàng)造出富有創(chuàng)造力的機(jī)器人。”Lipson是康奈爾大學(xué)的一名工程學(xué)教授，是世界范圍內(nèi)享有盛譽(yù)的人工智能及機(jī)器人方面的專家（Lipson打算于今年七月將實驗室搬遷至哥倫比亞大學(xué)）。他的研究項目旨在探究機(jī)器與自動化相結(jié)合的無限可能，譬如機(jī)器人運(yùn)用基本構(gòu)造單元“進(jìn)化成”完整的自我。（他的康奈爾大學(xué)同事正在研制充當(dāng)咖啡師及廚房幫手的機(jī)器人）。若干年前，Lipson展示了一個算法，通過形式化描述與已知規(guī)律相符合的新科學(xué)規(guī)律以解釋實驗數(shù)據(jù)。他實現(xiàn)了科學(xué)發(fā)現(xiàn)的自動化。
