When will we have a fully formalized proof of the Poincare Conjecture?
Basic
5
Ṁ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,000and
3.00
1,0003.00Related questions
Related questions
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?
72% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
OpenAI discovers the first proof of the Riemann Hypothesis before 2027?
2% 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
Will Goldbach's conjecture be proved before 2100?
80% chance