Conditional on Alice and Bob using the same basis, Eve chooses the wrong basis with probability , then Bob disagrees with probability , so the conditional error is . Alice and Bob match with probability , hence the per-transmission detection probability is .
Solved by gpt-5.6-sol high.
Codex Wiki