德雷克公式，又叫德雷克方程（Drake equation，又称萨根公式（Sagan equation）或格林班克公式（Green Bank equation）)，后又称“绿岸公式”。由美国天文学家法兰克·德雷克（Frank Drake）于1960年代在绿岸镇提出的一条用来推测“可能与我们接触的银河系内外星球高智文明的数量”之公式。已故康奈尔大学天文学家卡尔萨根(Carl Sagan)也参与了方程的研究并在作品中大量描述。
外星人存在的假设不仅为不少科幻小说和电影提供了题材和灵感，也在某种程度上激发了人们探索宇宙的热情。据美国物理学家组织网报道，日前发表在国际著名学术网站arXiv.org上的一篇文章却对这一假设的一大基础德雷克公式(DrakeEquation)提出了质疑。
来自美国普林斯顿大学的大卫斯毕格和日本东京大学的埃德温-特纳，通过使用贝叶斯推理(BayesianReasoning)得出结论，认为德雷克公式或许并不可靠，不能仅仅通过生命在地球上的出现来得出“如果环境与地球类似生命就能自然进化繁衍”的观点。
德雷克公式，又称萨根公式，由美国天文学家法兰克-德雷克在上世纪60年代提出，是一个通过概率统计的方法计算“可能与我们接触的外星智慧文明数量”的方程。其数据来源于人类已知宇宙和观测数据，即发现的恒星、类太阳系的数量，以及与地球环境类似、适合生命存在的星系系统的数量等。根据这一公式，不少人认为人类并不孤独，地外生命不仅存在，还很有可能拥有自己的文明，有些或许还正在向地球发射无线电信号。但该公式的缺陷在于，其中的变量大多来自估计值，因此得到的结果差异极大。据外电称，曾经还有一位来自英国华威大学的博士，试图通过德雷克公式估算自己在英国潜在女友的数量。
贝叶斯推理是在估计和假设检验的基础上发展起来的一种推理方法。与经典的统计归纳推理方法相比，贝叶斯推理在得出结论时不仅要根据当前所观察到的样本信息，而且还要根据推理者过去有关的经验和知识。
研究人员称，包括德雷克公式在内，目前几乎所有认为外星智慧生命存在的判断都是基于“如果环境与地球类似生命就能自然进化繁衍”的观点。但通过贝叶斯推理的计算，他们发现在整个宇宙范围内，地球上智慧生命的出现本来就是一件小概率事件，其中很多必要“幸运因素”的出现也是及其偶然的。此外，出现生命这一现象，还与一些我们现在不知道或不理解的其他因素相关。因此，并不能得出只要具备已知的几个条件，在宇宙中的另一个星球上也会发生同样事情的结论。
无论如何，验证是否有外星生命存在的问题上，至少有一点可靠的和能够达成共识的，那就是找到它们。
