When will we have a fully formalized proof of the Poincare Conjecture?
6
Ṁ285Ṁ3762044
53%
before the end of 2028
28%
2029 to the end of 2033
9%
2034 to the end of 2038
7%
2039 to the end of 2043
4%
not by the end of 2043
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Status of the Wentworth-Lorell conjecture in 2026
Will Goldbach's conjecture be proved before 2040?
61% chance
Will the Twin prime Conjecture be proven before 2030?
49% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
94% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
In what year will the Goldbach conjecture be proven or disproven?
2039
Will Goldbach's conjecture be proved before 2030?
27% chance
Will we have a proof of the Riemann Hypothesis by 2060?
79% chance
Will Goldbach's conjecture be proved before 2100?
80% chance
Is the Smooth Four-Dimensional Poincaré Conjecture Correct?
50% chance