OptionVotes
YES
NO
226
110
OptionProbability
At least one of the six left Millennium problems is found with a counter-example
A unified framework for gravitation and quantum theory is proposed that is not string theory
At least one of the six left Millennium problems is undecidable
Neural Networks are explainable and can be trained without gradient descent with better performance.
No AI will be powerful enough to directly (as a necessary condition) lead to a significant discovery in math.
P vs. NP will be trivial (i.e., provable using simple methods taught in undergrad classes, e.g., with a counter-example)
Shinichi Mochizuki is right or almost right about abc conjecture
61
50
43
24
22
21
17
347
171
189
53
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
5
75
