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