OptionVotes
YES
NO
1334
930
2074
491
167
60
OptionProbability
<2027
<2030
<2026
>=2030
37
34
15
14
Euclid's Proof
Saidak's proof by construction
Erdős's Proof
Furstenburg's Topological Proof
Euler's Proof
Proof via inclusion–exclusion
Proof using de Polignac's formula
The incompressibility method / Information-theoretic
42
40
5
4
2
