When will we have a fully formalized proof of the Poincare Conjecture?
5
43
Ṁ298Ṁ285
2044
1D
1W
1M
ALL
46%
before the end of 2028
26%
2029 to the end of 2033
13%
2034 to the end of 2038
10%
2039 to the end of 2043
5%
not by the end of 2043
Get Ṁ200 play money
More related questions
Related questions
Will we get very strong evidence that the universe is Turing computable by 2030?
18% chance
Will Riemann hypothesis be proven or refuted before 2050?
24% chance
By the beginning of 2035, will physicists and philosophers mostly agree on the correct interpretation of quantum mechanics?
13% chance
Will the Goldbach conjecture be found unprovable before 2030?
5% chance
Will Goldbach's conjecture be proved before 2100?
80% chance
Will Goldbach's conjecture be proved before 2030?
11% chance
Will the Myhill–Nerode theorem be formalized in Lean mathlib by the end of 2024?
89% chance
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
5% chance
Will Afanasiev's proof of the Riemann Hypothesis be accepted by the Clay Institute by the end of July 2024?
4% chance
Will we have proof that we live in a simulation in the next three years? (before 2028)
2% chance