图1:胡迪·利普森(Hod Lipson)正在他的办公室运行Eureqa程序。
图2:图表的信息在利普森自的Eureqa程序中运行。这是过程中产生的方程式及步骤。
你是否曾经想过让一个机器人来帮你做研究呢?如果你是一个科学家,你肯定有过这样的梦想。现在,这已成为现实:Eureqa程序。这个程序可以帮助科学家从原始资料里面提炼出科学的规律。而且这个程序是免费的,所有研究员都可以拥有它。
这个程序在四月的时候被揭开了面纱。它被用来读出一个双摆的数据,这个数据是用来推断出牛顿的第二运动定律以及动量守恒定律。可以说,这个工具是无价的。它可以帮助人们揭示那些更加复杂的科学规律。而且这些科学规律常常无法被人类发现。现在科学家们都非常想获得这个工具。
“我们都倾向于把科学当作寻找方程式。例如:质能等价理论,E=MC2,E能量,m为质量,C为光速。这个公式非常的简洁,同时又能反映实质。但是,也许有许多的理论非常复杂,然而我们能够找到简单的公式来表达”,来自康奈尔大学的胡迪·利普森(Hod Lipson)说。他在康奈尔大学的计算机综合实验室工作。他说:“虽然现在还无法达到那个程度(直接得出精确的公式),但是我们已经发展出一些方法能够慢慢接近他们。”
Eureqa程序起源于利普森的电脑工作。他尝试做出一个可以自动计算并且可以自我修复的机器人。这个机器人进行自我修复的数据分析方法被用来分析其他各种各样的数据。
这个程序通过寻找原始数据里的数字然后找出他们之间的关联性,然后它会提出一系列的一次方程式来描述这些联系。这就是这个程序具体运行的方法。然而,最初得到的一次方程式总是失败的,但是有些却比较接近真实。接着,最好的那个方程式会被筛选出来。然后这个方程式将被再次检验,Eureqa程序将会通过数据来继续分析。Eureqa程序会不断重复这个过程,直到它找到有效和正确的方程式。
牛顿花了几十年计算出来的东西,Eureqa程序却只要在一个较好的台式电脑上花上几个小时就能够得出。利普森和其他研究人员都希望Eureqa程序能够很好的解开数据的谜团。尤其是那些一直在挑战着科学家的谜团数据。这对于那些在生物学领域工作的人来说无疑是个好消息。因为染色体组、蛋白质、细胞单元信号的数据已被证明是相当难以分析的。那些数据就像谜团一样。他们之间的联系似乎遵循着某些规则,然而传统的分析和统计方法无法轻易就把这个规律揭示出来。
“下面是埃默森·佩什(Emerson Pugh)的著名观点:如果人类的大脑如此简单以至于我们可以去理解。那么由于我们的大脑过于简单,则无法处理如此复杂的东西。我认为这可以用来解释生物学的各个方面。”约翰·威克斯沃(John Wikswo)说。他是范德比尔特大学的生物物理学家。他正在自己的实验室使用Eureqa程序。“生物学的复杂性令人难以置信,同时对于许多人来说,它太复杂了以至于人们无法理解它是如何解释各种复杂事物的。而解决这个问题的方法就是Eureqa程序。”
|