理论模型
德雷克方程的不确定性传播与「消解费米悖论」
Drake Equation Uncertainty and Dissolving the Fermi Paradox
存在争议
1961（德雷克方程）／1975（Hart）／2018-06-06（Sandberg 等）
无观测地点；本条为理论与统计方法条目（牛津大学人类未来研究所等）
无官方立场；学界对不确定性建模方式与结论均无一致意见。
德雷克方程把银河系中可通讯文明数量分解为若干因子的乘积。代入最佳猜测的点估计会得出文明数量很大，与观测上的寂静形成费米悖论。Sandberg、Drexler 与 Ord 在2018年指出，这一冲突源于德雷克式方程隐含假设了对高度不确定参数的确定性认识。他们改用反映真实认知状态的概率分布，把生命起源相关知识表示为跨越多个数量级的不确定性，重算后发现「宇宙中不存在其他智慧生命」有可观的先验概率。
这个发现不能证明什么
不能确定外星智慧不存在，也不能确定它存在——这是一个关于我们认知不确定性的结论，不是关于宇宙的结论。它没有引入任何新的观测数据，其结果完全由所选的先验分布形态驱动；换用不同的先验（尤其是对生命起源概率的对数均匀假设的宽度与截断）会得到显著不同的答案。它也不能用来论证 SETI 无意义——作者论证的恰恰相反：正因为不确定性太大，观测约束的边际价值才很高。任何把本条当作「已确定我们孤独」的引用都是误读。
来源 5 条
| 等级 | 来源 | 出版／机构 | 可追溯性 |
|---|---|---|---|
| B | Dissolving the Fermi Paradox | arXiv preprint（Future of Humanity Institute, Oxford） · 2018-06-06 | 已核实 存档 |
| A | An Explanation for the Absence of Extraterrestrials on Earth
QJRAS 约16卷（1975），Michael H. Hart；费米悖论的经典正式表述
|
Quarterly Journal of the Royal Astronomical Society · 1975 | 链接待补 |
| A | An objective Bayesian analysis of life's early start and our late arrival
PNAS 约117卷（2020），David Kipping；对生命起源与智慧涌现概率的客观贝叶斯处理，结论为生命起源较可能而智慧涌现较不可能，但证据强度弱
|
Proceedings of the National Academy of Sciences · 2020 | 链接待补 |
| A | The Timing of Evolutionary Transitions Suggests Intelligent Life Is Rare
Astrobiology 期刊（2021），Snyder-Beattie 等；用演化跃迁的时间分布论证智慧稀有
|
Astrobiology · 2021 | 链接待补 |
| C | The Fermi Paradox has not been dissolved | Effective Altruism Forum · 2021 | 已核实 存档 |
替代解释与反证
替代机制 · other · 强度 medium
结论对先验分布的选择高度敏感：对生命起源概率采用跨数十个数量级的对数均匀先验，本身就在数学上预先决定了「我们可能孤独」的结果，批评者认为这是把结论装进了假设。
EA Forum 批评作者 · s5
替代机制 · other · 强度 medium
独立的客观贝叶斯分析给出方向不同、强度也有限的结论（生命起源较可能、智慧涌现较不可能），说明该问题尚未被任何单一先验框架锁定。
David Kipping · s3
替代机制 · other · 强度 medium
核心文献为 arXiv 预印本，未经期刊同行评审；同一研究组的后续同行评审工作改用演化时序论证，方法与原文不同，说明原论证并非定案。
Snyder-Beattie 等（同组后续工作） · s4
不确定性说明
本条在数据库中的作用是理论基线：它说明宇宙的寂静在当前认知状态下本就不需要特殊解释，从而抬高了所有观测类案例的举证门槛。Hart 1975、Kipping 2020 与 Snyder-Beattie 2021 的卷期与 DOI 均未经本轮核验，故 doi 与 url 留空、url_confidence 标为 unknown。Sandberg 等2018与 Snyder-Beattie 等2021 因作者重叠而共用独立性分组。EA Forum 批评为非同行评审来源，tier 定为 C，仅用于记录反方论证存在。