2005年，英国科幻小说大师H.G.威尔斯的名著《世界大战》被再次搬上了银幕，主演是好莱坞著名影星汤姆?克鲁斯。影片讲述的是火星人侵略地球的故事，实际上，科学家通过探测已经确定火星上并不存在有智慧的生命。不过，如果把范围扩大到整个宇宙，是否有外星人存在呢？确切地说，是否有和我们人类一样有智慧的生命体存在呢？
关于外星人是否存在，有一个著名的公式。这个公式被称为德雷克方程式，后来又被称为“绿岸公式”。
这个公式由射电天文学家德雷克（Frank Drake）与卡尔·萨根（Carl Sagan）提出,在1961年美国科学院空间科学委员会请德里克主持组织的第一次搜寻地外生命的学术会议上,被作为主题来讨论.在这个公式中,银河系年龄有一个大致确定的数值,恒星总数是一个巨大的数值,中间各项则非常小,相乘之后就更小,由于中间各项数值都是估计的,因此当时推算的结果是取值在1000～100,000之间.但是,据说也有人所得估算之值在1～1000之间.若取值为1,就“证明”了外星高等文明不存在——因为这个1已经被我们地球占了，所以我们是银河系中独一无二的.
当然这个“证明”远不是无懈可击的：首先,在逻辑上就有问题：我们从小学的课堂开始,就被告知宇宙是无限的,假如宇宙真是无限的,那么在无限的宇宙中就应该有无限个银河系,因此即使每个银河系中高等文明只有1个,全宇宙的高等文明也必有无限多个.要回避这个“无限”,除非将我们银河系中的高等文明数取作0,但是既然已经有了我们地球,就无法取作0了.其次,中间各项数值的估计随意性太大,很难有确切值.更大的问题是,公式中的“生命”仅限于地球上的生命模式,而事实上,谁能排除生命还有其它模式（比如说不需要阳光、空气和水）的可能性?
而在幻想电影中,生命的不同模式早已经司空见惯,比如影片《病毒》（Virus,中译名有作《异形总动员》）中的病毒,就是一种高智慧的外星生命,但是它们根本就没有形体.
利用这个公式可以估算出银河系中有多少个星球居住着和我们人类一样有智慧的生命体。这个公式其实是将以下7个要素相乘求积。
德雷克方程式银河系每年诞生的恒星的数量：该恒星拥有行星的概率；其中具备生命诞生条件的行星的数量；生命诞生的概率；该生命进化成有智慧的生命体的概率；拥有与其他星球进行通信的技术的概率；该技术文明能够存在的时间。然而，每个要素目前都还没有具体的数值。代入的数值不同，结果也会大相径庭。
