When will we have a fully formalized proof of the Poincare Conjecture?
7
Ṁ285Ṁ1.2kresolved Oct 4
100%97%
before the end of 2028
1.3%
2029 to the end of 2033
0.6%
2034 to the end of 2038
0.5%
2039 to the end of 2043
0.6%
not by the end of 2043
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Trader | Total profit |
|---|---|---|
| 1 | Ṁ127 | |
| 2 | Ṁ61 | |
| 3 | Ṁ33 | |
| 4 | Ṁ15 |
People are also trading
Related questions
OpenAI discovers the first proof of the Riemann Hypothesis before 2027?
13% chance
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
2% chance
Status of the Wentworth-Lorell conjecture in 2026
P = NP (will it be proven by April 2027)
2% chance
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