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
OpenAI discovers the first proof of the Riemann Hypothesis before 2027?
12% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
94% chance
Will Goldbach's conjecture be proved before 2030?
27% chance
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 Goldbach's conjecture be proved before 2050?
61% chance
In what year will the Goldbach conjecture be proven or disproven?
2039
Will we have a proof of the Riemann Hypothesis by 2060?
79% chance
Will Goldbach's conjecture be proved before 2100?
80% chance