部分来源已核 · partially_sourced（门禁 v2）
站点所有者 · 总编辑批准（非领域专家复核）：liyandong（站点所有者） · 2026-07-26 · 评分手册 v1.1。
AI 起草：claude-opus-5。经具名人工复核；评分仍为未经双人校准的评估，另一 AI 系统（Codex）的机器交叉检查待做——**机器互查不构成双人盲评，也不计为独立审核人**；领域专家复核未进行。
按发布门禁 v2，本条状态为「部分来源已核」——**不称为正式发布**；完整状态机见门禁 v2。
理论模型
德雷克方程的不确定性传播与「消解费米悖论」
Drake Equation Uncertainty and Dissolving the Fermi Paradox
核心命题（可证伪）
对德雷克方程参数不确定性的正确建模显示：宇宙的寂静无需特殊解释（费米悖论被「消解」）
存在争议
1961（德雷克方程）／1975（Hart）／2018-06-06（Sandberg 等）
无观测地点；本条为理论与统计方法条目（牛津大学人类未来研究所等）
科学背景馆 · B 科学背景与理论
理论模型
无官方立场；学界对不确定性建模方式与结论均无一致意见。
德雷克方程把银河系中可通讯文明数量分解为若干因子的乘积。代入最佳猜测的点估计会得出文明数量很大，与观测上的寂静形成费米悖论。Sandberg、Drexler 与 Ord 在2018年指出，这一冲突源于德雷克式方程隐含假设了对高度不确定参数的确定性认识。他们改用反映真实认知状态的概率分布，把生命起源相关知识表示为跨越多个数量级的不确定性，重算后发现「宇宙中不存在其他智慧生命」有可观的先验概率。
这个发现不能证明什么
不能确定外星智慧不存在，也不能确定它存在——这是一个关于我们认知不确定性的结论，不是关于宇宙的结论。它没有引入任何新的观测数据，其结果完全由所选的先验分布形态驱动；换用不同的先验（尤其是对生命起源概率的对数均匀假设的宽度与截断）会得到显著不同的答案。它也不能用来论证 SETI 无意义——作者论证的恰恰相反：正因为不确定性太大，观测约束的边际价值才很高。任何把本条当作「已确定我们孤独」的引用都是误读。
原子主张
| 主张 | 定位 | 核验 |
|---|---|---|
| Sandberg、Drexler、Ord 2018（arXiv:1806.02404）以不确定性分布重算德雷克方程，得出「可观测宇宙中我们孤独」具有可观先验概率 | 见来源表已核实条目 | verified |
| 该结论对先验分布的选择高度敏感，存在成文的方法学批评 | 见来源表已核实条目 | verified |
| 费米悖论已被最终解决 | — | disputed |
来源独立性 5 条来源 → 3 个独立组
交叉验证按独立组计，不按网页数计（章程 §9）——同组来源共享同一个根，只算一次。虚线 = 二次文献（其证据力取决于所依据的一手材料）。
组 · sandberg-drexler-ord-fhi
B
Dissolving the Fermi Paradox
A
The Timing of Evolutionary Transitions S
C
The Fermi Paradox has not been dissolved
↳ 二次文献 · 实际所据见来源表
组 · hart-1975
A
An Explanation for the Absence of Extrat
组 · kipping-columbia
A
An objective Bayesian analysis of life's
来源 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
实际所据 实际所据为 Sandberg、Drexler 与 Ord 的论文（本案 s1）本身 —— 批评者复核其先验分布选择与蒙特卡洛设定，未引入任何新的天文或生物学观测数据；其全部事实基础来自被批评的同一份论文，按同根规则并入 independent_group=sandberg-drexler-ord-fhi（原 ea-forum-critique 独立组作废），不再计为独立交叉验证组。 |
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 截至 2026-07-26 均未经核验，故 doi 与 url 留空、url_confidence 标为 unknown。Sandberg 等2018与 Snyder-Beattie 等2021 因作者重叠而共用独立性分组。EA Forum 批评为非同行评审来源，tier 定为 C，仅用于记录反方论证存在。
verified 仅授予直接由已核实来源支撑的事实陈述。
verified 仅授予直接由已核实来源支撑的事实陈述。