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