
When will we have a fully formalized proof of the Poincare Conjecture?
5
285Ṁ3642044
54%
before the end of 2028
22%
2029 to the end of 2033
11%
2034 to the end of 2038
8%
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!
Related questions
Related questions
OpenAI discovers the first proof of the Riemann Hypothesis before 2027?
10% chance
P != NP (will it be proven by April 2027)
3% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
74% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
Will Goldbach's conjecture be proved before 2040?
44% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
65% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
Will Goldbach's conjecture be proved before 2030?
23% chance
Will we have a proof of the Riemann Hypothesis by 2060?
58% chance