OptionVotes
YES
NO
1247
951
1659
886
OptionProbability
Find a room temperature superconductor, highly efficient photovoltaic cells, or an ultra-strong lightweight material
Find a cure for cancer, Alzheimer's or Diabetis
29
23
730
168
1184
729
ETH true, GI in P
ETH true, GI NP-intermediate
P != NP, ETH false, GI NP-intermediate
P != NP, ETH false, GI in P
P = NP
P != NP, ETH false, GI NP-complete
58
18
9
8
5
2
213
161
239
50
Other
MIP* = RE
The Complexity of Gradient Descent: CLS = PPAD ∩ PLS
Graph Isomorphism in Quasipolynomial Time
A Dichotomy Theorem for Nonuniform CSPs
Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits
An Average-Case Depth Hierarchy Theorem for Boolean Circuits
Learning Algorithms from Natural Proofs
Deciding Parity Games in Quasi-polynomial Time
A Proof of the CSP Dichotomy Conjecture
Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture
46
106
95