When will we have a fully formalized proof of the Poincare Conjecture?
Mini
5
Ṁ3642044
1D
1W
1M
ALL
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
Get Ṁ1,000 play money
Related 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?
62% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
59% chance
Will Goldbach's conjecture be proved before 2040?
42% chance
Will we have a proof of the Riemann Hypothesis by 2060?
49% chance
Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
15% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?
33% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
If P=NP is proven, will the first proof be constructive?
47% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
89% chance