OptionProbability
At least one of the six left Millennium problems is found with a counter-example
Shinichi Mochizuki is right or almost right about abc conjecture
A unified framework for gravitation and quantum theory is proposed that is not string theory
Neural Networks are explainable and can be trained without gradient descent with better performance.
At least one of the six left Millennium problems is undecidable
No AI will be powerful enough to directly (as a necessary condition) lead to a significant discovery in math.
A counterexample was found for Goldbach's conjecture
P vs. NP will be trivial (i.e., provable using simple methods taught in undergrad classes, e.g., with a counter-example)
97
41
37
31
25
14
10
9
OptionVotes
NO
YES
347
171
159
63
110
75
