当Hod Lipson介绍他的创意机器实验室（Creative Machines Lab）时，我们不难发现他的雄心壮志。“我们致力于创造出富有创造力的机器人。”Lipson是康奈尔大学的一名工程学教授，是世界范围内享有盛誉的人工智能及机器人方面的专家（Lipson打算于今年七月将实验室搬迁至哥伦比亚大学）。他的研究项目旨在探究机器与自动化相结合的无限可能，譬如机器人运用基本构造单元“进化成”完整的自我。（他的康奈尔大学同事正在研制充当咖啡师及厨房帮手的机器人）。若干年前，Lipson展示了一个算法，通过形式化描述与已知规律相符合的新科学规律以解释实验数据。他实现了科学发现的自动化。