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