AI 中文总结
本文论证黑暗森林首击仅在攻击者将其视为最后一次攻击时才理性，提出以剩余警告/报复能力为对象，信标通过作证威慑，METI应基于覆盖与接收者信念判断。
AI 中文摘要
黑暗森林论点认为，一个文明若探测到另一个文明，应立即发动打击，因此探测以及任何招致探测的传输都是危险的。现有模型将探测到的文明视为打击对象，并在攻击者已知的名册上执行打击；在建议克制之处，其依据依赖于在针对情形下失效的步骤。本文将敌意对象视为剩余未受控的警告或报复能力，且其名册对任何攻击者而言都永远不可能已知为完整。首击是理性的，仅当其所移除内容的时机收益至少等于每个得知此事的剩余者所造成的信息披露损失。一个能够通过打击或警告有能力打击者来导致攻击者毁灭的剩余者，会使攻击者损失全部赌注，而攻击者从未发现的行动者正是这样的剩余者，任何打击都无法移除。因此，信奉黑暗森林并首先发动打击者，必须接受该打击是其将进行的最后一次攻击；该打击是理性的，仅当等待会使移除目标的成本增加约等于攻击者的全部赌注。揭示发送者的传输会给接收者一个关于发送者能力的后验，而非一个目标，并证明发送者能够发出警告。接收者不必怀有敌意；对于怀有敌意的接收者，发送者是其必须付出代价的目击者，因此信标会延迟任何无法几乎确定能移除发送者力量的敌对者，而免费信标仅通过确定击杀、全部赌注的紧迫性、不惧怕发送者可能警告的任何人的接收者，或对发送者隐藏的开口来伤害其发送者。向地外智慧发送信息（METI）通过覆盖范围和接收者必须相信什么才能行动来判断，而非通过恐惧惩罚，信标通过作证来威慑：发送者不必能够打击任何人，只需告知能够打击者。
英文摘要
The Dark Forest argument holds that a civilization that detects another should strike it at once. Existing formal models make the detected civilization the object of the strike and play it on a roster the attacker knows to be complete. This paper changes both choices. The object of hostility is remaining uncontrolled capacity to retaliate or to warn someone who can, and the roster is open: no attacker ever knows it has met everyone. A first strike is then rational only if the timing benefit of what it removes now rather than later is at least the disclosure loss from every survivor that learns of it. A survivor that can bring about the attacker's destruction enters that loss as a lump, not a per-unit rate, and the actors the attacker has never found may be such a survivor, one that no strike removes. Their capacity cannot be estimated, but what they can do is capped at the attacker's destruction, so the test against them asks one answerable question: a first strike is rational only if the attacker accepts that the strike may be its last attack. The Dark Forest premises, read as hypotheses, fix what a general attacker cannot estimate: hidden hunters exist, a hunter that verifies a hostile acts against it with probability at least $q$, and a hider is rarely found, so a believer's first strike is rational only if what it removes is worth a $q$-share of its survival, the whole of it as $q$ approaches one. With survival as the payoff, the profile in which every hunter strikes what it finds is not a Nash equilibrium whenever a strike is more visible to unfound hunters than a hider is findable, while the profile in which every hunter hides is. That visibility comparison is the decisive physical question; an attacker that treats its strike as unseen has assumed the roster closed.
CommentsMuch shorter
